摘要
嵌入式系统被广泛应用在军事领域中,其稳定性关乎着武器装备的战斗力。如何全面、可靠地验证军用嵌入式系统是军用嵌入式系统软件测试的重要环节。嵌入式系统中存在大量随机中断的运用,令传统的系统软件测试手段难以对军用嵌入式系统进行全面准确的验证。将形式验证方法引入嵌入式系统验证,并以随机中断对系统运行可靠性影响为例进行了设计应用和分析,提出了一种可行的形式验证方法作为军用嵌入式系统检测验证的方法补充。
Embedded systems are widely applied in the military field,and their stability is crucial to the combat effectiveness of weapons and equipment.How to comprehensively and reliably verify the military embedded systems is an important link for testing the military embedded system software.A lot of applications for random interrupt exist in embedded system,it is difficult for the traditional system software test means to verify the military embedded system completely and accurately.The formal verification methods are introduced to verify the embedded system.The design application and analysis are carried out by taking the random interrupts on the reliability effect of system running as an example.A feasible formal verification method is proposed as the method supplementary for the verification of military embed system detection.
作者
邸亮
苏月怡
DI Liang;SU Yueyi(North Information Control Academy Group Co.LTD,Nanjing 211100,China)
出处
《火力与指挥控制》
北大核心
2025年第9期190-197,共8页
Fire Control & Command Control
关键词
形式验证
中断程序
军用嵌入式系统验证
形式语言
Maude系统
formal verification
interrupt program
military embedded system verification
formal language
Maude system
