355 search results - page 8 / 71 » Schedule Validation for Embedded Reactive Real-Time Systems |
ECBS
2010
IEEE
14 years 1 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
14 years 1 months ago
2008
IEEE
RTAS
2005
IEEE
14 years 9 days ago
2005
IEEE
ECRTS
2009
IEEE
13 years 4 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
14 years 2 days 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 ...