1980 search results - page 208 / 396 » Compositional Model Checking of Real Time Systems |
137
click to vote
SOFSEM
2009
Springer
16 years 6 days ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
167
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
116
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
120
click to vote
FAST
2007
15 years 4 months ago
2007
Component failure in large-scale IT installations is becoming an ever larger problem as the number of components in a single cluster approaches a million. In this paper, we presen...
168
click to vote
ATC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...