287 search results - page 14 / 58 » Test of preemptive real-time systems |
JUCS
2006
13 years 7 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
AICCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
RTCSA
2005
IEEE
14 years 29 days ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
ICESS
2004
Springer
14 years 23 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 ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...