DocumentCode :
2501112
Title :
Application of the ‘lightweight refinement’ relation to establishing confidence in safety assessment models
Author :
Lisagor, O. ; Kelly, T.P.
Author_Institution :
Dept. of Comput. Sci., Univ. of York, York, UK
fYear :
2010
fDate :
18-20 Oct. 2010
Firstpage :
1
Lastpage :
7
Abstract :
This paper presents a ´lightweight refinement´ relation that enables rational comparison of safety assessment models of a system. The comparison process contributes to establishing confidence in adequacy of the models by identification of apparent inconsistencies that require explicit justification. The paper further demonstrates how the ´machinery´ of refinement can be applied to individual models to identify key ´simulation cases´ and aid the task of model review.
Keywords :
formal specification; formal verification; safety-critical software; inconsistency identification; lightweight refinement relation; model mapping; rational comparison; safety assessment model; Confidence; Model Mapping; Model-Based Safety Assessment; Traceability;
fLanguage :
English
Publisher :
iet
Conference_Titel :
System Safety 2010, 5th IET International Conference on
Conference_Location :
Manchester
Type :
conf
DOI :
10.1049/cp.2010.0818
Filename :
5712322
Link To Document :
بازگشت