System safety requirements as control structures

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2009, Pages 324-331

  Chen, Zhe ^a   Motet, Gilles ^b  

^a UNIVERSITÉ DE TOULOUSE   (France)

^b Foundation for An Industrial Safety Culture   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AS INTERFACES; C-SYSTEMS; COMPONENT RELIABILITY; CONTROL STRUCTURE; FUNCTIONAL REQUIREMENT; GLOBAL SYSTEMS; INTERFACE CONTROL; META MODEL; RUNTIMES; SAFETY CONSTRAINT; SAFETY ENGINEER; SAFETY REQUIREMENTS; SERVICE RESTORATION; SOFTWARE APPLICATIONS; SOFTWARE INTENSIVE SYSTEMS; SYSTEM ACCIDENTS; SYSTEM BEHAVIORS; SYSTEM COMPONENTS; SYSTEM SAFETY; SYSTEM SAFETY REQUIREMENTS; TOPDOWN; UNDERLYING MECHANISM;

ACCIDENTS; AUTOMATA THEORY; COMPUTER APPLICATIONS; COMPUTER SOFTWARE; LARGE SCALE SYSTEMS; MODEL CHECKING; ROBOTS; SECURITY SYSTEMS; SYSTEMS ENGINEERING; TRANSLATION (LANGUAGES); WORD PROCESSING;

MATHEMATICAL MODELS;

EID: 70449637975     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2009.50     Document Type: Conference Paper

References (23)

1. N. Leveson, "A new accident model for engineering safer systems," Safety Science, vol.42, no.4, pp. 237-270, 2004.
2. N. Leveson, Safeware: System Safety and Computers. Addison-Wesley, Reading, MA, 1995.
3. N. Leveson, "Applying systems thinking to analyze and learn from events," in Workshop NeTWorK 2008: Event Analysis and Learning From Events, 2008, available from http://sunnyday.mit.edu/papers/network-08.doc.
4. C. Perrow, Normal Accidents: Living with High-Risk Technologies. Princetown University Press, USA, 1999.
5. T. Kletz, "Human problems with computer control," Plant/Operations Progress, vol.1, no.4, 1982.
6. 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.
7. 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). ACM, 2006, pp. 570-576.
8. J.-C. Geffroy and G. Motet, Design of Dependable Computing Systems. Kluwer Academic Publishers, 2002.
9. K. Allenby and T. Kelly, "Deriving safety requirements using scenarios," in Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001). IEEE Computer Society, 2001, pp. 228-235.
10. F. Bitsch, "Safety patterns - the key to formal specification of safety requirements," in Proceedings of the 20th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2001), ser. Lecture Notes in Computer Science, U. Voges, Ed., vol.2187. Springer, 2001, pp. 176-189.
11. D. Firesmith, "Engineering safety requirements, safety constraints, and safety-critical requirements," Journal of Object Technology, vol.3, no.3, pp. 27-42, 2004.
12. G. Motet, "Risks of faults intrinsic to software languages: Trade-off between design performance and application safety," Safety Science, 2009.
13. ISO/DIS, ISO/DIS 31000: Risk Management - Principles and Guidelines. International Standards Organization, 2009.
14. L. de Alfaro and T. A. Henzinger, "Interface automata," in Proceedings of the 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE 2001), 2001, pp. 109-120.
15. 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.
16. N. A. Lynch, Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
17. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
18. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. The MIT Press, 2000.
19. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, "Patterns in property specifications for finite-state verification," in Proceedings of the 1999 International Conference on Software Engineering (ICSE'99), 1999, pp. 411-420.
20. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition. Cambridge University Press, 2004.
21. Z. Chen and G. Motet, "Modeling system safety requirements using input/output constraint meta-automata," in Proceedings of the 4th International Conference on Systems (ICONS'09). IEEE Computer Society, 2009, pp. 228-233.
22. Z. Chen and G. Motet, "Formalizing safety requirements using controlling automata," in Proceedings of the Second International Conference on Dependability (DEPEND'09). IEEE Computer Society, 2009.
23. Z. Chen and G. Motet, "A language-theoretic view on guidelines and consistency rules of UML," in Proceedings of the Fifth European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2009), ser. Lecture Notes in Computer Science. Springer, 2009.