Completeness in formal specification language design for process-control systems

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.

[1]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2]  Constance L. Heitmeyer.  Using the SCR* toolset to specify software requirements , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.

[3]  M.S. Jaffe,et al.  Completeness, Robustness, And Safety In Real-time Software Requirements Specification , 1989, 11th International Conference on Software Engineering.

[4]  Nancy G. Leveson,et al.  Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..

[5]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[6]  B. Fischhoff,et al.  Fault trees: Sensitivity of estimated failure probabilities to problem representation. , 1978 .

[7]  Kim J. Vicente,et al.  Ecological interface design: theoretical foundations , 1992, IEEE Trans. Syst. Man Cybern..

[8]  Nancy G. Leveson,et al.  Completeness, robustness, and safety in real-time software requirements specification , 1989, ICSE '89.

[9]  Nancy G Leveson,et al.  Intent Speciications: an Approach to Building Human-centered Speciications , 2000 .

[10]  NeumannPeter.  Safeware: System Safety and Computers , 1995 .

[11]  Nancy G. Leveson,et al.  Completeness and Consistency Analysis of State-Based Requirements , 1995, 1995 17th International Conference on Software Engineering.

[12]  Nancy G. Leveson.  Intent Specifications: An Approach to Building Human-Centered Specifications , 2000, IEEE Trans. Software Eng..

[13]  Nancy G. Leveson,et al.  Requirements Specification for Process-Control Systems , 1994, IEEE Trans. Software Eng..

[14]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[15]  Nancy G. Leveson,et al.  Designing specification languages for process control systems: lessons learned and steps to the future , 1999, ESEC/FSE-7.

[16]  Gerald F. Smith,et al.  Representational effects on the solving of an unstructured decision problem , 1989, IEEE Trans. Syst. Man Cybern..