资源描述：
《一种分布式实时嵌入式系统的调度分析算法》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第36卷第3期电子科技大学学报Vol.36No.32007年6月JournalofUniversityofElectronicScienceandTechnologyofChinaJun.2007一种分布式实时嵌入式系统的调度分析算法1,22张海涛，艾云峰(1.河南科技大学电子信息工程学院河南洛阳471003;2.中国科学院自动化研究所北京海淀区100080)【摘要】针对现有的基于Petri网的调度分析算法存在的不足，提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度；通过引入并行间隔，记录了调度序列中的并行变迁的相对执行时
2、间；在计算调度长度时，使用并行间隔作为并行变迁的执行时间，从而得到了正确的调度分析结果。关键词嵌入式系统;建模;Petri网;调度中图分类号TP311文献标识码AAnAlgorithmofSchedulingAnalysisforDistributedReal-TimeEmbeddedSystems1,22ZHANGHai-tao，AIYun-feng(1.ElectronicInformationEngineeringCollege,HenanUniversityofScienceandTechnologyLuoyangHenan471003)2.InstituteofAuto
3、mation,ChineseAcademyofSciencesHaidianBeijing100080)AbstractAimingatthedeficienciesofexistingschedulinganalysisalgorithms,wepresentaschedulinganalysisalgorithmfordistributedreal-timeembeddedsystems.Thealgorithmusesrelativefiringdomaintodecidewhetherthetransitionsofschedulingsequenceareschedul
4、ed.Therelativeexecutingtimeofparalleltransitionisrecordedbyintroducingparallelspace.Thecorrectresultsofschedulinganalysiscanbeobtainedbytakingspaceasexecutingtimeofparalleltransition.Keywordsembeddedsystem;modeling;Petrinets;scheduling在设计复杂的分布式嵌入式系统时，使用形式个NP完全问题，必须进行调度分析。而在RBTPN语言建模是非常必要的。通过对
5、形式模型的有效化中，现有的适用于单处理器的调度分析算法存在着和校验，可以尽早发现许多设计中的问题，避免在明显的问题，在其被应用到分布式嵌入式系统后，设计软硬件的最后阶段才发现问题所带来的经济和无法计算出正确的调度长度。本文详细分析了现有时间上的损失。Petri网具有极强的建模能力，可以调度分析算法的不足，提出了新的适宜分布式实时[1]描述并行、同步、冲突、异步等各种事件。目前，嵌入式系统的调度分析算法。该调度分析算法通过Petri网已经被应用于嵌入式系统的建模、评估和分引入并行间隔，不改变原有的状态类，可以得到正[2-3]析。确的调度长度。在嵌入式实时系统中，调度起着关键的作用。
6、1基于资源的时间Petri网目前，大多数使用情况下，Petri网建模调度的方法主要适用于单处理器[4-6]，但基于资源的Petri网基于资源的时间Petri网是由多个元素描述的有(ResourcesBasedTimePetriNets，RBTPN)[7]通过在向图GP={,,,,,}TIOMR，其中P={,,,}pp"pRBTPN0SR12n表示计算和通信任务的变迁上附着所占用的处理器是位置的有限集合，n>0为位置的个数；或通信资源，以及相应的优先级，可以直观地建模Tttt={,,,}12"m是变迁的有限集合，m>0为变迁的分布式嵌入式系统的实时调度。个数，且PT∩=∅；I:PT
7、N×→是输入函数，定然而，由于分布式嵌入式系统的调度问题是一义了从P到T的有向弧的权的集合；OTPN:×→收稿日期:2006−05−09基金项目:国家自然科学基金资助项目(60334020)作者简介:张海涛(1972−),男,博士,主要从事智能控制和嵌入式系统方面的研究.490电子科技大学学报第36卷是输出函数，定义了从T到P的有向弧的权的集合；都是相对的时间间隔，如果变迁在tτ时刻使能，那issM:PN→是最初的标识函数，定义了初始时刻、么t仅仅可以在间隔(,τ++ατβ)或(
