
Key: RAAML46

Status: closed

Source: Engineer for Safety Limited ( Phil Williams)

Summary:
The acknowledged simplistic treatment of probability can easily be replaced with a more correct definition that addresses independence [P(a.b) = (P(a)  P(cc)) x (P(b)  P(cc)) + P(cc)] where cc represents the common/nonindependent failure & [P(a+b) = P(a) + P(b)  P(a.b)]
Any simplification should be taken by the modeler not by the profile.

Reported: RAAML 1.0b1 — Fri, 30 Apr 2021 10:59 GMT

Disposition: Closed; No Change — RAAML 1.0

Disposition Summary:
Current specification supports common cause probabilities
A common cause event can be addressed by combining the independent probabilities of the events and adding a OR gate to include the common cause component.
The RAAML spec allows for changing the math for any gate.

Updated: Thu, 31 Mar 2022 19:32 GMT
RAAML — Simplistic treatment of probability
 Key: RAAML46
 OMG Task Force: Risk Analysis and Assessment Modeling Language (RAAML) 1.0 FTF