Experiences from specifying the TCAS II requirements using RSML

Discusses an approach to specifying system requirements for real-time, reactive systems, some criteria that should be used in designing a language for such requirements, and some lessons learned while writing a system requirements specification for an aircraft collision avoidance system. Since the completion of the project we have made advances in many areas, two of which are of particular interest to the practising engineer: (1) specification and traceability of intent and design rationale; and (2) an improved specification language and modeling methodology.

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

[2]  Constance L. Heitmeyer,et al.  Consistency checking of SCR-style requirements specifications , 1995, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95).

[3]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[4]  Dan Craigen,et al.  Experience with formal methods in critical systems , 1994, IEEE Software.

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

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

[7]  Kathryn L. Heninger.  Specifying Software Requirements for Complex Systems: New Techniques and Their Application , 2001, IEEE Transactions on Software Engineering.

[8]  Nancy G. Leveson,et al.  SpecTRM: a CAD system for digital automation , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[9]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[10]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[11]  Thomas R. G. Green,et al.  When do diagrams make good computer languages , 1979 .

[12]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .