183 search results - page 17 / 37 » A Hybrid Testing Methodology for Railway Control Systems |
174
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
176
click to vote
JSS
2008
15 years 4 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
172
click to vote
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
177
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
165
click to vote
HYBRID
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...