目前，嵌入式系统已广泛地应用于控制系统部件和智能仪表中，在控制系统部件对嵌入式系统依赖性增强的同时，对嵌入式软件质量的要求也越来越高，尤其是可靠性的要求。为此，IEC61508 等功能安全标准通过严格规定软件安全生命周期中各阶段应采用的技术和措施，以期提高软件的可靠性，保证软件质量。本文给出一般性的嵌入式软件可信性的设计和验证方法。
