嵌入式软件可信性的设计和验证方法

嵌入式软件可信性的设计和验证方法摘要目前,嵌入式系统已广泛地应用于控制系统部件和智能仪表中,在控制系统部件对嵌入式系统依赖性增强的同时,对嵌入式软件质量的要求也越来越高,尤其是可靠性的要求。为此,IE