An approach to designing safe embedded software

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

Volumn 2491, Issue , 2002, Pages 15-29

  Leveson, Nancy G ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABILITY TESTING; EMBEDDED SOFTWARE; HAZARDS; JOB ANALYSIS; SAFETY TESTING; SOFTWARE TESTING;

AFTER-THE-FACT; BUILDING SAFETY; HIGH CONFIDENCE; SYSTEM DEVELOPMENT; SYSTEM HAZARDS; TASK ANALYSIS;

VERIFICATION;

EID: 84948977833     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_2     Document Type: Conference Paper

References (14)

1. CKI88. B. Curtis, H. Krasner and N. Iscoe. A field study of the software design process for large systems. Communications of the ACM, 31(2): 1268–1287, 1988.
2. JLHM91. M.S. Jaffe, N.G. Leveson, M.P.E. Heimdahl, and B. Melhart. Software requirements analysis for real-time process-control systems. IEEE Trans. on Soft. Eng., SE-17(3), Mar 1991.
3. HL96. Heimdahl, M.P.E. and Leveson, N.G. Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. on Soft. Eng., SE-22, No. 6, June 1996.
4. Johnson, W.G. MORT Safety Assurance Systems, Marcel Dekker, Inc., 1980.
5. Leveson, N.G. Intent Specifications. IEEE Trans. on Soft. Eng., Jan. 2000.
6. Leveson, N.G. Completeness in Formal Specification Language Design for Process-Control Systems. ACM Formal Methods in Software Practice, Aug 2000
7. LHH94. Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., and Reese, J.D. Requirements Specification for Process-Control Systems. IEEE Trans. on Soft. Eng., SE-20, No. 9, Sept. 1994.
8. LRK97. Leveson, N.G., Reese, J.D., Koga, S., Pinnel, L.D., and Sandys, S.D. Analyzing Requirements Specifications for Mode Confusion Errors. Int. Workshop on Human Error, Safety, and System Development, Glasgow, March 1997.
9. LS87. Leveson, N.G. and Stolzy, J.L. Safety Analysis Using Petri Nets. IEEE Trans. on Soft. Eng., Vol. SE-13, No. 3, March 1987, pp. 386-397.
10. Neogi, N. Hazard Elimination Using Backward Reachability and Hybrid Modeling Techniques. Ph.D. Dissertation, Aeronautics and Astronautics, MIT, May 2002.
11. RL87. Reese, J.D. and Leveson, N.G. Software Deviation Analysis. International Conference on Software Engineering, Boston, May 1997.
12. RZK00. Rodriguez, M., Zimmerman, M., Katahira, M., de Villepin, M., Ingram, B., and Leveson, N.G. Identifying Mode Confusion Potential in Software Design. Digital Aviation Systems Conference, Philadelphia, October 2000.
13. SW95. Sarter, N.D. and Woods, D. “How in the World did I Ever Get into That Mode?” Human Factors 37, 5–19.
14. WCK91. Wiener, E.L., Chidester, T.R., Kanki, B.G., Palmer E.A., Curry, R.E., and Gregorich, S.E. The Impact of Cockpit Automation on Crew Coordination and Communications. NASA Ames Research Center, 1991.