355 search results - page 8 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
ECBS
2010
IEEE
15 years 4 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...
RTCSA
2008
IEEE
15 years 3 months ago
2008
IEEE
62
Voted
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
102
Voted
ECRTS
2009
IEEE
14 years 7 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...
ICESS
2004
Springer
15 years 2 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 ...