Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads

Microprocessors and Microsystems

Volumn 32, Issue 8, 2008, Pages 460-473

  Tavares, Eduardo ^a   Maciel, Paulo ^a   Silva, Bruno ^a  

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

Dynamic voltage scaling; Energy consumption; Formal methods; Hard real time system; Scheduling

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH THEORY; INTEGRATED CIRCUITS; MARINE BIOLOGY; PETRI NETS; SCHEDULING; TIMING CIRCUITS; VOLTAGE STABILIZING CIRCUITS;

ADDRESS VOLTAGES; AND VERIFICATIONS; AS SYSTEMS; DYNAMIC VOLTAGE SCALING; ENERGY CONSUMPTION; ENERGY CONSUMPTIONS; FORMAL MODELS; HARD REAL-TIME SYSTEM; MODELING; PRECISE; REDUCING ENERGY CONSUMPTIONS; RUNTIME METHODS; SCHEDULE GENERATIONS; TASK RELATIONS; TIME PETRI NETS; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 54549106752     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.micpro.2008.07.001     Document Type: Article

References (26)

1. Andrei A., Schmitz M., Eles P., Peng Z., and Al-Hashimi B.M. Overhead-conscious voltage selection for dynamic and leakage energy reduction of time-constrained systems. IEE Proc. Comp. Digital Tech. 152 1 (2005) 28-38
2. Aydin H., Melhem R., Mossé D., and Alvarez-Mejía P. Power-aware scheduling for periodic real-time tasks. IEEE Trans. Comp. 53 5 (2004) 584-600
3. Y. Cai, M. Schmitz, B. Al-Hashimi, S. Reddy, Workload-ahead-driven online energy minimization techniques for battery-powered embedded systems with time-constraints, ACM Trans. DAES (2006) 1-23.
4. L. Cortés, P. Eles, Z. Peng, Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy constraints, DAC'05 (2005) 13-17.
5. Garey M., and Johnson D. Computer and Intractability: A Guide to the Theory of the NP-Completeness (1979), W.H. Freeman and Company
6. P. Godefroid, Partial Order Methods for the Verification of Concurrent Systems, PhD Thesis, University of Liege, 1994.
7. T. Ishihara, H. Yasuura, Voltage Scheduling Problem for Dynamically Variable Voltage Processors, in: ISLPED'98, 1998.
8. Jejurikar R., and Gupta R. Energy-aware task scheduling with task synchronization for embedded real-time systems. IEEE Trans. Comput-Aid Des. Integ. Circ. Sys. 25 6 (2006) 1024-1037
9. N. Kim, M. Ryu, S. Hong, M. Saksena, C. Choi, H. Shin, Visual assessment of a real-time systems design: a case study on a cnc controller, in: RTSS'96, 1996, pp. 300-310.
10. W. Kim, K. Jihong, M. Sang, Preemption-aware dynamic voltage scaling in hard real-time systems, in: ISLPED'04, 2004, pp. 393-398.
11. W. Kwon, T. Kim, Optimal voltage allocation techniques for dynamically variable voltage processors, in: DAC'03, 2003, pp. 2-6.
12. Leveson N., and Stolzy J. Safety analysis using Petri nets. IEEE Trans. Soft. Eng. 13 3 (1987) 386-397
13. G. Madl, N. Dutt, Domain-specific modeling of power aware distributed real-time embedded systems, in: SAMOS'06, 2006.
14. Merlin P., and Faber D. Recoverability of communication protocols. IEEE Trans. Comm. 24 9 (1976) 1036-1043
15. Mochocki B., Hu X., and Gang Q. Transition-overhead-aware voltage scheduling for fixed-priority real-time systems. ACM Trans. DAES 12 2 (2007) 1084-4309
16. Murata T. Petri nets: properties, analysis and applications. Proc. IEEE 77 4 (1989) 541-580
17. M. 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, 1998.
18. Phatrapornnant T., and Pont M. Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling. IEEE Trans. Comp. 55 2 (2006) 113-124
19. R. Passos, C. Coelho Jr., A. Loureiro, R. Mini, Dynamic power management in wireless sensor networks: an application-driven approach, in: WONS'05, 2005.
20. R. Prathipati, Energy efficient scheduling techniques for real-time embedded systems, MSc Thesis, Texas A&M University, 2004.
21. Quan G., and Hu X. Energy efficient DVS schedule for fixed-priority real-time systems. ACM Trans. Emb. Comp. Sys. (TECS) 6 4 (2007)
22. T. Tavares, P. Maciel, AMALGHMA and DENTES tools. , 2008.
23. Valmari A. The state explosion problem. LNCS: Lect. Petri Nets I: Basic Models 1491 (1998) 429-528
24. Xu J. On inspection and verification of software with timing requirements. IEEE Trans. Soft. Eng. 29 8 (2003) 705-720
25. Xu J., and Parnas D. Priority scheduling versus pre-run-time scheduling. Real-Time Syst. 18 1 (2000) 7-23 Kluwer Academic Publishers
26. Yao F., Demers A., and Shenker S. A scheduling model for reduced cpu energy. IEEE Ann. Found. Comp. Sci. (1995) 374-382