355 search results - page 8 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
140
Voted
ECBS
2010
IEEE
15 years 10 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...
112
Voted
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
110
Voted
RTAS
2005
IEEE
15 years 9 months ago
2005
IEEE
147
Voted
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...
138
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 ...