110 search results - page 1 / 22 » A Compositional Framework for Real-Time Guarantees |
70
Voted
ASWSD
2004
Springer
15 years 3 months ago
2004
Springer
99
Voted
RTSS
2003
IEEE
15 years 3 months ago
2003
IEEE
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
94
Voted
RTAS
2006
IEEE
15 years 4 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
103
click to vote
RTSS
2002
IEEE
15 years 3 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
153
click to vote
EUROMICRO
2011
IEEE
13 years 10 months ago
2011
IEEE
—This paper presents a method for using the CORBA Component Model (CCM) to integrate heterogeneous DRE systems. It has been realized in a extensible C++ template framework named ...