飞行自动代码生成模型转换成高质量、证据确凿的代码嵌入到线可更换单元(lru),使航空公司保存每行代码的40%,达到六西格玛飞行软件质量,有一个自动驾驶仪在第一次尝试工作。
与飞行数百万行代码生成的嵌入式编码®在今天的lru, MathWorks继续开发生产组织使用的技术:
- 软件架构和设计
- 航班代码生成
- 航班代码验证,包括software-in-the-loop和processor-in-the-loop测试
- 做- 178认证
“我们用我们的系统设计模型在仿真软件ARP4754建立稳定、客观需求。万博1manbetx我们节省时间,使用模型作为我们的软件设计模式的基础- 178我们生成的飞行区号为软件重用验证测试验证。”
罗纳德•Blanrue空客直升机
软件架构和设计
万博1manbetx®和Stateflow®非常适合发展航空电子设备、GN&C推进,雷达、和其他航空航天系统的设计。使用可执行的规范,而不是静态图加速设计,使早期验证和确认。与系统作曲家™和要求工具箱™,您可以创建体系结构模型和跟踪需求。
航班代码生成和集成
航班代码验证
万博1manbetx仿真软件代码检查员™帮助自动化源代码审查安全标准的执行结构等效分析和生成可跟踪性报告涉及模型及其生成的代码。
Software-in-the-loop(银),processor-in-the-loop(公益诉讼)半实物仿真)测试形成的基石飞行代码验证通过自动化执行的代码和比较结果与参考模型的行为。创建一个测试环境公益诉讼在使用支持万博1manbetx嵌入式编码器或者直接连接到您的处理器。你可以作者、执行审查,并组织测试和测试套件使用万博1manbetx仿真软件测试™。你可以计算结构生成的代码使用的报道万博1manbetx仿真软件覆盖™测量测试完整性。
- 178 b认证吗
- 178是主要的航空航天软件安全标准。MathWorks支万博1manbetx持- 178是可用的做资格工具包。它使一个可修饰的代码生成工作流通过使用合格的工具来验证模型和代码,包括仿真软件代码检查器。万博1manbetx
更多的嵌入式代码生成
探索产品s manbetx 845