Medini Analyze — 智能驾驶功能安全平台工具

“安全”被普遍认为是智能驾驶汽车被用户接受或者得到商业应用的问题，传统汽车电子按照功能安全（ISO 26262，避免系统性故障及随机硬件失效）标准进行安全设计，而智能驾驶汽车安全要求超越了功能安全范畴，尤其是L4及以上智能驾驶车辆中驾驶员将不再接管对车辆的控制权，功能安全要求演化为失效可工作（Fail-operational），产品设计需要兼顾预期功能安全（ISO/PAS 21448，解决产品性能受限及驾乘人员误操作）、信息安全（ISO/SAE 21434，防御网络攻击）等多重安全需求。

如何进行安全分析才能确保安全需求充分？如何验证系统/ 软件/ 硬件设计方案的安全性？如何有效融合功能安全、预期功能安全及信息安全要求以创建高安全智能驾驶体系？如何保证开发过程的追溯性、一致性？

2020年3月，Medini Analyze推出了针对预期功能安全（SOTIF）、信息安全（Cybersecurity）领域的解决方案，成为一款具备功能安全、预期功能安全（SOTIF）、信息安全（Cybersecurity）三大领域开发的专业安全开发平台。

功能安全
Medini Analyze工具是专业的功能安全开发平台工具，符合ISO 26262开发流程，功能覆盖ISO 26262要求的开发活动，它的主要功能如下：

• 项目定义
♦ 支持功能定义、行为设计、初始架构建模
♦ 提供HAZOP模板用于失效识别等

• 危害分析和风险评估
♦ 提供驾驶场景数据库以支持HARA 情景分析

• 安全需求开发
♦ 支持基于安全分析（如FTA）的安全需求导出，确保安全需求不被遗漏
♦ 支持创建UML需求树，满足可视化的需求追溯关系建立和维护
♦ 支持和DOORS、DNG、PTC等需求管理工具进行交互

• 安全架构设计
♦ 支持标准SysML语言的架构设计，支持向架构分配需求，实现需求和设计的追溯性
♦ 支持导入Simulink、SCADE、EA、Raphsody等主流建模软件的输出模型问价

• FMEA
♦ 支持基于 SysML 的设计模型生成FMEA表格，确保FMEA 和其分析对象（架构）直接的关联性、也便于架构优化时更新FMEA
♦ 支持VDA-AIAG标准的FMEA，集成ISOS26262 part5 appendix D安全机制

• FTA
♦ 支持基于SysML的设计模型创建 FTA，确保 FTA 和其分析对象（架构）直接的关联
♦ 支持割集分析以及PMHF计算

• 硬件指标计算FMEDA
提供SN29500、IEC62380 以及ISO 26262:2018新推荐的IEC 61709等5个失效率计算手册

预期功能安全SOTIF
• 基于SysML的系统架构搭建
• 基于引导词的limitation识别
• 触发条件识别与定义
• 支持STPA分析

信息安全Cybersecurity

Medini Analyze支持基于模型的系统化信息安全威胁识别和分析，并提供信息安全分析模板。

• 基于SysML进行上下文定义
♦ 架构建模
♦ 资产识别

• 威胁识别
• 攻击树分析
• TARA分析
• 安全目标与安全需求管理