软件健康管理在ADIRU中的应用及验证

现代嵌入系统软件复杂性逐渐增加,使发现和处理运行时软件错误的难度也随之增大,实际应用表明,仍有少数的软件运行时错误并不能通过常规测试方法发现。在嵌入系统软件设计中引入了软件健康管理的方法,来增强嵌入系统软件的可靠性,该方法通过在嵌入系统软件中构建运行时故障监测、诊断和恢复模块来实现。为了验证该方法的有效性,以2005年马来西亚航空公司124航班机载ADIRU发生的软件故障为例,使用AADL语言为ADIRU建立软件模型,并通过该模型验证了软件健康管理方法的有效性。