实时嵌入式系统的竞态条件及其分析方法研究

CORC > 厦门大学 > 信息技术－已发表论文

	实时嵌入式系统的竞态条件及其分析方法研究
	陈艳 ; 徐晓峰 ; 李晓潮 ; 郭东辉
刊名	http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=JFYZ201007010&dbname=CJFQ2010
	2010-07-15
关键词	实时嵌入式系统执行序列竞态条件竞态集竞态条件图
英文摘要	竞态条件使得多个任务对共享资源进行操作的先后顺序在不同的执行情况下发生改变,从而可能引起系统异常.为了分析实时嵌入式系统可能出现的竞态条件及其所带来的影响,根据目标系统的执行特征,建立系统的执行序列模型,对相关的竞态条件进行精确描述,并在此基础上提出一种竞态集来存储和分析系统的竞态条件,然后利用获取到的竞态集,构建系统的竞态条件图来预测系统潜在的竞态同步关系.实验分析表明该方法能够有效地分析和预测目标系统各种可能的竞态同步关系及其所带来的不同执行情况和结果.
语种	中文
内容类型	期刊论文
源URL	[http://dspace.xmu.edu.cn/handle/2288/19146]
专题	信息技术－已发表论文
推荐引用方式 GB/T 7714	陈艳,徐晓峰,李晓潮,等. 实时嵌入式系统的竞态条件及其分析方法研究[J]. http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=JFYZ201007010&dbname=CJFQ2010,2010.
APA	陈艳,徐晓峰,李晓潮,&郭东辉.(2010).实时嵌入式系统的竞态条件及其分析方法研究.http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=JFYZ201007010&dbname=CJFQ2010.
MLA	陈艳,et al."实时嵌入式系统的竞态条件及其分析方法研究".http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=JFYZ201007010&dbname=CJFQ2010 (2010).