基于模型的嵌入式开发-SCADE ONE
发布者:cadit 发布时间:2026/1/27 阅读:410 次

在汽车、航空、轨道交通等高安全领域,核心目标都是规避系统故障引发的危险,汽车领域的Fail-Safe 和航空领域的Fail-Operational均是功能安全的核心设计原则,软件在其中提供了关键的作用。

嵌入式软件的开发始终面临着“高效迭代”与“合规认证”的双重挑战。传统开发模式中,跨角色协作的壁垒、冗长的认证周期,往往成为项目落地的瓶颈。ANSYS推出的SCADE One嵌入式软件开发平台,以近20年SCADE系列工具的技术积淀为基础,构建起“设计-验证-生成-认证”全流程一体化的开发体系,为安全关键型嵌入式软件研发注入全新动能。



一:功能亮点

1. 双模式建模:无缝衔接跨角色需求

Scade One 弥合了基于模型的工具的易用性和文本编程语言的强大功能之间的差距。完美适配控制工程师与软件工程师的差异化工作习惯。

控制工程师可通过直观的框图符号开展建模设计,借助自动布局功能,快速构建规整清晰的模型;

软件工程师则可通过文本编辑器进行复杂逻辑编写,图文混编功能更支持在框图中嵌入文本表达式,让复杂算术逻辑用文本表达。

2. Swan语言:安全嵌入式开发的专属内核

作为凝聚同步语言数十年研究成果的声明式数据流语言,Swan从根源上规避了通用编程语言的潜在风险。

A.可移植性好,兼容ISO-C标准

B.内存分配完全静态,没有动态内存分配

C.没有指针运算、没有递归

D.所有的迭代边界都是确定的,所有的数组边界都是确定的,最长执行时间都是确定的

3. 全流程智能化工具链:重构开发效率

软件交互界面非常友好,内置入门视频、示例模型与交互式帮助文档,配合实时错误检查与快速修复功能,大幅降低学习门槛与使用成本。在开发流程中,AI功能贯穿始终:


A.设计阶段支持自上而下的建模,允许先创建实例再生成定义,适配早期架构设计需求;

B.调试阶段提供分步执行、状态观测与场景化仿真能力,可通过Swan语言灵活定义测试场景;

C.测试阶段支持测试用例建模、批量执行与结果分析,搭配Python实现自定义报告生成,无缝对接CI/CD流程。


4. 合规化认证保障:加速取证之路

SCADE One可自动生成符合DO-178CISO 26262等国际标准的代码,满足MISRA C要求,代码生成器通过TQL-1(最高级别)的工具鉴定认证,满足DO-330标准,不需要安全子集检查、代码评审、单元测试、SIL测试、背靠背测试、代码覆盖率测试,软件直接保证模型到代码的一致性。

二、应用领域

1. 航空航天与eVTOL领域

SCADE系列工具已广泛应用于空客等主流机型的飞控系统研发。SCADE One更凭借快速建模能力,快速帮助客户获取eVTOL领域的相关认证。

2. 智能网联汽车领域

针对智能汽车的ADAS、线控底盘等安全关键部件,SCADE One可实现从逻辑算法设计到合规代码生成的全流程管控,为高等级自动驾驶功能的落地提供技术支撑。

3. 轨道交通与工业自动化

在轨道交通信号控制、列车牵引系统,以及工业控制系统等场景中,SCADE One可有效应对实时性、高可靠性要求。确保系统在极端工况下仍能稳定运行,同时简化跨团队协作流程,实现控制算法的快速迭代与验证。


上一篇:2026.08.24-26 | 华东&华南| Moldflow系统应用培训
下一篇:Speos案例:集成 Zemax与Lumerical 的光波导AR-HUD仿真方案