110 search results - page 1 / 22 » A Compositional Framework for Real-Time Guarantees |
ASWSD
2004
Springer
13 years 10 months ago
2004
Springer
RTSS
2003
IEEE
13 years 10 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...
RTAS
2006
IEEE
13 years 10 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...
RTSS
2002
IEEE
13 years 9 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...
EUROMICRO
2011
IEEE
12 years 4 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 ...