Improving automation software dependability: A role for formal methods?

被引：28
|
作者：
Johnson, Timothy L. [1 ]
机构：
[1] GE Global Res, Niskayuna, NY 12309 USA
来源：
CONTROL ENGINEERING PRACTICE | 2007年 / 15卷 / 11期
关键词：
system engineering; reliability theory; safety analysis; automation; programming theory;
D O I：
10.1016/j.conengprac.2006.07.005
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The growth of manufacturing control software from simple NC and PLC-based systems to concurrent networked systems incorporating PCs, PLCs, CNCs, and enterprise databases has created new challenges to the design, implementation, and maintenance of safe and dependable manufacturing systems. Key milestones in this evolution, and the prospects for the use of formal verification methods in achieving enhanced dependability of future manufacturing software, are examined in this paper and presentation. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码：1403 / 1415
页数：13
相关论文
共 50 条
  • [1] Formal methods and dependability
    Jones, CB
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 140 - 143
  • [2] The role of formal methods in software standards
    Kegley, KA
    Stavridou, V
    [J]. FOURTH IEEE INTERNATIONAL SYMPOSIUM AND FORUM ON SOFTWARE ENGINEERING STANDARDS - PROCEEDINGS, 1999, : 248 - 248
  • [3] Improving software robustness with dependability cases
    Maxion, RA
    Olszewski, RT
    [J]. TWENTY-EIGHTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST PAPERS, 1998, : 346 - 355
  • [4] THE ROLE OF FORMAL METHODS IN ACHIEVING DEPENDABLE SOFTWARE
    THOMAS, M
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 1994, 43 (02) : 129 - 134
  • [5] Improving the Trustworthiness of Medical Device Software with Formal Verification Methods
    Li, Chunxiao
    Raghunathan, Anand
    Jha, Niraj K.
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2013, 5 (03) : 50 - 53
  • [6] A flexible generator architecture for improving software dependability
    Fetzer, C
    Xiao, Z
    [J]. 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2002, : 102 - 113
  • [7] On the Role of Formal Methods in Software Certification: An Experience Report
    Heitmeyer, Constance L.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (04) : 3 - 9
  • [8] A Formal Framework for Dependability and Resilience from a Software Engineering Perspective
    Guelfi, Nicolas
    [J]. OPEN COMPUTER SCIENCE, 2011, 1 (03): : 294 - 328
  • [9] Preface to the special section on improving software quality through formal methods
    Yliès Falcone
    Leonardo Mariani
    [J]. Software Quality Journal, 2020, 28 : 693 - 694
  • [10] Preface to the special section on improving software quality through formal methods
    Falcone, Ylies
    Mariani, Leonardo
    [J]. SOFTWARE QUALITY JOURNAL, 2020, 28 (02) : 693 - 694
12345