Medini在BMS系统HARA分析中的应用

在功能安全概念阶段，针对相关项分析的功能失效所产生的危害，结合相关场景，进行HARA分析，首先我们需要对BMS系统的充电功能进行HAZOP分析， Medini当中内置了引导词模板，可以很方便的进行function和Malfunction的推导

一般引导词为功能的丢失、超预期、低于预期、输出卡滞等，Medini可以很便捷的让开发人员进行失效分析

对于功能失效，结合场景进行HARA分析，确定严重度S、暴露度E、可控性C，Medini可以自动计算ASIL等级，自动检查ASIL等级不为QM的时候，后面是否有安全目标

自动验证过程中，medini采用OCL或者jave script脚本，可以进行符合ISO26262的系列验证。

通过Medini的分析，可以将安全目标和架构模型进行关联，完成需求的追溯，为后续BMS的系统、软件、硬件开发提供支持。