6308 search results - page 27 / 1262 » Modeling Urgency in Timed Systems |
TII
2008
14 years 9 months ago
2008
Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
108
click to vote
SAFECOMP
1998
Springer
15 years 1 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
LICS
1990
IEEE
15 years 1 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
101
click to vote
RTSS
1995
IEEE
15 years 1 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
TSMC
2010
14 years 4 months ago
2010
Abstract--Takagi