《软件健康管理在ADIRU中的应用及验证》PDF+DOC

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

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。