Completeness in formal specification language design for process-control systems

被引：0
|
作者：
Leveson, Nancy [1 ]
机构：
[1] Massachusetts Inst of Technology, Cambridge, MA, United States
来源：
Proceedings of the Workshop on Formal Methods in Software Practice | 2000年
关键词：
Embedded systems - Formal logic - Problem solving - Process control - Real time systems - Software engineering;
D O I：
10.1145/349360.351140
中图分类号：
学科分类号：
摘要：
This paper examines the issue of completeness in specification language design. In the mid-80s we identified a set of 26 formal criteria to identify missing, incorrect, and ambiguous requirements for process-control systems. Experimental validation of the criteria on NASA and NASDA spacecraft systems have supported their usefulness in detecting commonly omitted but important information and engineers have been using them in checklist form on real systems. At the same time, we have extended the criteria and now have over 60. This paper shows how most of the criteria can be embedded in a formal specification language in ways that potentially allow automated checking or assist in manual reviews.
引用
收藏
页码：75 / 87
相关论文
共 50 条
  • [21] AN APPROACH TO INFORMATION REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL TASKS
    SHEPHERD, A
    ERGONOMICS, 1993, 36 (11) : 1425 - 1437
  • [22] DESIGN OF A MICROCOMPUTER FOR PROCESS-CONTROL
    BARBERA, E
    BLASCO, M
    AFINIDAD, 1984, 41 (391) : 244 - 247
  • [23] DESIGN CONCEPTS FOR PROCESS-CONTROL
    KESTENBAUM, A
    SHINNAR, R
    THAU, FE
    INDUSTRIAL & ENGINEERING CHEMISTRY PROCESS DESIGN AND DEVELOPMENT, 1976, 15 (01): : 2 - 13
  • [24] MICROPROCESSORS IN PROCESS-CONTROL SYSTEMS
    NOBLE, A
    PROCESSING, 1979, 25 (11): : 71 - 72
  • [25] SHINSKEY,FG - PROCESS-CONTROL SYSTEMS - APPLICATION DESIGN ADJUSTMENT
    WILLIAMS, TJ
    INSTRUMENTATION TECHNOLOGY, 1967, 14 (09): : 251 - &
  • [26] PROSPECTS IN PROCESS-CONTROL SYSTEMS
    BROMBACHER, M
    POLKE, M
    MODERN COMPUTER TECHNIQUES AND THEIR IMPACT ON CHEMICAL ENGINEERING, 1989, 115 : 147 - 174
  • [27] EXPERT SYSTEMS FOR PROCESS-CONTROL
    MOORE, RL
    TAPPI JOURNAL, 1985, 68 (06): : 64 - 67
  • [28] IMPROVING PROCESS-CONTROL SYSTEMS
    BRADBURY, M
    AMERICAN DYESTUFF REPORTER, 1982, 71 (09): : 30 - 30
  • [29] SYSTEMS OF PROCESS-CONTROL IN EXTRUSION
    MENGES, G
    MICHAELI, W
    KUNZE, B
    HAUPT, M
    KUNSTSTOFFE-GERMAN PLASTICS, 1988, 78 (10): : 936 - 941
  • [30] MONITORING PROCESS-CONTROL SYSTEMS
    MILNE, RW
    ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 1990, 12 (03): : 129 - 132
12345