DocumentCode :
2076615
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
Volume :
2
fYear :
2010
fDate :
2-8 May 2010
Firstpage :
219
Lastpage :
222
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering, 2010 ACM/IEEE 32nd International Conference on
Conference_Location :
Cape Town
ISSN :
0270-5257
Print_ISBN :
978-1-60558-719-6
Type :
conf
DOI :
10.1145/1810295.1810334
Filename :
6062164
Link To Document :
بازگشت