355 search results - page 8 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
143
click to vote
ECBS
2010
IEEE
15 years 11 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...
152
click to vote
ECRTS
2009
IEEE
15 years 1 months ago
2009
IEEE
In work on multiprocessor real-time systems, processing pipelines have received little attention. In this paper, soft real-time periodic task systems are considered that include s...
145
Voted
ICESS
2004
Springer
15 years 9 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...