A safety kernel for traffic light control

IEEE Aerospace and Electronic Systems Magazine

Volumn 11, Issue 2, 1996, Pages 13-19

  Ammann, Paul ^a,b,c  

^a GEORGE MASON UNIVERSITY   (United States)

^b DARTMOUTH COLLEGE   (United States)

^c UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); AIR TRAFFIC CONTROL; COMPUTER CONTROL SYSTEMS; COMPUTER OPERATING SYSTEMS; SAFETY FACTOR; SECURITY OF DATA; SOFTWARE ENGINEERING;

KERNELS; SAFETY CRITICAL SYSTEMS; TRAFFIC LIGHT CONTROL;

COMPUTER SOFTWARE;

EID: 0030084969     PISSN: 08858985     EISSN: None     Source Type: Journal    
DOI: 10.1109/62.484300     Document Type: Article

References (14)

1. Paul Ammann, June 1995, A safety kernel for traffic light control, In COMPASS '95: Proceedings of the Tenth Annual Conference on Computer Assurance, pp. 71-82, Gaithersburg, MD.
2. Ricky W. Butler and George B. Finelli, January 1993, The infeasibility of quantifying the reliability of life-critical real-time software, IEEE Transactions on Software Engineering, 19(1):3-12.
3. Lon D. Gowen and James S. Collofello, 1994, Assessing traditional verification's effectiveness on safety-critical software systems, The Journal of Systems and Software, 26:103-115.
4. Nancy G. Leveson, Stephen S. Cha and Timothy J. Shimeall, July 1991, Safety verification of Ada programs using software fault trees, IEEE Software, 8(4):48-59.
5. Nancy G. Leveson, Timothy J. Shimeall, Janice L. Stolzy and Jeffrey C. Thomas, January 1983, Design for safe software, In Proceedings AIAA 21st Aerospace Sciences Meeting, pp. 1-5, Reno, NV, American Institute of Aeronautics and Astronautics.
6. Nancy Leveson and Clark Turner, July 1993, An investigation of the Therac-25 accidents, IEEE Computer, 26(7): 18-41.
7. National Electrical Manufacturers Association, 1992, 2101 L Street NW, Washington, DC 20037, Traffic Controller Assemblies, NEMA Standards Publication No. TS 2-1992.
8. Peter Neumann, Risks to the public, Regular column in Software Engineering Notes, Also published electronically in comp.risks.
9. Peter G. Neumann, September 1986, On hierarchical design of computer systems for critical applications, IEEE Transactions on Software Engineering, SE-12(9):905-920.
10. Ben Potter, Jane Sinclair and David Till, 1991, An Introduction to Formal Specification and Z Prentice-Hall, New York.
11. John Rushby, October 1986, Kernels for safety? In Tom Anderson, editor, Safe And Secure Computing Systems, pp. 210-220, Blackwell Scientific Publications, 1989, Proceedings of a Symposium held in Glasgow, UK.
12. John Rushby, May 1993, Critical system properties: Survey and taxonomy, Technical Report CSL-93-01, Computer Science Laboratory, SRI International, Menlo Park, CA, Available via anonymous ftp from ftp.csl.sri.com in /pub/reports/csl-93-1.dvi.Z.
13. John Rushby, November 1993, Formal methods and the certification of critical systems, Technical Report CSL-93-07, Computer Science Laboratory, SRI International, Menlo Park, CA, Available via anonymous ftp from ftp.csl.sri.com in /pub/reports/csl-93-7.dvi.Z.
14. J.M. Spivey, 1989, The Z Notation: A Reference Manual, Prentice-Hall, New York.