Designing specification languages for process control systems: Lessons learned and steps to the future

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1687 LNCS, Issue , 1999, Pages 127-144

  Leveson, Nancy G ^a   Heimdahl, Mats P E ^b   Reese, Jon Damon ^c  

^a Massachusetts Institute of Technology Cambridge   (United States)

^b University of Minnesota   (United States)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT ACCIDENTS; EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; FORMAL SPECIFICATION; SPECIFICATION LANGUAGES;

COLLISION AVOIDANCE SYSTEMS; DESIGN FEATURES; FORMAL SYSTEM MODELS; INDUSTRY REPRESENTATIVES; LANGUAGE DEVELOPMENT; PASSENGER AIRCRAFTS; SPECIFICATION TOOLS; SYSTEM REQUIREMENTS;

MODELING LANGUAGES;

EID: 77953737182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48166-4_9     Document Type: Conference Paper

References (14)

1. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, pages 231-274, 1987.
2. Mats P. E. Heimdahl and Nancy G. Leveson. Completeness and consistency in hierarchical state-base requirements. IEEE Transactions on Software Engineering, pages 363-377, June 1996.
3. C.L. Heitmeyer, R.D. Jeffords, and B.G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions of Software Engineering and Methodology, 5(3):231-261, July 1996.
4. K.L. Heninger. Specifying software requirements for complex systems: New techniques and their application. IEEE Transactions on Software Engineering, 6(1):2-13, Januaray 1980.
5. Edwin L. Hutchins, James D. Hollan, and Donald A. Norman. Direct manipulation interfaces. Human-Computer Interaction, 1:311-338, 1985.
6. Matthew S. Jaffe, Nancy G. Leveson, Mats P.E. Heimdahl, and Bonnie E. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241-258, March 1991.
7. D.J. Keenan and M.P.E. Heimdahl. Code generation from hierarchical state machines. In Proceedings of the International Symposium on Requirements Engineering, 1997.
8. N.G. Leveson. Safeware: System Safety and Computers. Addison Wesley, 1995.
9. N.G. Leveson, M.P.E. Heimdahl, H. Hildreth, and J.D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, pages 684-706, September 1994.
10. N.G. Leveson, J.D. Reese, S. Koga, L.D. Pinnel, and S.D. Sandys. Analyzing requirements specifications for mode confusion errors. In Proceedings of the Workshop on Human Error and System Development, 1997.
11. E.I. Lowe. Computer Control in Process Industries. Peregrinus, 1971.
12. Robyn R. Lutz. Targeting safety related errors during software requirements analysis. Journal of Systems Software, 34(3):223-230, September 1996.
13. David L. Parnas. Tabular representations of relations. Technical Report CLR report No. 260, McMaster University, Hamilton, Ontario, October 1992.
14. David L. Parnas and Jan Madey. Functional documentation for computer systems engineering (volume 2). Technical Report CRL 237, McMaster University, Hamilton, Ontario, September 1991.