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
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;
Conference_Titel :
System Safety 2010, 5th IET International Conference on
Conference_Location :
Manchester
DOI :
10.1049/cp.2010.0818