单片机的故障模型不只Stuck-at 和DC fault,另外还包括CF (Coupling Fault)PSF(patten sensetive fault)等等。当然这些故障模型用imarchC算法或者其改进算法可以检测,配合冗余校验和适当编码还可以纠正。然而这只是60730 附件H中的一小部分(335附件R引用730的附件H)。
另外还要参考IEC61508的部分要求。
software evaluation比较麻烦,国内似乎做的不多。
现在很多时候都绕过这一部分评估。
但是随着家电功能的越来越复杂,软件的安全作用越来越关键,这个评估早晚还是要做的。
Quote:
引用第11楼neutron于2010-02-22 15:14发表的 关于家电软件评估-4 :
6. 控制软件故障/错误的技术和措施
这是考虑软件运行期间遇到故障/错误怎么办的问题。
所谓故障fault,基本上是有单片机内部元器件问题引起软件工作不正常,通常划归为两种:stuck-at滞位和DC故障。
.......