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
01.04.2010
Aufsatz (Konferenz)
Keine Angabe
Englisch
Temporal requirements checking in a safety analysis of railway systems
Tema Archiv | 2008
|Validating requirements for fault tolerant systems using model checking
Tema Archiv | 1998
|