medini analyze软件下载安装使用试用购买
##商业软件如需下载安装使用试用,可以点下面,通过简介添加
静态测试软件(QAC、Klocwork、Coverity等)单元测试软件 集成测试软件(VectorCAST、TestBED、Tessy、C++Test等)_哔哩哔哩_bilibili
汽车电子电气系统的功能安全随着智能驾驶、新能源等新兴技术的发展而愈发受到重视。在国际功能安全标准ISO 26262的落地过程中遇到了很多的棘手问题:如何正确而有效地实施HARA以得到合适的安全目标?如何进行安全分析才能确保安全需求完整而充分?如何验证系统/软件/硬件设计方案的安全性?硬件指标的评估计算要如何开展?开发过程的追溯性、一致性、完整性如何保证?
功能介绍
medini analyze工具是专门的功能安全开发平台工具,符合ISO 26262开发全流程,功能覆盖ISO 26262要求的开发活动,它的主要功能如下:
refer to ISO26262 2018
• 项目定义
♦ 支持功能定义、行为设计、初始架构建模;
♦ 提供HAZOP模板用于失效识别等。
• 危害分析和风险评估
♦ 提供驾驶场景数据库以支持HARA情景分析;
♦ 提供标准HARA模板,让HARA分析过程更加清晰简单。
• 安全需求开发
♦ 提供满足ISO 26262要求的半形式化需求模板,确保需求编写的规范性和完整性;
♦ 支持基于安全分析(如FTA)的安全需求导出,确保安全需求不被遗漏;
♦ 支持创建UML需求树,满足可视化的需求追溯关系建立和维护;
♦ 支持和DOORS、DNG、PTC等需求管理工具进行交互。
• 安全架构设计
♦ 支持标准SysML语言的架构设计,支持向架构分配需求,实现需求和设计的追溯性;
♦ 支持导入Simulink、SCADE、EA、Rhapsody等建模软件的输出模型文件。
• 安全分析FMEA
♦ 支持基于SysML的设计模型生成FMEA表格,确保FMEA和其分析对象(架构)直接的关联性、完整性,也便于架构优化时更新FMEA;
♦ 支持创建措施库(prevention/detection measures),并进行措施管理,集成ISO26262 part5 appendix D所有安全机制。
• 安全分析FTA
♦ 支持基于SysML的设计模型创建FTA,确保FTA和其分析对象(架构)直接的关联性,也便于实现和FMEA的互相校验;
♦ 支持最小割集、重要度等定性的FTA分析以及定量FTA(PMHF)的计算。
• 硬件指标计算FMEDA
♦ 提供SN29500、IEC62380,以及ISO 26262:2018新推荐的IEC 61709等5个失效率计算手册;
♦ 支持基于Excel/CSV格式BOM自动生成ISO 26262推荐的FMEDA表格。
• 强大的可追溯性
♦ 支持创建项目内任意元素的追溯关系,如不同层级的需求关联关系,需求与设计架构的allocation关系,架构与安全分析验证的对应关系等;
♦ 支持可视化的功能与架构的依附关系展示;
♦ 支持Function net、Failure net等可视化的追溯关系展示。
应用&案例
• GM——车道保持辅助系统功能安全分析
GM选择medini analyze的理由主要是:支撑ISO 26262功能安全开发全流程,保证开发过程一致性,兼容和集成GM原有工具形成完整工具链,自动生成标准的ISO 26262工作报告,大大提高GM车道保持辅助系统功能安全分析效率。
• Mobileye——自动驾驶安全策略的分析
Mobileye将medini analyze作为其自动驾驶安全策略开发的核心工具,将自动驾驶安全目标拆分为功能安全ISO26262安全目标及预期功能安全SOTIF安全目标,系统性解耦了功能安全与预期功能安全之间的关联关系,不但实现了产品的功能安全开发,并且利用medini analyze积极探索了SOTIF的落地过程。
————————————————
版权声明:本文为CSDN博主「经纬恒润」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/Hirain1234/article/details/103472890
medini analyze软件下载安装使用试用购买相关推荐
- Tessy软件下载安装使用试用购买
##商业软件如需下载安装使用试用,可以点下面,通过简介添加 静态测试软件(QAC.Klocwork.Coverity等)单元测试软件 集成测试软件(VectorCAST.TestBED.Tessy.C ...
- C++Test软件下载安装使用试用
##商业软件如需下载安装使用试用,可以点下面,通过简介添加 静态测试软件(QAC.Klocwork.Coverity等)单元测试软件 集成测试软件(VectorCAST.TestBED.Tessy.C ...
- Klocwork软件下载安装使用试用
##商业软件如需下载安装使用试用,可以点下面,通过简介添加 静态测试软件(QAC.Klocwork.Coverity等)单元测试软件 集成测试软件(VectorCAST.TestBED.Tessy.C ...
- Polyspaces软件下载安装使用试用
##商业软件如需下载安装使用试用,可以点下面,通过简介添加 静态测试软件(QAC.Klocwork.Coverity等)单元测试软件 集成测试软件(VectorCAST.TestBED.Tessy.C ...
- GreenHills Software编译器下载安装使用试用
##商业软件如需下载安装使用试用,可以点下面,通过简介添加 静态测试软件(QAC.Klocwork.Coverity等)单元测试软件 集成测试软件(VectorCAST.TestBED.Tessy.C ...
- 取消苹果商店简短验证_苹果12怎么下载软件-IPhone12软件下载安装方法介绍
苹果12怎么下载软件?当我们购买了最新款的IPhone12手机之后,通常需要安装自己常用的软件到新手机,那苹果12软件怎么下载安装,苹果12怎么下载软件,IPhone12软件下载怎么下,下面就和小编一 ...
- 【已阅】Linux的软件生态与两个方面,客户端/Linux软件下载安装的认识,yum源/仓库(repo)与yum指令的本质,yum指令操作等
铺垫1:服务器属于硬件 服务器是一种计算机硬件设备,主要用于存储.管理和处理数据以及为其他计算机提供服务. 服务器通常具有高性能的处理器.大容量的硬盘.大内存和高速网络连接等特点,可以提供各种服务,如 ...
- ubuntu系统vim常用命令学习以及ubuntu软件下载安装
文章目录 一.ubuntu系统vim常用命令学习 (一)进入进入vim编辑器的方式 (二)vi的三种工作方式 (三)退出vi的命令 (四)命令模式下的各种命令 1.光标移动命令 2.插入命令 3.删除 ...
- ubuntu下常用软件下载安装
ubuntu下常用软件下载安装 1.jdk apt-get install openjdk-8-jdk 检查是否安装成功 java -version 2.mysql 安装 apt-get update ...
最新文章
- DOS批处理的字符串功能
- std和android空间,ANDROID平台通讯中STDM加密技术的应用
- 关于使用layui中的tree的一个坑
- 算法大赛十强战队解题方案大公开!【附PPT下载】
- 软件工程导论 09章面向对象方法学
- c#类的定义,c#中的关健字,C#标识符
- 杨澜对话魏少军赵伟国:中国芯片产业应该如何发展?
- VMWare 文件格式详解 .VMX .VMSD .VMDK
- 英菲克I9_H8_当贝纯净桌面-YYF定制-线刷固件包
- 内核RDMA模块(siw)代码分析
- 声网发布极速直播、低码高清 首创轻互动直播,节省50%带宽成本
- 浅析深度学习中优化方法
- UGUI 列表边缘羽化
- 如何给自己的网站接入谷歌联盟
- QT_disconnect
- 双人榻榻米床高度一般是多少
- 微信小程序考勤签到管理系统
- ansible 自动化运维工具——ansible Ad-Hoc 使用
- Android短信收到,语音播报
- 简单、隐私友好的谷歌分析替代品,Plausible 自托管部署指南
热门文章
- 猿创征文|【React】组件化入门学习
- OpenHarmony恢复启动子系统init进程之服务管理与发布
- 小程序中引导用户关注公众号
- 关于Qt链接信号与槽不成功的
- 太赞了!图解SQL基础知识,菜鸟也能看懂的SQL文章!
- storm无损 the wolven_落日飞车专辑《柔性风暴(Soft Storm)》9首歌曲合集[FLAC/MP3/436.52MB]百度云网盘下载...
- 0202插入删除-算法第四版红黑树-红黑树-数据结构和算法(Java)
- 这四十年来的香港歌坛在唱些什么,“南中国听歌最多”的数据分析师带你一探究竟...
- 色彩搭配的原理与避讳
- ubuntu16下 vscode配置ros和opencv路径