ABSTRACT

The paper is organized as follows. In section 2 we explain the main assumptions on a semi-formal level. Section 3 defines a model for the Go-failure.An appropriate probabilistic specification is provided in section 4. A system failure including a Go-Failure is analyzed in 5. The example of a Go-If failure will be addresses in sections 6 and 7.