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