3 search results - page 1 / 1 » On the Fault Hypothesis for a Safety-Critical Real-Time Syst... |
ASWSD
2004
Springer
13 years 10 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
FM
2003
Springer
13 years 10 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
ICPADS
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...