A feasibility study was performed on a representative aerospace system to determine the following: (1) the benefits and limitations to using SCADE , a commercially available tool for model checking, in comparison to using a proprietary tool that was studied previously [1] and (2) metrics for performing the model checking and for assessing the findings. This study was performed independently of the development task by a group unfamiliar with the system, providing a fresh, external perspective free from development bias.
Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking
2010-04-01
Conference paper
No indication
English
Temporal requirements checking in a safety analysis of railway systems
Tema Archive | 2008
|Validating requirements for fault tolerant systems using model checking
Tema Archive | 1998
|