产品集合
查看所有产品万博网万博Ansys致力于为当今的学生提供免费的模拟工程软件,为他们的成功做好准备。
万博ANSYS的博客
2021年3月30日
可靠和安全的软件是实现任何任务目标的关键。设计先进防御技术的系统工程师需要应对一些挑战,例如组件和数据的数量和复杂性不断增加,以及众多的通信协议。
克服这些挑战的关键是基于模型的设计。基于模型的方法可以减少开发时间并加速认证,同时以更低的成本集成新功能。让我们来探索一下。
软件开发周期分为几个阶段,从软件需求到编码,再到验证和验证阶段。在每个步骤中,重要的是避免重写软件描述,并防止软件规范中的歧义和不准确。在传统的手工编码方法中,这种重写不仅代价高昂,而且容易出错。许多繁琐的验证和审查活动的目的是检测从一种书面形式转换到另一种书面形式期间引入的错误。
使用基于模型的软件开发工具,例如万博Ansys SCADE解决方案,不同级别的模型以整体和模块化的方法进行管理,在需求、设计和测试之间具有端到端可跟踪性。scade生成的代码简单、确定且高效。它优化了内存和执行时间方面的资源。
软件集成是软件开发生命周期中最复杂和最昂贵的方面之一,涉及许多涉众和集成级别。因此,遵循正式定义的技术标准和明确定义的接口使得系统集成商更容易更快地交付复杂的系统。
您可以利用基于模型的软件开发和自动合格代码生成来设计完全可追溯到任务系统的功能和操作级别的软件,并符合ARINC 661、DO-178C至A级和FACE等标准TM技术标准。
例如,对于Ansys 2021 R1万博, SCADE提供完全支持ARINC 661用于军事航空电子设备开发的座舱显示系统的接口,直至补充7和FACE 3.0。这实现了可靠、可互操作和便携的软件,推动了跨防御平台的快速集成和可重用性。
在满足DO-178C目标的同时,促进有效的开发和验证策略是可能的。基于模型的方法旨在通过在开发的早期阶段设计和验证软件来降低成本和提高生产率——因此安全性是内置的。工程师还可以通过认证的代码生成来提高对最终代码的信心,并通过在代码级别上删除昂贵的验证活动来降低成本。
SCADE开发环境符合严格的软件开发和认证所需的监管流程。SCADE支持大部分开发生命周期元素的自动化生产和验证,这可以占到高完整性软件开发预算的80%。
了解组织如何L3Harris技术和物理光学公司使用An万博sys SCADE进行利用基于模型的软件开发和合格的代码生成.
我们在这里回答你的问题,期待与你交谈。我们Ansys销售团队的一名成员万博将很快与您联系。