实时嵌入式系统并发程序检测方法研究

作     者：梁昊 艾云峰 LIANG Hao;AI Yunfeng

作者机构：装备学院研究生管理大队北京101416 中国科学院大学工程管理与信息技术学院北京100049 

基　　金：部委级资助项目 

出 版 物：《装备学院学报》 (Journal of Equipment Academy)

年 卷 期：2014年第25卷第4期

页      码：94-100页

摘      要：近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但目前在基于实时嵌入式系统应用程序开发以及测试的过程中,由于中断和线程的相互交叠,始终缺乏有效的针对实时嵌入式系统的并发程序测试方法。本文设计了面向实时嵌入式系统并发程序动态测试的算法,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。

主 题 词：实时嵌入式系统 并发程序 多重中断 多线程 并发错误 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3783/j.issn.2095-3828.2014.04.021

馆 藏 号：203397225...