55 search results - page 6 / 11 » The case for feedback control real-time scheduling |
174
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
174
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
188
click to vote
RTSS
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
144
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...
159
click to vote
RTSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...