当前位置: 首页 > news >正文

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等。

相关文章:

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

产品概述 随着新能源三电、智能驾驶等新技术的应用,汽车中衍生出很多安全关键零部件,如BMS、VCU、MCU、ADAS等,相应的软件在汽车中的比重越来越大,并且安全性、可靠性要求也越来越高。ANSYS主要针对安全关键零部件的嵌入式产品级软…...

PyTorch|保存与加载自己的模型

训练好一个模型之后,我们往往要对其进行保存,除非下次用时想再次训练一遍。 下面以一个简单的回归任务来详细讲解模型的保存和加载。 来看这样一组数据: xtorch.linspace(-1,1,50)xx.view(50,1)yx.pow(2)0.3*torch.rand(50).view(50,1) 画…...

javaScript:Math工具类方法

1 Math工具类方法: >和其他的类的不同,Math并不是一个构造函数,也就是无法通过new来创建Math的实例 >Math表示的数学,在Math对象中存储了一组数学运算相关的常量的和方法 >这些常量和方法可以直接通过Math来访问 >比如Math.P…...

ffmpeg转码新技能

ffmpeg转码新技能 mp3转wavmp4转gif mp3转wav 今天发现之前用ffmpeg转码不好使了。今天发现一个ffmpeg转码新的用法非常简单 ffmpeg -i 0104.mp3 -f wav 0104.wav mp4转gif 同学求助将mp4转gif。我先用剪影把mp4的多余黑边去除。然后用ffmpeg将mp4转出了gif ffmpeg -i shu…...

Docker学习笔记(一):Docker命令总结

Docker命令总结 一、Docker介绍1.1 镜像与容器区别 二、Docker命令 一、Docker介绍 Docker是一个开源的应用容器引擎,它允许开发者在几乎任何环境中运行应用程序,而无需担心运行环境的问题。Docker的核心概念是容器,它可以将应用程序及其依赖…...

JavaWeb——后端案例

五、案例 1. 开发规范—Restful REST(Representational State Transfer),表述性状态转换,是一种软件架构风格 注: REST是风格,是约定方式,不是规定,可以打破描述模块的功能通常使…...

【CSS】浅学一下filter

目录 1、基本概念 2、用法 3、应用案例 更加智能的阴影效果: 元素、网页置灰 元素强调、高亮 毛玻璃效果 调整网页sepia 褐色值可以实现护眼效果 1、基本概念 CSS filter 属性将模糊或颜色偏移等图形效果(对比度、亮度、饱和度、模糊等等&#…...

Commander One for Mac:强大的双窗格文件管理器,让你的工作效率倍增!

Commander One for Mac是一款功能强大的文件管理工具,具有以下主要功能: 双窗格设计:主界面分为两个窗格,用户可以在左侧窗格中导航和浏览文件系统的目录结构,在右侧窗格中查看文件和文件夹的内容。文件操作&#xff…...

leetcode09-机器人能否返回原点

题目链接: https://leetcode.cn/problems/robot-return-to-origin/?envTypestudy-plan-v2&envIdprogramming-skills 思路: 循环遍历,模拟即可 代码: class Solution {public boolean judgeCircle(String moves) {int n m…...

sublim安装Autoprefixer插件

有时候在写css样式的时候,分不清哪些属性需要前缀,哪些不需要写前缀,sublime text这款编辑器下安装autoprefixer这款插件可以省去很多问题,写起来也很方便。1 确保系统已经安装node.js 可直接去官网上下载并安装,我的系…...

虚拟机Linux硬盘扩容

扩容前(20G): 扩容后(60G): 步骤: 1. 点击 虚拟机 -> 设置 -> 硬件 -> 硬盘(SCSI) -> 扩展(E)... -> 输入想要扩容大大小 -> 扩展(E) 2. 运行虚拟机,查看根目录属于那个文件系统,我的是 /dev/sda1…...

设计模式④ :分开考虑

一、前言 有时候不想动脑子,就懒得看源码又不像浪费时间所以会看看书,但是又记不住,所以决定开始写"抄书"系列。本系列大部分内容都是来源于《 图解设计模式》(【日】结城浩 著)。该系列文章可随意转载。 …...

独占锁ReentrantLock的原理

类图结构 ReentrantLock是可重入的独占锁,同时只能有一个线程可以获取该锁,其他获取该锁的线程会被阻塞而被放入该锁的AQS阻塞队列里面。 首先看下ReentrantLock的类图以便对它的实现有个大致了解。 从类图可以看到,ReentrantLock最终还是使…...

影响代理IP稳定性的因素有哪些?

代理IP作为一种网络服务,在生活中扮演着各种各样的角色。它们可以用于保护隐私、突破访问限制、提高网络安全性等。代理IP的稳定性受到多种因素的影响,下面和大家探讨一下影响代理IP稳定性的因素。 1、网络环境:代理IP所处的网络环境对它的稳…...

使用Docker-compose快速构建Nacos服务

在微服务架构中,服务的注册与发现扮演着至关重要的角色。Nacos(Naming and Configuration Service)是阿里巴巴开源的服务注册与发现组件,致力于支持动态配置管理和服务发现。最近,一位朋友表达了对搭建一套Nacos开发环…...

【Python】不一样的Ansible(一)

不一样的Ansible——进阶学习 前言正文概念Ansible CorePlugins和Modules 插件插件类型编写自定义插件基本要求插件选项文档标准编写插件 添加一个本地插件注册为内置插件指定插件目录 其他一些技巧更改Strategy 结语 前言 Ansible 是一个极其简单的 IT 自动化引擎&#xff0c…...

分布式图文详解!

分布式理论 1. 说说CAP原则? CAP原则又称CAP定理,指的是在一个分布式系统中,Consistency(一致性)、 Availability(可用性)、Partition tolerance(分区容错性)这3个基本…...

Unity SRP 管线【第五讲:自定义烘培光照】

文章目录 一、自定义烘培光照1. 烘培光照贴图2. 获取光照贴图3. 获取物体在光照贴图上的UV坐标4. 采样光照贴图 二、自定义光照探针三、 Light Probe Proxy Volumes(LPPV)四、Meta Pass五、 自发光烘培 一、自定义烘培光照 细节内容详见catlikecoding.c…...

CentOS快速安装Mysql5.7(Alibaba Cloud Linux兼容)

1、安装 在线下载 http://dev.mysql.com/get/mysql57-community-release-el7-10.noarch.rpm 下载rpm安装包 [roottheo bin]# cd /usr/local [roottheo local]# wget http://dev.mysql.com/get/mysql57-community-release-el7-10.noarch.rpm安装rpm [roottheo local]# rpm -iv…...

【css】快速实现鼠标悬浮变色效果

<div class"nav-item"><div class"ic-img"></div><div>切换</div> </div>.nav-item {width: 100rem;height: 45rem;line-height: 45rem;display: flex;text-align: center;justify-content: center;align-items: cent…...

21. Mysql 事件或定时任务,解放双手,轻松实现自动化

文章目录 概念常见操作事件调度器操作查看事件创建事件删除事件启动与关闭事件 精选示例构造实时数据定时统计数据 总结参考资料 概念 Mysql 事件是一种在特定时间点自动执行的数据库操作&#xff0c;也可以称呼为定时任务&#xff0c;它可以自动执行更新数据、插入数据、删除…...

Apache Doris 2.0.2 安装步骤 Centos8

Linux 操作系统版本需求 Linux 系统版本当前系统版本CentOS7.1 及以上CentOS8Ubuntu16.04 及以上- 软件需求 软件版本当前版本Java1.81.8.0_391GCC4.8.2 及以上gcc (GCC) 8.5.0 20210514 (Red Hat 8.5.0-4) 1、查看操作系统版本 方法 1&#xff1a;使用命令行 打开终端或…...

Java学习苦旅(二十五)——哈希表

本篇博客将详细讲解哈希表。 文章目录 哈希表概念冲突概念避免冲突哈希函数设计常见哈希函数 负载因子调节解决冲突闭散列开散列&#xff08;哈希桶&#xff09; 和java类集的关系 结尾 哈希表 概念 顺序结构以及平衡树中&#xff0c;元素关键码与其存储位置之间没有对应的关…...

性能分析与调优: Linux 实现 CPU剖析与火焰图

目录 一、实验 1.环境 2.CPU 剖析 3.CPU火焰图 一、实验 1.环境 &#xff08;1&#xff09;主机 表1-1 主机 主机架构组件IP备注prometheus 监测 系统 prometheus、node_exporter 192.168.204.18grafana监测GUIgrafana192.168.204.19agent 监测 主机 node_exporter192…...

leetcode动态规划问题总结 Python

目录 一、基础理论 二、例题 1. 青蛙跳台阶 2. 解密数字 3. 最长不含重复字符的子字符串 4. 连续子数组的最大和 5. 最长递增子序列 6. 最长回文字符串 7. 机器人路径条数 8. 礼物的最大价值 一、基础理论 动态规划其实是一种空间换时间的基于历史数据的递推算法&…...

strtok函数的介绍

_str指被分解的字符串 delim指分隔符字符串 返回类型是指针 strtok()用来将字符串分割成一个个片段。参数s指向欲分割的字符串&#xff0c;参数delim则为分割字符串中包含的所有字符。当strtok()在参数s的字符串中发现参数delim中包含的分割字符时,则会将该字符改为\0 字符…...

CF1909_C. Heavy Intervals题解

CF1909_C. Heavy Intervals题解 题目传送门&#xff08;Problem - C - CodeforcesCodeforces. Programming competitions and contests, programming communityhttps://codeforces.com/contest/1909/problem/C&#xff09;。 题目翻译如下&#xff1a;&#xff08;图片来源&a…...

【Python机器学习】理论知识:决策树

决策树是广泛用于分类和回归任务的模型&#xff0c;本质上是从一层层if/else问题中进行学习&#xff0c;并得出结论。这些问题类似于“是不是”中可能问到的问题。 决策树的每个结点代表一个问题或一个包含答案的终结点&#xff08;叶结点&#xff09;。树的边奖问题的答案与将…...

天软特色因子看板 (2024.01 第2期)

该因子看板跟踪天软特色因子A04001(当日趋势强度)&#xff0c;该因子为反映股价走势趋势强弱&#xff0c;用以反映股价走势趋势强弱&#xff0c;abs(值)越接近1&#xff0c;趋势 性越强&#xff0c;符号代表涨跌方向 今日为该因子跟踪第2期&#xff0c;跟踪其在SH000905 (中证5…...

java智慧医院互联网智慧3D导诊系统源码,经由智慧导诊系统多维度计算,准确推荐科室

什么是智慧导诊系统? 简单地说&#xff0c;智慧导诊系统是一种利用人工智能技术&#xff0c;为医生提供帮助的系统。它可以通过分析患者的症状和病史为医生提供疾病诊断和治疗方案的建议。 系统介绍&#xff1a; 医院智慧导诊系统是在医院中使用的引导患者自助就诊挂号&…...

做360手机网站快速/网络营销的有哪些特点

SpringBoot配置Dubbo 需求 demo1项目调用demo中 的方法&#xff0c;并返回数据。(记得打开zookeeper) 项目创建 1.创建两个项目(demo、demo1)&#xff0c;注意包名一致。 2.导入依赖&#xff1a; demo和demo1的依赖一样 <dependency><groupId>org.apache.dubb…...

天猫秘券网站怎么做/常见的网络营销工具有哪些

本文分享产品经理入门到进阶7套课&#xff0c;带大家开始产品经理学习。理论知识和学习路线参考上图&#xff0c;另外文末有晋升思维导图哦! 一、快速了解产品经理行业 这个阶段对于不了解产品经理这个岗位&#xff0c;没有接触过相关工作的同学来说&#xff0c;重点在于了解…...

wordpress 自动抓取/软文广告300字范文

题目&#xff1a;输入一个字符串&#xff0c;输出该字符串中对称的子字符串的最大长度。比如输入字符串“google”&#xff0c;由于该字符串里最长的对称子字符串是“goog”&#xff0c;因此输出4。 分析&#xff1a;可能很多人都写过判断一个字符串是不是对称的函数&#xff…...

网站制作价/成品网站1688入口网页版怎样

使用内部(com.android.internal)和隐藏(hide)API手记 内部API和隐藏API的不同隐藏API隐藏是为了防止开发人员使用SDK中未完成或者未稳定&#xff08;接口和架构方面看&#xff09;的部分。比如&#xff0c;Bluetooth API在API Level 5&#xff08;android 2.0&#xff09;之前就…...

购物网站源码/有什么软件可以推广

http://rdc.hundsun.com/portal/article/826.html http://rdcqii.hundsun.com/portal/article/827.html 存储是容器编排中非常重要的一部分。Kubernetes从v1.2开始&#xff0c;提供了dynamic provisioning这一强大的特性&#xff0c;可以给集群提供按需分配的存储&#xff0c…...

wordpress无法发送/搜索引擎优化的各种方法

2019独角兽企业重金招聘Python工程师标准>>> 今天在坛子里看到有坛友问到九宫格的实现&#xff0c;我把我在项目中用的经验分享一下&#xff0c;九宫格用gridview实现代码如下&#xff1a;   xml代码&#xff1a; <linearlayout xmlns&#xff1a;android"…...