SCADE — 产品级安全关键系统的MBD开发套件

随着新能源三电、智能驾驶等新技术的应用,汽车中衍生出很多的安全零部件,如BMS、VCU、MCU、ADAS等,相应的软件在汽车中的比重越来越大,随之而来的安全性、可靠性要求也越来越高。

ANSYS主要针对安全零部件的嵌入式产品级软件提供了SCADE开发套件,支持嵌入式软件详细设计和代码自动生成,有效缩短产品研制周期,提高产品研制效率,提高产品质量。

在这里插入图片描述

产品功能

SCADE开发套件由以下主要部分组成:

• SCADE Architect:支持SysML建模能力,可以利用 SysML模型对系统行为及架构进行建模。还在SysML的基础上进行封装定制,扩展出了针对汽车嵌入式系统设计解决方案(AUTOSAR)、AADL及FACE解决方案等。

• SCADE Suite:套件的核心组件,支持控制逻辑详细建模、仿真验证、代码自动生成。基于形式化语言“SCADE”,语法严谨,减少代码生成配置环节,一键从模型生成代码,且代码生成器通过ISO 26262等行业安全标准认证(TCL3),经过安全认证(ASIL D)的代码生成器,适用于高安全软件开发(适用于C 和Ada),支持标定和NI/dSPACE等HIL桥接。

• SCADE Suite Gateway for Simulink:支持将Simulink模型与SCADE模型的双向转换。

• SCADE Display:支持HMI详细设计、仿真验证、代码自动生成。支持生成OpenGL/OpenGL Safety/OpenGL ES代码,代码生成器的通过行业安全标准认证,适用于高安全软件开发。

• SCADE Test:支持对SCADE模型进行验证,包括对SCADE模型进行覆盖率分析、自动化测试环境以及和目标测试平台工具的桥接等。

• SCADE Lifecycle:支持和ALM/PLM(例如DOORS、Reqtify、Polarion)进行桥接实现生命周期数据管理、文档自动生成等。

• SCADE汽车包,专为汽车领域提供SCADE Architect 和SCADE Suite扩展,包括:

♦ AUTOSAR定制符合AUTOSAR4.2.2标准
♦ 支持SCADE Architect项目ARXML文件的导入/导出
♦ 支持SCADE Architect和SCADE Suite进行双向同步,确保架构模型和详细设计模型一致性
♦ SCADE Suite生成的代码符合AUTOSAR标准
♦ 支持ASAM MCD-2 DC(aka ASAP2)软件标定和测量