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