Dynamic Model Checking for Real-time Embedded Systems Concurrent Program

摘要：

　　In recent years,the complexity of designing real-time embedded systems continues to increase with their growing automation.Concurrent programming methods have been widely used in designing.However,due to real-time embedded system interrupts and threads overlap,there is always a lack of effective program testing tools.Therefore we design a testing tool for real-time embedded systems dynamic concurrent programs,in which we use Labeled Transition Systems as a system model of concurrent programs,give formal definition for common concurrency errors,and use partial order reduction algorithm to reduce the state space of programs.Finally we realize the testing tool which can detect multi-threaded and multi-interrupt concurrent program errors.

关键词： Concurrent Program Multiple Interrupts Multithread Concurrency Errors

作者: Fu xiufeng Ai Yunfeng

作者单位: Institute 706,Second of China Aerospace Science and Industry Corporation,Beijing,100854 College of Engineering & Information Technology,University of Chinese Academy of Sciences,Beijing,10

会议类型: 国内会议

会议名称: 第十一届中国通信学会学术年会

会议地点: 南昌

会议语种:英文

页码: 1-7

在线出版日期: 2015-10-28（万方平台首次上网日期，不代表论文的发表时间）