Modeling system safety requirements using input/output constraint meta-automata

Proceedings of the 4th International Conference on Systems, ICONS 2009

Volumn , Issue , 2009, Pages 228-233

  Chen, Zhe ^a   Motet, Gilles ^a,b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b Foundation for An Industrial Safety Culture   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INPUT/OUTPUT CONSTRAINTS; META LEVELS; MODELING SYSTEMS; SAFETY CONSTRAINT; SAFETY ENGINEER; SAFETY REQUIREMENTS; SYSTEM ACCIDENTS; SYSTEM BEHAVIORS; SYSTEM HAZARDS; SYSTEM SAFETY; SYSTEM SAFETY REQUIREMENTS; TOPDOWN;

ACCIDENTS; AUTOMATA THEORY; MODEL CHECKING; SECURITY SYSTEMS; TRANSLATION (LANGUAGES);

SYSTEMS ENGINEERING;

EID: 70349144958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICONS.2009.24     Document Type: Conference Paper

References (17)

1. N. Leveson, "A new accident model for engineering safer systems," Safety Science, vol.42, no.4, pp. 237-270, 2004. (Pubitemid 38258330)
2. N. Leveson, "Applying systems thinking to analyze and learn from events," in Workshop NeTWorK 2008, 2008, available from http://sunnyday.mit.edu/papers/network-08.doc.
3. C. Perrow, Normal Accidents: Living with High-Risk Technologies. Princetown University Press, USA, 1999.
4. N. Leveson, Safeware: System Safety and Computers. Addison-Wesley, Reading, MA, 1995.
5. N. Leveson, "Evaluating accident models using recent aerospace accidents," Technical Report, MIT Dept. of Aeronautics and Astronautics, 2001, available from http://sunnyday.mit.edu/accidents.
6. T. Kohda and Y. Takagi, "Accident cause analysis of complex systems based on safety control functions," in Proceedings of Annual Reliability and Maintainability Symposium (RAMS '06), 2006, pp. 570-576. (Pubitemid 46900327)
7. J.-C. Geffroy and G. Motet, Design of Dependable Computing Systems. Kluwer Academic Publishers, 2002.
8. J. S. R. Board, "Report on the loss of the mars polar lander and deep space 2 missions," NASA Jet Propulsion Laboratory, 2000.
9. T. Kletz, "Human problems with computer control," Plant/Operations Progress, vol.1, no.4, 1982.
10. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. The MIT Press, 2000.
11. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition. Cambridge University Press, 2004.
12. G. Motet, "Risks of faults intrinsic to software languages: Trade-off between design performance and application safety," Safety Science, 2009, to appear.
13. ISO/DIS, ISO/DIS 31000: Risk management - Principles and guidelines on implementation. International Standards Organization, 2008.
14. N. A. Lynch and M. R. Tuttle, "An introduction to input/output automata," CWI Quarterly, vol.2, no.3, pp. 219-246, 1989, also available as MIT Technical Memo MIT/LCS/TM-373.
15. N. A. Lynch, Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
16. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
17. N. A. Lynch, "Input/output automata: Basic, timed, hybrid, probabilistic, dynamic," in Roberto M. Amadio, Denis Lugiez (Eds.): Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003), Lecture Notes in Computer Science 2761. Springer, 2003, pp. 187-188.