|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
Modeling and analysis for interrupt behaviors of embedded systems based on EDSPN
点击次数：
论文类型：期刊论文
发表时间：2014-10-01
发表刊物：Dongbei Daxue Xuebao/Journal of Northeastern University
收录刊物：EI、PKU、ISTIC、Scopus
卷号：35
页面范围：201-206
ISSN号：10053026
摘要：Embedded systems achieve interactions with peripherals and environment, handle exceptions through the interrupt mechanism, and thus interrupt-driven systems. But due to the randomness of trigger method, response with priority and preemptive execution, interrupt behaviors are hard to accurately predict and interrupt defects are difficult to track. Once a system error is caused by interrupt, it will lead to crashes of the entire embedded system. In order to solve this problem, a modeling method of interrupt behavior is proposed based on extended deterministic and stochastic Petri net (EDSPN). By introducing non-deterministic time transitions, traditional time semantic of DSPN model is extended, making it suitable for modeling interruption behavior. In addition, a model checking method based on the continuous stochastic logic (CSL) for EDSPN model is given. Translating EDSPN compressing reachability graph into continuous time Markov chain and making it suitable for CSL to solve. Finally, through the experiment, analyze how the parameters such as interrupt trigger frequency and interrupt service time influence the performance of embedded system, and verify the effectiveness of our method. ?, 2014, Northeastern University. All right reserved.