汽车电子电气系统的功能安全随着智能驾驶、新能源等新兴技术的发展而愈发受到重视。在国际功能安全标准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的落地过程。
 
        medini analyze在深耕ISO 26262功能安全的同时,也在持续开发SOTIF、cybersecurity等功能,不久将会推出支持SOTIF和cybersecurity的全新版本,敬请期待!
 
 

经纬恒润
北京市海淀区知春路7号致真大厦D座6层
电话:010-64840808
邮箱:market_dept@hirain.com
网址:www.hirain.com

功能更新 | medini analyze — 符合ISO 26262的功能安全平台工具的更多相关文章

  1. 如何完成符合ISO 26262要求的基于模型设计(MBD)的测试

    背景介绍 随着汽车行业的迅速发展,汽车的复杂程度不断增加,越来越多的汽车电子控制系统具有与安全相关的功能,因此对ECU的安全要求也越来越高.复杂的软件功能,将会带来大量的软件风险问题,如何保证软件的安 ...

  2. 汽车芯片如何高效符合ISO 26262功能安全标准

      汽车芯片和集成电路(IC)是高级驾驶员辅助系统(advanced driver assistance systems-ADAS)和联网自动驾驶汽车(connected autonomous veh ...

  3. 微软Power BI 每月功能更新系列——9月Power BI 新功能学习

    Power BI Desktop 9月新功能摘要 Power BI 9月更新如期而至,这一次Power BI 又推出了新功能——聚合预览,它可在内存中无缝地存储汇总值,大大提高报告的性能.另外本月还包 ...

  4. 2019微软Power BI 每月功能更新系列——3月Power BI 新功能学习

    Power BI3月产品功能更新发布啦!本次新功能新增了热图和单选切片器:完善了新的DAX功能和对现有功能的改进(例如按钮和选择窗格):同时官方表示建模视图的全面改进也正在进行中~Woo~那么,本月更 ...

  5. 微软Power BI 每月功能更新系列——12月Power BI 新功能学习

    Power BI Desktop12月产品功能摘要 Power BI 作为实力宠粉达人每月更新不来点新花样,怎么对得起翘首期待的实力铁粉您嘞!一起来看看这一次的Power BI版本的更新又给我们带来了 ...

  6. 微软Power BI 每月功能更新系列——4月Power BI 新功能学习

    本月Power BI Desktop的更新,除了常规的视觉和数据连接器改进之外,还有两个非常大的功能改进,交互式的报表.问答,用户直接在Desktop可以询问有关的数据问题,面对层出不穷的用户需求,这 ...

  7. 2019微软Power BI 每月功能更新系列——Power BI 4月版本功能完整解读

    Power BI4月份的更新对整个产品进行了重大更新.此版本增加了基于DAX表达式定义视觉效果标题和按钮URL的功能.本月Power BI也新增了许多新的连接器,现在可以使用几种预览连接器,包括Pow ...

  8. 2019微软Power BI 每月功能更新系列——2月Power BI 新功能学习

    哈喽,小伙伴们,我是小悦悦,好久不见~ 春节假期结束,新一轮的工作开始,祝大家猪年如意,开工大吉! 今天小悦悦带你走入猪年学习的正确打开方式——Power BI新一年的持续更新学习!   Power ...

  9. 微软Power BI 每月功能更新系列——11月Power BI 新功能学习

    Power BI Desktop11月产品功能摘要 本月Power BI Desktop 有一个大规模的更新.现在,通常可以使用复合模型在一个模型中将直接查询和导入源组合在一起.UserVoice上的 ...

随机推荐

  1. python中将函数赋值给变量时需要注意的一些问题

    python中将函数赋值给变量时需要注意的一些问题 变量赋值是我们在日常开发中经常会遇到的一个问题,本文主要给大家介绍的是关于python将函数赋值给变量时需要注意的一些问题,分享出来供大家参考学习, ...

  2. python字符串拼接N种姿势

    字符串大家都不陌生,应用比较广泛,强大,总是会给你一些惊喜的数据类型.我们本篇文章主要介绍的就是关于字符串的多种方法的拼接. 第一种:直接通过+号拼接 输出结果: 2.通过 str.join()方法拼 ...

  3. UE4 移动物体的几种方法

    转自:https://dawnarc.com/2016/06/ue4%E7%A7%BB%E5%8A%A8%E7%89%A9%E4%BD%93%E7%9A%84%E5%87%A0%E7%A7%8D%E6 ...

  4. Java 注解基本原理

    原文地址 注解的本质 「java.lang.annotation.Annotation」接口中有这么一句话,用来描述『注解』. The common interface extended by all ...

  5. 【问题】Could not locate PropertySource and the fail fast property is set, failing

    这是我遇到的问题 Could not locate PropertySource and the fail fast property is set, failing springcloud的其他服务 ...

  6. LeNet-5 卷积神经网络结构图

    LeNet-5是Yann LeCun在1998年设计的用于手写数字识别的卷积神经网络,当年美国大多数银行就是用它来识别支票上面的手写数字的,它是早期卷积神经网络中最有代表性的实验系统之一.可以说,Le ...

  7. 【LEETCODE】71、验证二叉树的前序序列化

    简单粗暴,代码有待优化,不过自己独立完成,没有参考任何材料,还是比较满意的 package y2019.Algorithm.stack.medium; import java.util.Stack; ...

  8. 打印从1到n位数的最大值

    题目: 输入数字n,按顺序打印从1到最大的n位十进制数,如输入3,则打印从1.2.3一直到最大的3位数999 参考大数运算的方法.考虑到位数会很大,所以采用字符串的形式解决.对输入的n,创建一个长度为 ...

  9. 小程序canvas绘制base64数据格式图片

    翻了微信小程序官方文档,看了看画板drawImage的用法,官方对所要绘制的图片资源路径并没有很详细,模棱两可,没说支持什么格式的路径.今天我就试一下支不支持base64格式的图片 随便找张图片从网上 ...

  10. springcolud 的学习(二).微服务架构的介绍

    什么是微服务微服务架是从SOA架构演变过来,比SOA架构粒度会更加精细,让专业的人去做专业的事情(专注),目的提高效率,每个服务于服务之间互不影响,微服务架构中,每个服务必须独立部署,互不影响,微服务 ...