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