Formalizing safety requirements using controlling automata

Proceedings - 2009 2nd International Conference on Dependability, DEPEND 2009

Volumn , Issue , 2009, Pages 81-86

  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

C-SYSTEMS; COMPONENT INTERACTION; INTERFACE AUTOMATA; INTERFACE CONTROL; META LEVELS; MODELING SYSTEMS; SAFETY CONSTRAINT; SAFETY ENGINEER; SAFETY REQUIREMENTS; SOFTWARE INTENSIVE SYSTEMS; SYSTEM ACCIDENTS; SYSTEM BEHAVIORS; SYSTEM HAZARDS; SYSTEM SAFETY; TOPDOWN;

ACCIDENTS; AUTOMATA THEORY; MODEL CHECKING; ROBOTS; SYSTEMS ENGINEERING; TRANSLATION (LANGUAGES);

SECURITY SYSTEMS;

EID: 70449365202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DEPEND.2009.18     Document Type: Conference Paper

References (21)

1. N. Leveson, "A new accident model for engineering safer systems," Safety Science, vol. 42, no. 4, pp. 237-270, 2004.
2. 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.
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. 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. D. Firesmith, "Engineering safety requirements, safety constraints, and safety-critical requirements," Journal of Object Technology, vol. 3, no. 3, pp. 27-42, 2004.
11. 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.
12. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. The MIT Press, 2000.
13. 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.
14. M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, Second Edition. Cambridge University Press, 2004.
15. G. Motet, "Risks of faults intrinsic to software languages: Trade-off between design performance and application safety," Safety Science, 2009.
16. 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.
17. 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.
18. N. A. Lynch, Distributed Algorithms. Morgan Kaufmann Publishers, San Mateo, CA, 1996.
19. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
20. 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.
21. 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.