基于模型的设计是军事任务软件开发的关键的3个原因

可靠和安全的软件是实现任何任务目标的关键。设计先进防御技术的系统工程师需要应对一些挑战，例如组件和数据的数量和复杂性的增长，以及众多的通信协议。

克服这些挑战的关键是基于模型的设计。基于模型的方法可以减少开发时间并加速认证，同时以更低的成本集成新功能。让我们来探索一下。

1.以快2倍的速度开发可靠的关键任务软件

软件开发周期分为几个阶段，从软件需求到编码，再到验证和确认阶段。在每个步骤中，避免重写软件描述并防止软件规范中的歧义和不准确是很重要的。在传统的手工编码方法中，这种重写不仅代价高昂，而且容易出错。许多繁琐的验证和审查活动的目的是检测从一种书面形式到另一种书面形式的转换过程中引入的错误。

使用基于模型的软件开发工具，例如Ansys SCADE解决方案，不同层次的模型以整体和模块化的方法进行管理，在需求、设计和测试之间具有端到端的可追溯性。scade生成的代码简单、确定且高效。它在内存和执行时间方面优化了资源。

2.遵守开放和可互操作的标准，如arinc661和FACE^TM技术标准

软件集成是软件开发生命周期中最复杂和最昂贵的方面之一，涉及许多涉众和集成级别。因此，遵循正式定义的技术标准和明确定义的接口使得系统集成商更容易更快地交付复杂的系统。

您可以利用基于模型的软件开发和自动合格的代码生成来设计软件，这些软件可以完全追溯到任务系统的功能和操作级别，并符合像ARINC 661, DO-178C到A级和FACE这样的标准^TM技术标准。

例如，与Ansys 2021 R1, SCADE提供完全支持arinc661用于座舱显示系统的接口，最高可达补充7和用于军事航空电子开发的FACE 3.0。这使得可靠、可互操作和可移植的软件成为可能，推动跨防御平台的快速集成和可重用性。

3.减少工作量和成本高达50%

在促进有效开发和验证策略的同时满足DO-178C目标是可能的。基于模型的方法旨在通过在开发的早期阶段设计和验证软件来降低成本并提高生产率——因此安全性是内置的。工程师还可以通过认证的代码生成来提高对最终代码的信心，并通过在代码级别移除昂贵的验证活动来降低成本。

SCADE开发环境符合严格的软件开发和验证直至认证所需的监管流程。SCADE支持大部分开发生命周期元素的自动化生产和验证，这可以占到高完整性软件开发预算的80%。

了解如何组织，如l3哈里斯技术与物理光学公司使用Ansys SCADE来利用基于模型的软件开发和合格的代码生成．