164 search results - page 5 / 33 » Refinement and Verification of Real-Time Systems |
CAV
2001
Springer
13 years 11 months ago
2001
Springer
IFM
2010
Springer
13 years 6 months ago
2010
Springer
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we comprehensively investigated the issue of reliability-driven real-time scheduling for periodic tasks in heterogeneous systems. First, we built a reliability model...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
RTCSA
1999
IEEE
13 years 11 months ago
1999
IEEE
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...