An environment for measuring and scheduling time-critical embedded systems with energy constraints

Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008

Volumn , Issue , 2008, Pages 291-300

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

^a FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; FORMAL METHODS; GRAPH THEORY; INTEGRATED CIRCUITS; MARINE BIOLOGY; PETRI NETS; SCHEDULING; SOFTWARE ENGINEERING; TIMING CIRCUITS;

AND VERIFICATIONS; AUTOMATIC ASSISTANCES; CRITICAL SYSTEMS; DESIGN ACTIVITIES; DYNAMIC VOLTAGE SCALING; ENERGY CONSTRAINTS; ENERGY CONSUMPTIONS; ENERGY SAVINGS; FORMAL MODELS; INTEGRATED TOOLS; ON TIMES; RUNTIME SCHEDULES; SCIENTIFIC COMMUNITIES; SYSTEM DESIGNS; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 58049141176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2008.47     Document Type: Conference Paper

References (24)

1. Amalghma and dentes tools. http://www.cin.ufpe.br/~eagt/tools. 2008.
2. H. Aydin et al. Power-aware scheduling for periodic real-time tasks. IEEE Trans. on Comp., 53(5):584-600, 2004.
3. R. Barreto et al. A time petri net-based approach for software synthesis considering overheads. SBAC-PAD, pages 184-191, 2005.
4. Y. Cai et al. Workload-ahead-driven online energy minimization techniques for battery-powered embedded systems with time-constraints. ACM Trans. Des. Autom. Electron. Syst., 12(1):5, 2007.
5. L. Cortés et al. Quasi-static assignment of voltages and optional cycles for maximizing rewards in real-time systems with energy constraints. In DAC'05, pages 889-894, 2005.
6. M. Garey and D. Johnson. Computer and Intractability: a Guide to the Theory of the NP-Completeness. W. H. Freeman and Company, 1979.
7. P. Godefroid. Partial Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem. PhD Thesis, University of Liege, Nov. 1994.
8. X. Hu, G. Quan, and B. Mochocki. A realistic variable voltage scheduling model for real-time applications. iccad, 00:726-731, 2002.
9. T. Ishihara and H. Yasuura. Voltage scheduling problem for dynamically variable voltage processors. In ISLPED'98, pages 197-202, 1998.
10. R. Jejurikar and R. Gupta. Energy aware non-preemptive scheduling for hard real-time systems. In ECRTS'05.
11. M. N. O. 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 (in portuguese). MSc Thesis, Departamento de Biofísica e Radiobiologia, Universidade Federal de Pernambuco, August 1998.
12. N. Kim et al. Visual assessment of a real-time systems design: A case study on a CNC controller. RTSS'96, pages 300-310, 1996.
13. W. Kwon and T. Kim. Optimal voltage allocation techniques for dynamically variable voltage processors. ACM TECS, 4(1):211-230, 2005.
14. M. Liebelt et al. An energy efficient rate selection algorithm for voltage quantized dynamic voltage scaling. ISSS '01.
15. P. Merlin and D. J. Faber. Recoverability of communication protocols: Implicatons of a theoretical study. IEEE Transactions on Communications, 24(9):1036-1043, Sept. 1976.
16. T. Murata. Petri nets: Properties, analysis and applications. Proc. IEEE, 77(4):541-580, April 1989.
17. T. Phatrapornnant and M. Pont. Reducing jitter in embedded systems employing a time-triggered software architecture and dynamic voltage scaling. IEEE Trans. on Comp., 55(2):113-124, 2006.
18. P. Pillai and K. Shin. Real-time dynamic voltage scaling for low-power embedded operating systems. In ACM Symposium on Operating Systems Principles, 2001.
19. R. Prathipati. Energy Efficient Scheduling Techniques for Real-Time Embedded Systems. MSc Thesis, Texas A&M University, 2004.
20. P. Starke and S. Roch. INA - Integrated Net Analyzer - Version 2.2. Humbolt Universität zu Berlin - Institut für Informatik, 1999.
21. A. Valmari. The state explosion problem. LNCS: Lectures on Petri Nets I: Basic Models, 1491:429-528, June 1998.
22. J. Xu. On inspection and verification of software with timing requirements. IEEE Transactions on Software Engineering, 29(8):705-720, August 2003.
23. J. Xu and D. Parnas. Priority scheduling versus pre-run-time scheduling. In Real-Time Systems, volume 18, pages 7-23. Kluwer Academic Publishers, January 2000.
24. F. Yao et al. A scheduling model for reduced cpu energy. 36th Annual Symposium on Foundations of Computer Science, 00:374, 1995.