A NOVEL APPROACH FOR OFF-LINE MULTIPROCESSOR SCHEDULING IN EMBEDDED HARD REAL-TIME SYSTEMS

机译：嵌入式硬实时系统中离线多处理器调度的新方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

There are two general approaches for scheduling tasks in real-time systems: runtime and pre-runtime scheduling. However, there are several situations where the runtime approach does not find a feasible schedule even if such a schedule exists. The proposed approach uses state space exploration for finding a pre-runtime scheduling. The main problem with such methods is the space size, which can grow exponentially. This paper shows how to minimize this problem, and presents a depth-first search method on a timed labeled transition system derived from the time Petri net model.

机译：在实时系统中，有两种通用的任务调度方法：运行时调度和运行前调度。但是，在某些情况下，即使存在这样的时间表，运行时方法也找不到可行的时间表。所提出的方法使用状态空间探索来找到运行前调度。这种方法的主要问题是空间大小，它可以成倍增长。本文展示了如何最小化此问题，并提出了一种基于时间Petri网模型的定时标记过渡系统的深度优先搜索方法。

著录项

来源
《IFIP 150; IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems(DIPES 2004); 20040822-27; Toulouse(FR)》|2004年|P.157-166|共10页
会议地点 Toulouse(FR)
作者
Raimundo Barreto; Paulo Maciel; Manila Neves; Eduardo Tavares; Ricardo Lima;
展开▼
作者单位

Centro de Informatica (CIn) at Universidade Federal de Pernambuco (UFPE). PO Box 7851, 50732-970 Recife-PE-Brazil;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类新技术的应用;
关键词
embedded real-time systems; scheduling; formal methods; time petri nets;

机译：嵌入式实时系统;调度;形式化方法;时间Petri网;

相似文献

外文文献
中文文献
专利

1. An Efficient Fault-Tolerant Scheduling Approach with Energy Minimization for Hard Real-Time Embedded Systems [J] . Barkahoum Kada, Hamoudi Kalla Cybernetics and information technologies: CIT . 2019,第4期

机译：一种有效的容错调度方法，具有硬实时嵌入式系统的能量最小化
2. LLFpi: Schedulability-Improved LLF Algorithm in Multiprocessor Real-Time Embedded Systems [J] . Sangchul Han, Jinsoo Kim, Junghwan Kim, International Journal of Applied Engineering Research . 2016,第16aPta2期

机译：LLFpi：多处理器实时嵌入式系统中可调度性改进的LLF算法
3. Energy-efficient tasks scheduling algorithm for real-time multiprocessor embedded systems [J] . Hwang-Cheng Wang, Isaac Woungang, Cheng-Wen Yao, Journal of supercomputing . 2012,第2期

机译：实时多处理器嵌入式系统的节能任务调度算法
4. A NOVEL APPROACH FOR OFF-LINE MULTIPROCESSOR SCHEDULING IN EMBEDDED HARD REAL-TIME SYSTEMS [C] . Raimundo Barreto, Paulo Maciel, Manila Neves, IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems . 2004

机译：嵌入式硬实时系统中离线多处理器调度的新方法
5. Formalization of uniprocessor and multiprocessor scheduling of real-time systems using supervisory control of discrete-event systems. [D] . Janarthanan, Vasudevan. 2007

机译：使用离散事件系统的监督控制，对实时系统的单处理器和多处理器调度进行形式化。
6. Implementing a Chaotic Cryptosystem by Performing Parallel Computing on Embedded Systems with Multiprocessors [O] . Abraham Flores-Vergara, Everardo Inzunza-González, Enrique Efren García-Guerrero, 2019

机译：通过在具有多处理器的嵌入式系统上执行并行计算来实现混沌密码系统
7. A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems [O] . Raimundo Barreto, Paulo Maciel, Marília Neves, -1

机译：嵌入式硬实时系统中的离线多处理器调度的新方法

A NOVEL APPROACH FOR OFF-LINE MULTIPROCESSOR SCHEDULING IN EMBEDDED HARD REAL-TIME SYSTEMS

摘要

著录项

相似文献

相关主题

期刊订阅