697 search results - page 22 / 140 » On Composable System Timing, Task Timing, and WCET Analysis |
IACR
2011
14 years 2 days ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
117
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
106
click to vote
ECRTS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
112
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient schedulin...
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...