阿莱尼亚航空公司的工程师使用基于模型的设计和Simulink开发了M-346的自动驾驶软件金宝app®.
一组系统和控制工程师在Simulink和statflow中开发了一个系统模型金宝app®对于ARP-4754,使用Stateflow定义六个主要自动驾驶仪状态、它们之间的转换以及其他控制逻辑。他们运行仿真以验证系统行为。
该团队详细阐述了系统模型以创建自动驾驶软件模型,并对其进行优化以提高性能,并结合建模和安全标准以满足认证限制。
他们在软件模型上运行额外的模拟,并使用Simulink coverage™的模型覆盖分析确保这些测试100%覆盖软件需求。金宝app
他们在Simulink需求中使用了需求管理接口™ 链接IBM中的软件需求金宝app®理性的®门®使用S金宝appimulink报表生成器在模型中模拟和状态流对象™, 他们生成了一份用于认证的需求跟踪报告。
他们使用ModelAdvisor根据DO-178B高完整性标准和Alenia Aermacchi自己的自定义规则检查软件模型。
使用嵌入式编码器®,该团队从他们的软件模型中生成了大约17000行C代码。他们为PowerPC编译生成的代码®处理器使用绿山®AdaMULTI®编译器。
该团队使用了Polyspace®静态分析工具检查代码的运行时错误,确保符合MISRA C®编码标准,并为认证信用创建工件。他们使用DO-178的DO鉴定工具包鉴定了Polyspace代码验证器和Simulink覆盖率。金宝app
该团队基于他们为Simulink创建的软件模型测试,为生成的代码创建了测试套件。金宝app在运行这些测试之后,他们将代码覆盖结果与从Simulink coverage中获得的模型覆盖结果进行了比较。金宝app
M-346飞机(包括自动驾驶功能)已获得意大利国防部国防和国家军备理事会秘书处的型号认证。阿莱尼亚航空公司的工程师目前正在进行一个项目,该项目中所有的软件组件(csci)将使用基于模型的设计进行开发,并通过DO-178C认证。