跳到主要内容

ANSYS的博客

2022年6月2日

所有系统都采用基于模型的嵌入式软件设计

虽然计算机程序、软件和应用程序会在你的屏幕上瞬间出现,但它们的开发却需要更长的时间。从软件需求和编码到遵从行业范围的标准和认证,软件开发有多个阶段,一个主要的挑战是在将代码从一个阶段转移到另一个阶段时避免重写基本的软件描述和规范。

手工、传统的编码不仅耗时,而且成本高昂,容易出现不准确、风险和总体不足。因此,有许多验证和确认方法可用来监视和检测错误。然而,这给系统工程师、嵌入式程序员和其他在整个软件开发过程中与代码打交道的技术专业人员带来了另一个挑战。

Ansys SCADE显示器

Ansys SCADE套件一个基于模型的开发环境,用于可靠的嵌入式软件,为所有这些提供了端到端的解决方案,并且通过配备了可追溯性、自动代码生成和实时测试工具的一体化平台提供了更多。深深植根于基于模型的系统工程(MBSE),该平台为最复杂系统的设计、分析、仿真和验证提供了一个包罗万象的环境。

从飞机发动机控制系统和驾驶舱显示到火车自动操作和紧急制动系统,SCADE是一个包容不迫的工具,可以帮助您设计最先进的软件,以操作飞机、火车、汽车等最复杂的系统。

直观的,一站式的基于模型的系统工程

与虚拟助手的直观特性类似,当涉及到代码和嵌入式编程时,SCADE知道您需要什么,何时需要,以及如何尽快将其提供给您。

内置的经过认证的自动代码生成器符合各种标准,如用于座舱显示系统的航空无线电公司(ARINC) 661标准,用于商业软件航空航天系统的DO-178C最高a级标准,以及未来机载能力环境(FACE)技术标准(专注于嵌入式军事航空电子应用),您可以用一个合格的工具在典型的障碍中翱翔。

此外,通过基于生成代码的模拟,您可以轻松地获得一个健壮的可视化调试环境,并使用断点和观察点来检查内部变量和输出值。SCADE的一些调试功能包括场景记录和回放、规范错误的早期检测和自动非回归测试。

此外,软件的Design Verifier工具提供了一个验证助手来评估安全需求,并帮助在开发早期检测错误。另一个优点是,您可以使用带有Rule Checker工具的基于python的框架自定义和添加特定的检查。

通过将体系结构和设计能力结合在一个MBSE平台中,SCADE通过整体和模块化的方法提供了一个完全集成的系统,使用简单、确定和高效的代码。自动化代码生成不仅减少了人为错误,还减少了开发时间和成本。它还优化了与内存和执行相关的资源,从而进一步增加了这些节省。

例如,SCADE支持、简化并优化自动化生产和验证工作负载。传统上,生产和验证阶段可以占到开发预算的80%。

跟踪你的脚步——这很关键

在为关键应用程序选择软件时,可以公平地说,可追溯性非常关键。这个概念很简单。当我们能够跟踪、跟踪或监视我们的代码、文档和脚本时,我们可以在需要时更容易地回到它的源。它是必需的:无论您是仍处于开发阶段还是已进入测试阶段,能够从项目中的任何点快速重新访问一行代码都可以节省时间并防止后期设计错误。

再加上它的可追溯性,SCADE是高度可互操作的,可以很容易地集成到现有的开发流程中进行优化,同时增加团队成员之间的沟通。

该平台还以用户友好的方式呈现不同级别的建模,以满足您在任何开发阶段的需求,特别是由于SCADE的自动代码生成功能,这会派上用场。

因为代码生成器在不需要代码验证的情况下满足模型的规范,所以验证模型的行为是否正确是至关重要的。SCADE为此配备了多个模型级分析,以在任何阶段验证模型正确性,包括执行静态分析的能力。

为了进一步可视化您的开发,该软件的Advanced Modeler特性包括Ansys Twin Builder通过在一个环境中混合硬件和软件,帮助您构建产品的全面虚拟原型。

从开始到结束,SCADE为您提供了一个数字线程,简化和流线型整个开发周期,满足并超越您所有的嵌入式软件开发需求。

要了解更多信息,请注册一个Ansys SCADE Suite免费试用版今天。对于有抱负的工程师,免费下载Ansys SCADE学生在这里

他说:“我很高兴见到你。

Contactez-nous今天

* =冠军要求

谢谢你的联系人!

我们在这里回答您的问题,并期待与您交谈。我们Ansys销售团队的一名成员将很快与您联系。

图片替换页面