Abstract | ||
---|---|---|
The context of this work is related to embedded hard real-time systems development, more specifically, in the software generation phase. Embedded software has become much harder to design caused by the diversity of requirements and high complexity. Correctness and timeliness verification is an issue to be concerned. Usually, complex embedded real-time systems rely on specialized operating system kernels. However, operating systems may introduce significant overheads in execution time as well as in memory requirement. Software synthesis might be an alternative approach to operating systems usage, since it can generate tailored code for satisfying functional, performance, and resource constraints, and automatically generate runtime support (scheduling, resource management, communication, etc.) customized for each particular specification. However, the dispatcher and timer interrupt handler overheads are often neglect in software synthesis research. This paper provides a formal approach for system's modeling, and such model is adopted for synthesizing a timely and predictable scheduled code taking into account dispatcher and interrupt handler overheads. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1109/CAHPC.2005.10 | SBAC-PAD |
Keywords | Field | DocType |
Petri nets,embedded systems,operating system kernels,program verification,correctness verification,dispatcher overhead,embedded hard real-time systems development,embedded software,functional constraint,operating systems usage,performance constraint,resource constraint,software generation phase,software synthesis,system modeling,time Petri net,timeliness verification,timer interrupt handler overhead | Embedded operating system,Embedded software,Petri net,Computer science,Scheduling (computing),Interrupt handler,Parallel computing,Correctness,Real-time computing,Timer,Embedded system,Overhead (business) | Conference |
ISSN | ISBN | Citations |
1550-6533 | 0-7695-2446-X | 4 |
PageRank | References | Authors |
0.41 | 6 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Barreto, R. | 1 | 9 | 1.11 |
Eduardo Tavares | 2 | 161 | 25.22 |
Paulo Romero Martins Maciel | 3 | 363 | 59.24 |
Oliveira, M. | 4 | 4 | 0.75 |