结论性的方法减少失败率在安全至上的系统。
ISO 26262标准定义了简单的指标来评估设计的“安全”定义的安全目标、安全机制和故障指标。然而,确定这些指标是很困难的。与模拟,不知道如果设计已经足够模拟或给予足够的输入,形式验证最终确定故障是否安全,使形式分析的失败率超过任意数量由故障仿真。正式的分析工具,运用SLEC断层修剪技术是一个理想的解决方案,故障分析,确定诊断的报道。论述了如何使用正式验证静态和瞬态故障分析生成ISO 26262安全指标,首先描述故障修剪,然后使用SLEC更复杂的故障注入。
点击阅读更多在这里。
|
|
|
|
|
|
|
|
|
|
留下一个回复