| 一种分布式实时嵌入式系统的调度分析算法 |
| |
| 引用本文： | 张海涛,艾云峰.一种分布式实时嵌入式系统的调度分析算法[J].电子科技大学学报(社会科学版),2007(3). |
| |
| 作者姓名： | 张海涛 艾云峰 |
| |
| 作者单位： | 河南科技大学电子信息工程学院，中国科学院自动化研究所 河南洛阳471003 中国科学院自动化研究所北京海淀区100080，北京海淀区100080 |
| |
| 基金项目： | 国家自然科学基金资助项目(60334020) |
| |
| 摘 要： | 针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。
|
| 关 键 词： | 嵌入式系统 建模 Petri网 调度 |
An Algorithm of Scheduling Analysis for Distributed Real-Time Embedded Systems |
| |
| ZHANG Hai-tao,AI Yun-feng.An Algorithm of Scheduling Analysis for Distributed Real-Time Embedded Systems[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2007(3). |
| |
| Authors: | ZHANG Hai-tao AI Yun-feng |
| |
| Institution: | ZHANG Hai-tao1,2,AI Yun-feng2 |
| |
| Abstract: | Aiming at the deficiencies of existing scheduling analysis algorithms, we present a scheduling analysis algorithm for distributed real-time embedded systems. The algorithm uses relative firing domain to decide whether the transitions of scheduling sequence are scheduled. The relative executing time of parallel transition is recorded by introducing parallel space. The correct results of scheduling analysis can be obtained by taking space as executing time of parallel transition. |
| |
| Keywords: | embedded system modeling Petri nets scheduling |
| 本文献已被 CNKI 等数据库收录！ |
