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

产品概述
随着新能源三电、智能驾驶等新技术的应用,汽车中衍生出很多安全关键零部件,如BMS、VCU、MCU、ADAS等,相应的软件在汽车中的比重越来越大,并且安全性、可靠性要求也越来越高。ANSYS主要针对安全关键零部件的嵌入式产品级软件提供了SCADE开发套件,支持嵌入式软件详细设计和代码自动生成,有效缩短产品研制周期,提高产品研制效率,提高产品质量。

在这里插入图片描述

产品功能
SCADE开发套件由以下主要部分组成:

  • SCADE Architect:专为系统工程师开发;底层SysML™技术是隐藏的,可重复使用的、独特的模块功能可用于基于组件的建模,数据字典的导入/导出以及跨模块层级的数据传播。Python、OCL、TCL或Java技术中只读模型库和完整模型API的管理可实现扩展和定制。此外,还支持从IBM Rhapsody、NoMagic MagicDraw和Sparx Systems Enterprise Architect等模型导入SysML模型,还在SysML的基础上进行封装定制,扩展出了针对汽车嵌入式系统设计解决方案(AUTOSAR)、AADL及FACE解决方案等
  • SCADE Suite:套件的核心组件,支持控制逻辑详细建模、仿真验证、代码自动生成。基于形式化语言“SCADE”,语法严谨,减少代码生成配置环节,一键从模型生成代码,且代码生成器通过ISO26262等行业安全标准认证(TCL3),行业目前经过安全认证(ASILD)的代码生成器,适用于高安全软件开发(适用于C和Ada),支持标定和NI/dSPACE等HIL桥接
  • SCADE Suite Gateway for Simulink:支持Simulink模型与SCADE模型的双向转换

在这里插入图片描述

  • SCADE Display:支持HMI详细设计、仿真验证、代码自动生成。支持生成OpenGL/OpenGL Safety/OpenGL ES代码,代码生成器通过行业安全标准认证,适用于高安全软件开发。SCADE Display是一款用于人机交互界面建模的专用工具,支持嵌入式图形、显示界面和HMI开发,以及安全关键型显示界面的认证代码生成,在汽车和工业等制造领域的企业中均用于HMI显示软件原型设计和开发
  • SCADE Test:用于需求验证以及测试案例创建和管理的完整测试环境。用户可以在主机和目标上自动执行测试案例,测量覆盖率并管理任何SCADE应用的测试结果。借助SCADE Test,用户可以尽早开始需求验证并自动执行测试,以确保在早期开发阶段实现合规性,减少后期成本高昂的设计变更。完整的交互式测试环境可通过图形部件轻松实现原型构建和验证;自动化完成模型测试执行、模型覆盖结果报告以及硬件目标的测试转换等功能。测试报告生成符合安全性标准(DO-178C、ISO 26262、EN 50128、IEC 61508)
  • SCADE Lifecycle:支持和ALM/PLM(例如DOORS、Reqtify、Polarion)进行桥接,实现生命周期数据管理、文档自动生成等。通过用于连接SCADE解决方案和需求管理工具或PLM/ALM(产品生命周期管理/应用生命周期管理)工具的附加模块,增强了SCADE工具的功能。借助SCADE LifeCycle,参与关键应用开发的所有系统和软件团队都可以在SCADE应用的整个生命周期内,管理和控制其设计和验证活动
  • SCADE汽车包:专为汽车领域提供SCADE Architect和SCADE Suite扩展,包括
     AUTOSAR定制符合AUTOSAR4.2.2标准
     支持SCADE Architect项目ARXML文件的导入/导出
     支持SCADE Architect和SCADE Suite进行双向同步,确保架构模型和详细设计模型一致性
     SCADE Suite生成的代码符合AUTOSAR标准
     支持ASAMMCD-2DC(aka ASAP2)软件标定和测量

应用案例

  • 德国大众:自2016年开始,基于SCADE在BMS、EPS中构建软件,满足ISO 26262 ASILC/D的应用要求。通过多个项目的比较评估,可以有效减少56%的开发时间,为项目节省30%的人力和成本
  • 斯巴鲁:在推出新混合动力和电动车型的市场竞争中,Ansys SCADE在过去10年已经成为斯巴鲁的一项重要战略工具,兑现汽车制造商对于出色安全性和可靠性的承诺。节省ECU的端到端开发时间,同时保持其控制软件的准确性,这对于斯巴鲁推出创新技术至关重要

主要客户
大众、宝马、斯巴鲁、NEVS、Faraday Future、马自达、TOYOTA TSUSHO ELECTRONICS、德尔福、DENSO、DURA、Method Electronics、Autodrive Solutions等。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/598878.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

stable diffusion 基础教程-提示词之艺术风格用法

展现夕阳 golden hour, (rim lighting):1.2, warm tones, sun flare, soft shadows, vibrant colors, hazy glow, painterly effect, dreamy atmosphere阴影 chiaroscuro, (high contrast):1.2, dramatic shadows, bold highlights, moody atmosphere, captivating inte…

【六大排序详解】终篇 :冒泡排序 与 快速排序

终篇 :冒泡排序 与 快速排序 1 冒泡排序1.1 冒泡排序原理1.2 排序步骤1.3 代码实现 2 快速排序2.1 快速排序原理2.1.1 Hoare版本代码实现 2.1.2 hole版本代码实现 2.1.3 前后指针法代码实现 2.1.4 注意取中位数局部优化 2.1.5 非递归版本非递归原理代码实现 2.2 特性总结 谢谢阅…

室内效果图没有质感?外国大神这6个实用技巧,带你轻松掌握!

为了创作出高级有质感的效果图,我们需要注意构图、颜色、布光等多种因素,以打造出逼真的渲染效果。不过不要担心!今天小编带来了国外知名设计师Arch Viz Artist在油管上分享的6个实用小技巧。看完带你轻松提升室内效果图的表现力!…

WPS/PPT插件-大珩助手免费功能更新-特殊字符

扩展特殊格式下特殊字符,增加200多个常用特殊字符,可直接点击插入。 PPT大珩助手 1.7.6 1、提供素材库功能,可实现一键保存素材,支持对选中的形状,支持一键替换素材,保留原素材的尺寸和位置,…

RTT打印时间戳

官方的RTT VIEWER没有打印接收时间戳的功能,经过查找后发现可以有以下三种打印时间戳的方法。 第三方的RTT上位机ExtraPutty自己打印 第三方的RTT上位机 码云上有一个RTT_T2的仓库,基于python qt包写的画面,通过pylink来jlink通信。 优点…

Nginx 负载均衡集群 节点健康检查

前言 正常情况下,nginx 做反向代理负载均衡的话,如果后端节点服务器宕掉的话,nginx 默认是不能把这台服务器踢出 upstream 负载集群的,所以还会有请求转发到后端的这台服务器上面,这样势必造成网站访问故障 注&#x…

Linux GDB 调试

文章目录 一、Qemu二、Gdbvscode 调试 三、RootFs 一、Qemu qemu 虚拟机 Linux内核学习 Linux 内核调试 一:概述 Linux 内核调试 二:ubuntu20.04安装qemu Linux 内核调试 三:《QEMU ARM guest support》翻译 Linux 内核调试 四:…

基于SSM框架和Layui框架的管理系统

计算机毕业设计:打造安全、高效的信息管理系统在这个数字化时代,信息安全和高效管理是至关重要的。为了帮助学校或机构更好地管理和保护信息,我们为您设计了一套功能强大的信息管理系统。该系统利用先进的技术,结合MD5加密&#x…

使用Go语言的HTTP客户端进行并发请求

Go语言是一种高性能、简洁的编程语言,它非常适合用于构建并发密集型的网络应用。在Go中,标准库提供了强大的HTTP客户端和服务器功能,使得并发HTTP请求变得简单而高效。 首先,让我们了解为什么需要并发HTTP请求。在许多应用场景中…

【Nacos专题】Nacos如何建立与应用服务之间的通信渠道?

作为Spring Cloud Alibaba微服务架构实战派上下册和RocketMQ消息中间件实战派上下册的作者胡弦。 Nacos是一款面向云原生服务的注册中心和配置中心技术解决方案,既然要与服务打交道,那么通信渠道是必不可少的组件,那么Nacos是如何建立与应用…

【后端已完成,前端更新ing】uniapp+springboot实现个人备忘录系统【前后端分离】

目录 (1)项目可行性分析 (一)技术可行性: (二)经济可行性: (三)社会可行性: (2)需求描述 功能模块图 用例图&#…

Xcode15在iOS12系统上崩溃的原因

1.1.崩溃在_dyld_start,如图: 崩溃截图 解决办法:在other link flags添加-ld64 注意:该办法只能解决运行真机,archive出来的包依然报错闪退...... 1.2 SwiftUI导致iOS12及以下系统闪退问题 SwiftUI是iOS13开始使用&…

(NeRF学习)NeRF复现 win11

目录 一、获取源码二、环境三、准备数据集1.下载数据集方法一:官方命令方法二:官网下载数据集 2.修改配置 四、开始训练1.更改迭代次数2.开始训练方法一:方法二: 3.使用预训练模型 五、NeRF源码学习 一、获取源码 git clone http…

C#之反编译之路(一)

本文将介绍微软反编译神器dnSpy的使用方法 c#反编译之路(一) dnSpy.exe区分64位和32位,所以32位的程序,就用32位的反编译工具打开,64位的程序,就用64位的反编译工具打开(个人觉得32位的程序偏多,如果不知道是32位还是64位,就先用32位的打开试试) 目前只接触到wpf和winform的桌…

什么是负载均衡?什么情况下又会用到负载均衡

什么是负载均衡 在大型的网络应用中,使用多台服务器提供同一个服务是常有的事。平均分配每台服务器上的压力、将压力分散的方法就叫做负载均衡。 [利用 DNS来实现服务器流量的负载均衡,原理是“给网站访问者随机分配不同ip”] 什么情况下会用到负载均…

芯课堂 | LVGL基础知识(三)

概述 LVGL进度条对象上有一个背景和一个指示器。指示器的宽度根据进度条的当前值进行设置。 如果对象的宽度小于其高度,则可以创建垂直进度条。 不仅可以设置进度条的结束值,还可以设置进度条的起始值,从而改变指示器的起始位置。 LVGL进度…

使用EasyExcel导出百万条数据

使用EasyExcel导出百万条数据 应用是基于100W条数据进行的测试 首先&#xff1a;导入相关需要的依赖&#xff1a; <dependency><groupId>org.apache.poi</groupId><artifactId>poi</artifactId><version>3.16</version></depend…

springboot系列——IDEA创建项目并运行

springboot Spring Boot是为了简化Spring应用程序的开发和部署而产生的。 Spring Boot提供了一种基于约定优于配置的开发模式。它自动配置了Spring应用程序所需的各种组件和依赖&#xff0c;并提供了简单易用的命令行工具来构建和运行应用程序。 Spring Boot还提供了一套开箱…

Existing installation is up to date

这个报错是之前安装的docker没有删除干净 解决方法&#xff1a; 打开注册表编辑器 然后再搜索栏&#xff1a;HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Docker Desktop 回车 找到Docker Desktop文件夹后&#xff0c;右键删除 重新安装Docker…

Security的入门和流程分析

Security的入门和流程分析 问题&#xff1a;访问一个controller方法之前进行一个权限验证&#xff1f; 在controller里面的每一个handler无论什么访问都要进行一个校验&#xff0c;但是对于login logout 验证码这种Handler处理器是放行的 1.使用过滤器拦截器 注意两者区别 过滤…