Abstract
Embedded hard real-time systems have stringent timing constraints that must be satisfied for the correct functioning of the system. Additionally, there are systems where energy is another constraint that must also be satisfied. In order to satisfy such requirements, a pre-runtime scheduling is presented to find a feasible schedule satisfying both constraints. The proposed approach uses state space exploration for finding feasible schedules taking into account timing and energy constraints. The main problem with such method 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. EZPetri is an Eclipse perspective for Petri nets based on PNML. It provides facilities for integrating Petri net applications and existing Petri net tools. In this paper we demonstrate how the plug-in technology of Eclipse was employed to integrate the pre-runtime scheduling synthesis framework with the EZPetri environment. In order to depict the practical usability of the proposed approach, a pulse-oximeter case study is adopted to show how to find a feasible schedule.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arcoverde Jr., A., Alves Jr., G., Lima, R., Maciel, P., Oliveira Jr., M., Barreto, R.: EZPetri: A Petri net interchange framework for Eclipse based on PNML. In: First International Symposium on Leveraging Applications of Formal Method (ISoLA 2004) (October 2004)
Altisen, K., Göbler, G., Pnueli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: IEEE Real-Time System Symposium, December 1999, pp. 154–163 (1999)
AlEnawy, T.A.: H. Aydin On Energy-Constrained Real-Time Scheduling. In: Proceedings of the 16th EuroMicro Conference on Real-Time Systems (ECRTS 2004), Catania, Italy (June 2004)
Blind Review
Godefroid, P.: Partial Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. PhD Thesis, University of Liege (November 1994)
Larsen, K., Pettersson, P., Yi, W.: Uppaal in a Nutshell Int. Journal on Software Tools for Technology Transfer 1(1-2), 134–152 (1997)
Lipcoll, D., Lawrie, D., Sameh, A.: Eclipse Platform Technical Overview Object Technology International Inc. (July 2001)
Merlin, P., Faber, D.J.: Recoverability of communication protocols: Implicatons of a theoretical study. IEEE Transactions on Communications 24(9), 1036–1043 (1976)
Oliveira, M.N.: Júnior Desenvolvimento de Um Protótipo para a Medida Não Invasiva da Saturação Arterial de Oxigênio em Humanos - Oxímetro de Pulso. MSc Thesis, UFPE (August 1998) (in portuguese)
Mok, K.: Fundamental Design Problems of Distributed Systems for the Hard- Real-Time Environment. PhD Thesis, MIT (May 1983)
Xu, J., Parnas, D.: Scheduling processes with release times, deadlines, precedence, and exclusion relations. IEEE Trans. Soft. Engineering 16(3), 360–369 (1990)
Xu, J., Parnas, D.: On satisfying timing constraints in hard real-time systems. IEEE Trans. Soft. Engineering 1(19), 70–84 (1993)
Wang, J., Ravindran, B., Martin, T.: A Power-Aware, Best-Effort Real-Time Task Scheduling Algorithm. In: IEEE Workshop on Software Technologies for Future Embedded Systems, May 2003, p. 21 (2003)
Weber, M., Kindler, E.: The Petri Net Markup Language. Petri net Technology Communication Systems. In: Advances in Petri Nets (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tavares, E. et al. (2005). An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints. In: Paliouras, V., Vounckx, J., Verkest, D. (eds) Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation. PATMOS 2005. Lecture Notes in Computer Science, vol 3728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556930_40
Download citation
DOI: https://doi.org/10.1007/11556930_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29013-1
Online ISBN: 978-3-540-32080-7
eBook Packages: Computer ScienceComputer Science (R0)