ABSTRACT
Over the last years, DVS (Dynamic Voltage Scaling) hasbeen adopted as an effective technique for reducing energyconsumption in embedded systems. In the context of hard real-time embedded systems, several scheduling approaches have been developed to address voltage scaling together with stringent timing constraints. However, intertask relations as well as overheads, such as preemptions and frequency/voltage switchings, have been neglected, in such a way that those approaches may generate schedules that may not properly meet system constraints. This work presents a method for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations. The proposed work adopts a formal model based on time Petri nets in order to find a feasible schedule using apre-runtime approach that satisfies timing and energy constraints.
- F. Yao et al. A scheduling model for reduced cpu energy. IEEE Annual Foundations of Computer Science, pages 374--382, 1995. Google ScholarDigital Library
- R. Barreto et al. A time petri net-based approach for software synthesis considering overheads. SBAC-PAD, pages 184--191, October 2005.Google ScholarDigital Library
- L. Chandrasena et al. An Energy Efficient Rate Selection Algorithm for Voltage Quantized Dynamic Voltage Scaling. ISSS, 2001. Google ScholarDigital Library
- M. Garey and D. Johnson. Computer and Intractability: a Guide to the Theory of the NP-Completeness. W. H. Freeman and Company, 1979. Google ScholarDigital Library
- M. N. Oliveira Jr. Desenvolvimento de Um Protótipo para a Medida Não Invasiva da Saturação Arterial de Oxigênio em Humanos-Oxímetro de Pulso (in portuguese). MSc Thesis, UFPE, August 1998.Google Scholar
- R. Jejurikar and R. Gupta. Energy Aware Non-preemptive Scheduling for Hard Real-Time Systems. ECRTS, pages 21--30, 2005. Google ScholarDigital Library
- L. Leung et al. Exploiting Dynamic Workload Variation in Low Energy Preemptive Task Scheduling. DATE, pages 634--639 2005. Google ScholarDigital Library
- J. Xu. On inspection and verification of software with timing requirements. IEEE Trans. on Software Engineering, 29(8):705--720, August 2003. Google ScholarDigital Library
- W. Kwon et al. Optimal Voltage Allocation Techniques for Dynamically Variable Voltage Processors. DAC, pages 2--6, June 2003Google ScholarDigital Library
- P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems. PhD Thesis, Univ. of Liege, Nov. 1994.Google Scholar
- T. Murata. Petri nets: Properties, analysis and applications. Proc. IEEE, 77(4):541--580, April 1989.Google ScholarCross Ref
- H. Aydin et al. Power-aware scheduling for periodic real-time tasks. IEEE Trans. on Computers, 53(5):584--600, May 2004. Google ScholarDigital Library
- D. Shin and J. Kim. Power-Aware Scheduling of Conditional Task Graphs in Real-Time Multiprocessor Systems. ISLPED, August 2003. Google ScholarDigital Library
- J. Xu and D. Parnas. Priority scheduling versus pre-run-time scheduling. Real-Time Systems, 18(1):7--23, Kluwer Academic Publishers, January 2000. Google ScholarDigital Library
- P. Merlin and D. J. Faber. Recoverability of communication protocols. IEEE Trans. Comm., 24(9):1036--1043, Sep. 1976.Google ScholarCross Ref
- A. Valmari. The state explosion problem. newblock LNCS: Lectures on Petri Nets I: Basic Models, 1491:429--528, June 1998. Google ScholarDigital Library
- N. Kim et al. Visual Assessment of a Real-Time Systems Design: A Case Study on a CNC Controller. RTSS, pages 300--310, 1996. Google ScholarDigital Library
- T. Ishihara and H. Yasuura. Voltage Scheduling Problem for Dynamically Variable Voltage Processors. ISLPED,1998. Google ScholarDigital Library
- Y. Cai et al. Workload-Ahead-Driven Online Energy Minimization Techniques for Battery-Powered Embedded Systems with Time-Constraints. ACM Trans. on DAES , pages 1--23, July 2006. Google ScholarDigital Library
- B. Mochocki et al. A realistic variable voltage scheduling model for real-time applications. ICCAD , pages 726--731, 2002. Google ScholarDigital Library
- T. Phatrapornnant et al. Reducing Jitter in Embedded Systems Employing a Time-Triggered Software Architecture and Dynamic Voltage Scaling. IEEE Trans. on Computers, 55(2):113--24 , 2006. Google ScholarDigital Library
Index Terms
- A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations
Recommendations
A hybrid DVS scheduling approach for hard real-time systems
SMC'09: Proceedings of the 2009 IEEE international conference on Systems, Man and CyberneticsDynamic Voltage Scaling (DVS) has been largely adopted as an effective technology for reducing energy consumption in embedded systems. Since the usage of DVS may affect the timing constraints of a hard real-time system, over the last decade, several pre-...
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads
Dynamic voltage scaling (DVS) has been adopted as an effective technique for reducing energy consumption in embedded systems. Although several scheduling approaches have been developed to address voltage scaling together with stringent timing ...
Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling
Many embedded systems are constrained by limits on power consumption, which are reflected in the design and implementation for conserving their energy utilization. Dynamic voltage scaling (DVS) has become a promising method for embedded systems to ...
Comments