资源描述：
《WCET分析的实时系统轨迹获取技术》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、ISSN1000-9825,CODENRUXUEWE-mail:jos@iscas.ac.cnJournalofSoftware,Vol.17,No.5,May2006,pp.1232−1240http://www.jos.org.cnDOI:10.1360/jos171232Tel/Fax:+86-10-62562563©2006byJournalofSoftware.Allrightsreserved.∗基于WCET分析的实时系统轨迹获取技术+王馨,姬孟洛,王戟,齐治昌(国防科学技术大学计算机学院,湖南长沙410073)TraceAcquirementTec
2、hnologyofReal-TimeSystemsBasedonWCETAnalysis+WANGXin,JIMeng-Luo,WANGJi,QIZhi-Chang(SchoolofComputer,NationalUniversityofDefenseTechnology,Changsha410073,China)+Correspondingauthor:Phn:+86-731-4573637,Fax:+86-731-4575802,E-mail:jiwang@nudt.edu.cn,http://www.nudt.edu.cnWangX,JiML,WangJ
3、,QiZC.Traceacquirementtechnologyofreal-timesystemsbasedonWCETanalysis.JournalofSoftware,2006,17(5):1232−1240.http://www.jos.org.cn/1000-9825/17/1232.htmAbstract:Timingbehaviorsarecrucialforreal-timesystems.Inordertoweakenorevenremovethetimingimpactoftheinsertedassertionsduringtesting
4、,anewmonitoringschemaisproposed,whichhaslittletimeintrusivenessthanthesoftwaremonitoringandsupportstotestthesystemcompletely.Furthermore,aWCET(worst-caseexecutiontime)analysisbasedontimecompensationmethodispresented,whichcorrectstherecordedtimeofeventsbasedontheaccurateexecutiontimea
5、nalysisofassertions.Keywords:real-timesystem;testoracle;WCET(worst-caseexecutiontime)analysis;programmonitoring摘要:时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-caseexecutiontime)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影
6、响基础上,给出时间补偿.关键词:实时系统;测试预言;WCET(worst-caseexecutiontime)分析;程序监控中图法分类号:TP316文献标识码:A实时系统目前越来越多地应用于人们生活的各个方面,特别是在航空航天、医疗监控、军事指挥和武器装备控制中.在这些领域内,对实时系统的安全性和实时性要求是非常严格的,一旦软件控制出现问题,其后果可能不堪设想,轻则造成经济损失,重则需要付出生命代价.为此,这类软件在正式投入使用之前必须经过彻底的测试,对其正确性加以保证,其中不可避免地要涉及对实时系统轨迹的获取以及对轨迹正确性的验证,即测试预言(testorac
7、le).测试预言的输入即实时系统的轨迹,为了获取此轨迹,要么在系统外部进行监测,要么在系统内部插入断言∗本文为2005年中国计算机大会推荐优秀论文.SupportedbytheNationalNaturalScienceFoundationofChinaunderGrantNos.60233020,90104007,60303013(国家自然科学基金);theNationalHigh-TechResearchandDevelopmentPlanofChinaunderGrantNo.2005AA113130(国家高技术研究发展计划(863));theProgra
8、mforNewCentu
