RAAML — Simplistic treatment of probability

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/non-independent failure & [P(a+b) = P(a) + P(b) - P(a.b)]

Any simplification should be taken by the modeler not by the profile.

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.