Title | ||
---|---|---|
Model-driven software synthesis for hard real-time applications with energy constraints |
Abstract | ||
---|---|---|
Model-driven methods have been quite effective for reducing the intricacies of embedded software development, since they provide effective means for property verification as well as automatic code generation. Nevertheless, regarding energy-constrained hard real-time systems, few model-driven methods are available and, usually, most methods (model-driven or not) consider simplified system specifications, such as absence of intertask relations. This paper presents a model-driven method for software synthesis of hard real-time embedded applications with energy constraints. A formal model based on time Petri nets is adopted in order to provide a basis for pre-runtime schedule generation and property analysis/verification. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/s10617-011-9069-3 | Design Automation for Embedded Systems |
Keywords | Field | DocType |
Hard real-time systems,Scheduling,Petri nets,Dynamic voltage scaling,Software synthesis | Dynamic voltage scaling,Petri net,Embedded software,Computer science,Scheduling (computing),Parallel computing,Embedded applications,Code generation,Real-time computing,Software synthesis,Embedded system | Journal |
Volume | Issue | ISSN |
14 | 4 | 0929-5585 |
Citations | PageRank | References |
5 | 0.42 | 24 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Eduardo Tavares | 1 | 161 | 25.22 |
Paulo Romero Martins Maciel | 2 | 363 | 59.24 |
pedro dallegrave | 3 | 5 | 0.42 |
Bruno Silva | 4 | 124 | 16.86 |
tiago r c falcao | 5 | 5 | 0.42 |
Bruno Nogueira | 6 | 68 | 7.67 |
Gustavo Callou | 7 | 124 | 16.54 |
paulo roberto freire cunha | 8 | 5 | 0.42 |