“对我们来说,基于模型设计的一个关键优势是专注于设计和开发的能力,而不是低级代码,验证和认证工作。结果是高质量,做- 178 b认证软件,更快的迭代”。
诺阿Campagnoli,马基
与最新的战斗机飞行特性相似,阿莱尼亚·马基公司m - 346使飞行员在飞机安全培训与低生命周期成本。配备四个冗余计算机、m - 346飞行控制系统(FCS)支持飞行线控控制和先进的自动驾驶功能。金宝app
阿莱尼亚·马基公司使用基于模型的设计开发自动驾驶仪软件和验证它- 178 b级。
“基于模型的设计,一切有关,”诺阿Campagnoli说,FCS在阿莱尼亚·马基公司应用软件团队领导。“我们的仿金宝app真软件系统模型是可执行文件,使早期的验证要求。相同的模型,符合做更新- 178 b建模标准,用于生成代码的班机。”
因为m - 346自动驾驶系统是第一个工程团队开发,主要目标是快速识别问题并将反馈测试飞行员。最后的自动驾驶仪软件需要做- 178 b级认证。
团队决定追求一个开发方法沿着两条路径:实验和认证。实验路径,他们将专注于快速发展使用更少的严格做D - 178 b级标准,采用建筑解决方案,维护整个系统的可靠性和安全性。金宝搏官方网站证书路径,他们会重用和细化实验版本的完整设计开发软件- 178 b级认证。
阿莱尼亚·马基公司需要一个开发环境支持的活动和目标路径,包括设计仿真、需求跟踪、模型覆盖分析、代码生成和分析、报告生成。金宝app
阿莱尼亚·马基公司工程师开发了自动驾驶仪软件的m - 346使用基于模型的设计与仿真软件金宝app®。
一组系统和控制工程师开发了一个系统模型在仿真软件和Stateflow金宝app®arp - 4754,使用Stateflow定义六个主要自动驾驶状态,它们之间的转换,以及其他控制逻辑。他们跑仿真验证系统行为。
团队阐述了系统模型创建自动驾驶仪的软件模型,优化以提高性能,结合建模和安全标准,以满足认证的限制。
他们额外的模拟软件的软件模型,确保100%的覆盖率要求使用模型从这些测试覆盖率分析与仿真软件覆盖™。金宝app
他们用仿真软件需求中的需求管理界面™连接IBM的软件需求金宝app®理性的®门®在他们金宝app的模型仿真软件和Stateflow对象。用仿真软件金宝app报告生成器™,他们产生了需求跟踪报告认证。
他们使用模型检查他们的顾问对做软件模型高度集成- 178 b标准和阿莱尼亚·马基公司自己的自定义规则。
使用嵌入式编码器®,团队生成大约17000行C代码的软件模型。他们为一个PowerPC编译生成的代码®处理器使用绿色山丘®AdaMULTI®编译器。
该团队使用Polyspace®静态分析工具为运行时错误检查代码,确保符合MISRA C®编码标准,并创建工件认证信用。他们合格Polyspace代码验证和仿真软件使用资格工具包- 178做报道。金宝app
团队为生成的代码的基础上创建测试套件软件模型试验为模型创建。金宝app在运行这些测试后,他们比较代码覆盖率结果与模型覆盖率结果从模型获得的报道。金宝app
m - 346飞机(包括自动驾驶功能)取得认证类型从国防和国家军备委员会的秘书处一般在意大利国防部。阿莱尼亚·马基公司工程师目前正在从事一个项目中所有的软件组件(去找找csci)将使用基于模型的设计和开发- 178 c认证。
需求评审认证短30%。“在以前的项目中,需求覆盖率分析是手动执行基于主观评价,“Campagnoli说。“金宝app仿真软件,仿真软件的覆盖率和仿真软件需求使我们自动化分析并提供客观的覆盖率指标,这帮助我们缩短需求评审认证高达30%。”
Time-to-flight减少20%。“基于模型的设计使我们能够迅速提高设计基于飞行员和飞行工程师反馈,“Campagnoli说。“我们time-to-flight减少了约20%。更重要的是,我们这样做同时提高软件质量。”
低级认证活动自动化。“我们自动化许多低级的认证活动,包括需求覆盖率分析,运行时错误检查和标准遵从性检查,“Campagnoli说。“自动化释放我们花更多的时间细化需求,优化系统,提高我们的测试,并执行其他高附加值的任务。”
加入客户参考程序
你也可以从下面的列表中选择一个网站: