3 search results - page 1 / 1 » On the Fault Hypothesis for a Safety-Critical Real-Time Syst... |
98
Voted
ASWSD
2004
Springer
15 years 3 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. ...
117
Voted
FM
2003
Springer
15 years 3 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
15 years 2 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...