汽车电子电气系统的功能安全随着智能驾驶、新能源等新兴技术的发展而愈发受到重视。在国际功能安全标准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. LeetCode_485. Max Consecutive Ones

    485. Max Consecutive Ones Easy Given a binary array, find the maximum number of consecutive 1s in th ...

  2. 【DL基础】GridSearch网格搜索

    前言 参考 1. 调参必备---GridSearch网格搜索: 完

  3. mybatis批量新增或更新

    mysql中在INSERT语句末尾指定了ON DUPLICATE KEY UPDATE时,向数据库中插入一条记录: 若插入数据的主键值/ UNIQUE KEY 已经在表中存在,则执行更新操作(UPDA ...

  4. Redis实现实时热点查询

    Redis内存淘汰 定义: 指的是用户存储的一些键被可以被Redis主动地从实例中删除,从而产生读miss的情况 机制存在原因: Redis最常见的两种应用场景为缓存和持久存储 首先要明确的一个问题是 ...

  5. MD5用户密码加密工具类 MD5Util

    一般记录用户密码,我们都是通过MD5加密配置的形式.这里记录一下,MD5加密的工具类. package com.mms.utils; import java.security.MessageDiges ...

  6. jmeter jtl 文件

    一.获取.jtl文件 使用非 GUI 模式,即命令行模式运行 JMeter .执行完成jmeter后,会生成jtl文件. 1.1. 命令介绍 1)先cmd进入到jmeter的bin文件目录下(这里是 ...

  7. Symfony框架笔记

    控制器获取前端传入的参数 $parameters = $request->request; $data = $parameters->all(); 引用静态资源(js.css.img) 使 ...

  8. .Net Core WebApi(3)—NLog

    在.Net Core中,微软提供的内置的日志组件没有实现将日志记录到文件.数据库上.这里使用NLog替代内置的日志组件 1.在项目中引入NuGet包   NLog         NLog.Web.A ...

  9. dp的平行四边形优化

    证明过程转载自charliezhi2007的博客 题目链接 备用链接 分析:一道区间dp,状态转移方程\(dp[i][j]=min(dp[i][j],dp[i][s]+dp[s+1][j]+sum[j ...

  10. 2019 用友网络java面试笔试题 (含面试题解析)

    本人3年开发经验.18年年底开始跑路找工作,在互联网寒冬下成功拿到阿里巴巴.今日头条. 用友网络等公司offer,岗位是Java后端开发,最终选择去了 用友网络. 面试了很多家公司,感觉大部分公司考察 ...