Title | ||
---|---|---|
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads |
Abstract | ||
---|---|---|
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 constraints, inter-task relations have been neglected. This work presents a pre-runtime method for hard real-time systems scheduling considering dynamic voltage scaling, overheads and inter-task relations. The proposed work considers time Petri nets as a formal model in order to provide a basis for precise schedule generation as well as to allow property analysis and verification. Experimental results depict the proposed approach feasibility, in the sense that energy consumption is minimized as well as system constraints are met. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1016/j.micpro.2008.07.001 | Microprocessors and Microsystems - Embedded Hardware Design |
Keywords | Field | DocType |
proposed work,dynamic voltage scaling,energy consumption,proposed approach feasibility,hard real-time system,formal methods,voltage scaling,scheduling,scheduling approach,effective technique,inter-task relation,embedded system,formal method | Dynamic voltage scaling,Petri net,Computer science,Scheduling (computing),Voltage,Parallel computing,Real-time computing,Formal methods,Scaling,Energy consumption,Overhead (business) | Journal |
Volume | Issue | ISSN |
32 | 8 | Microprocessors and Microsystems |
Citations | PageRank | References |
5 | 0.49 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eduardo Tavares | 1 | 161 | 25.22 |
Paulo Maciel | 2 | 258 | 30.35 |
Bruno Silva | 3 | 124 | 16.86 |