Abstract
In this paper, a pre-runtime scheduling approach for hard real-time embedded systems with multiple processors is presented considering stringent timing and energy constraints. This paper adopts a formal approach, based on time Petri nets, for synthesizing feasible schedules.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
REFERENCES
T. Abdelzaher and K. Shin. Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distributed Systems, 10(11): 1179–1191, Nov 1999.
T. A. AlEnawy and H. Aydin. On energy-constrained real-time scheduling. Proceedings of the 16th EuroMicro Conference on Real-Time Systems (ECRTS 04), June 2004.
R. Barreto. A Time Petri Net-Based Methodology for Embedded Hard Real-Time Software Synthesis. PhD Thesis, Centro de Informfitica-UFPE, April 2005.
P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems. PhD Thesis, University of Liege, Nov. 1994.
M. Nogueira Oliveira Júnior. Desenvolvimento de Um Prototipo para a Medida NSo Invasiva da Saturacao Arterial de Oxigenio em Humanos-Oximetro de Pulso (in portuguese). MSc Thesis, Departamento de Biofisica e Radiobiologia, Universidade Federal de Pernambuco, August 1998.
P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Trans. Comm., 24(9): 1036–1043, Sep. 1976.
A. K. Mok. FundamentaI Design Problems of Distributed Systems for the Hard-Real-Time Environment. PhD Thesis, MIT, May 1983.
V. Swaminathan and K. Chakrabarty. Pruning-based, energy-optimal, deterministic i/o device scheduling for hard real-time systems. ACM Trans. Embedded Comput. Syst. 4(1), pages 141–167, 2005.
J. Xu and D. Pamas. Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. Soft. Engineering, 16(3):360–369, March 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Tavares, E. et al. (2006). Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_27
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_27
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)