Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking

[摘要] 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.

[发布日期] 2010-04-01

[学科分类] 数学（综合）