A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments

The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Systems. The safety case must provide confidence that the system is acceptably safe to operate. For system components where it is not possible to quantify the associated risks (e.g… CONTINUE READING