Title :
Towards better support for the evolution of safety requirements via the model monitoring approach
Author :
Chen, Zhe ; Motet, Gilles
Author_Institution :
LATTIS, Univ. de Toulouse, Toulouse, France
Abstract :
The research is motivated by the challenge from the evolution of safety requirements, which leads to revision of system designs at design-time or post-implementation at a high cost. This paper proposes a complementary methodology, namely the model monitoring approach, to better support the evolution throughout the life-cycle at a lower cost.
Keywords :
formal specification; formal verification; safety-critical software; complementary methodology; model monitoring approach; safety requirements; Automata; Computational modeling; Control systems; Microwave ovens; Monitoring; Safety; Büchi automata; requirements evolution; safety;
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
Print_ISBN :
978-1-60558-719-6
DOI :
10.1145/1810295.1810334