166 search results - page 4 / 34 » Symbolic Schedulability Analysis of Real-Time Systems |
ECRTS
2008
IEEE
15 years 4 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
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
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a real-time scheduling algorithm with high schedulability and few preemptions for multiprocessor systems. The algorithm is based on an unorthodox method called...
ECRTS
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
