Towards better support for the evolution of safety requirements via the model monitoring approach

Proceedings - International Conference on Software Engineering

Volumn 2, Issue , 2010, Pages 219-222

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

^a INSA   (France)

^b Foundation for An Industrial Safety Culture   (France)

Author keywords

B chi automata; requirements evolution; safety

Indexed keywords

HIGH COSTS; LOWER COST; MODEL MONITORING; POST-IMPLEMENTATION; REQUIREMENTS EVOLUTION; SAFETY REQUIREMENTS; SYSTEM DESIGN;

BIOLOGY; COMPUTER SOFTWARE; SECURITY SYSTEMS; TRANSLATION (LANGUAGES);

SAFETY ENGINEERING;

EID: 77954731544     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1810295.1810334     Document Type: Conference Paper

References (7)

1. Z. Chen and G. Motet. System safety requirements as control structures. In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009), pages 324-331. IEEE Computer Society, 2009.
2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2000.
3. N. A. Ernst, J. Mylopoulos, Y. Yu, and T. Nguyen. Supporting requirements model evolution throughout the system life-cycle. In RE 2008, pages 321-322. IEEE Computer Society, 2008.
4. S. Harker, K. Eason, and J. Dobson. The change and evolution of requirements as a challenge to the practice of software engineering. In RE 1993, pages 266-272. IEEE Computer Society, 1993.
5. G. J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
6. P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM J. on Control and Optimization, 25(1):206-230, 1987. (Pubitemid 17513624)
7. M. Y. Vardi and P. Wolper. Reasoning about infinite computations. Information and Computation, 115(1):1-37, 1994.