张雅妮, 李岩, 李小勋

(中航工业综合技术研究所 适航性与安全性技术研究室, 北京 100028)

基于SCADE的飞控软件的适航验证与确认

张雅妮, 李岩, 李小勋

(中航工业综合技术研究所 适航性与安全性技术研究室, 北京 100028)

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。

飞控软件; SCADE; 适航验证与确认; DO178B

引言

飞控系统软件属于高安全性软件,对其最关键的要求是高安全性和高可靠性。SCADE(Safety-Critical Application Development Environment)是一个高安全性的基于模型的应用开发环境。在该环境下,通过构建直观的图形化模型生成形式化的规范,而代码生成器将形式化的规范自动转化为直接面向工程的代码。

中国民用航空规章第25部《运输类飞机适航标准》包含了对机载软件的适航要求,RTCA/DO178B《机载系统和设备合格审定中对软件的要求》是25部中对机载软件的适航要求的符合性方法,该标准提出了对机载系统和设备软件开发过程的要求,但是,其中某些验证和确认目标并不适用基于SCADE软件开发中对形式化规范的验证。

本文分析了基于模型的软件开发模式以及对飞控软件的适航要求,提出了基于SCADE的飞控软件的适航验证思路和方法,解决了现有RTCA/DO178B不适用基于SCADE开发的飞控软件适航验证的问题,对于当前采用这一现代软件开发方法的飞机的适航验证具有参考意义。……