ISO 26262基于模型的优化设计:框架和案例研究

遵守ISO 26262功能安全标准要求在验证和验证、可追溯性、文档编制和工具选择方面的严格程度高于当前汽车行业的实践。评估ISO 26262合规性需要考虑基于模型的设计的关键属性，如可执行规范、基于模型的验证和自动代码生成。本报告介绍了差距分析的框架，以及使用该框架进行的案例研究。

记录时间:2013年5月9日