来源：期刊VIP网 时间：
作者：邸亮;苏月怡;
单位：北方信息控制研究院集团有限公司;
摘要：嵌入式系统被广泛应用在军事领域中，其稳定性关乎着武器装备的战斗力。如何全面、可靠地验证军用嵌入式系统是军用嵌入式系统软件测试的重要环节。嵌入式系统中存在大量随机中断的运用，令传统的系统软件测试手段难以对军用嵌入式系统进行全面准确的验证。将形式验证方法引入嵌入式系统验证，并以随机中断对系统运行可靠性影响为例进行了设计应用和分析，提出了一种可行的形式验证方法作为军用嵌入式系统检测验证的方法补充。
关键词：形式验证;;中断程序;;军用嵌入式系统验证;;形式语言;;Maude系统
