Alenia Aermacchi 工程师使用 Simulink® 基于模型的设计为 M-346 开发了自动驾驶仪软件。
系统和控制工程师团队在 Simulink 和 Stateflow® 中为 ARP-4754 开发了一个系统模型,使用 Stateflow 定义六个主要的自动驾驶仪状态、这些状态之间的转移以及其他控制逻辑。他们通过运行仿真来验证系统行为。
该团队通过细化系统模型来创建自动驾驶仪软件模型,对该模型进行优化以提升性能,将模型和安全标准集成起来满足认证的限制条件。
他们在软件模型上运行了附加仿真,使用 Simulink Coverage™ 的模型覆盖度分析确保 100% 覆盖这些测试的软件需求。
他们使用 Simulink Requirements™ 中的需求管理界面将 IBM® Rational® DOORS® 中的软件需求与他们模型中的 Simulink 和 Stateflow 对象进行关联。通过 Simulink Report Generator™,他们生成了需求可追溯性报告以供认证之用。
他们利用Model Advisor检查软件模型是否符合 DO-178B 高完整性标准和 Alenia Aermacchi 自己的自定义规则。
利用 Embedded Coder®,该团队通过其软件模型生成了大约 17,000 行 C 代码。他们使用 Green Hills® AdaMULTI® 编译器为 PowerPC® 处理器编译生成的代码。
该团队使用 Polyspace® 静态分析工具检查代码中是否存在运行时错误,确保符合 MISRA C® 编码标准,并创建用于取证的材料。他们利用面向 DO-178 的 DO Qualification Kit,证明 Polyspace 代码验证工具及 Simulink Coverage 是符合认证的。
该团队基于在Simulink中 创建的软件测试模型为生成的代码创建了测试组件。在运行这些测试后,对代码覆盖结果和从 Simulink Coverage 获取的模型覆盖结果进行比较。
M-346 飞机(包括自动驾驶仪功能)已获得美国国防部秘书处 (Secretariat General of Defense) 和意大利国防部国家装备处 (National Armaments Directorate) 的机型认证。Alenia Aermacchi 工程师目前正在攻关一个项目,在该项目中所有软件组件 (CSCI) 都将使用基于模型的设计进行开发,并通过 DO-178C 认证。