Architecture Analysis of Safety Critical Systems Using Parametric Expressions to Calculate System Behavior

Architecture exploration could benefit from some early results of a safety analysis process. Typically, classical system safety analysis techniques such as Fault tree analysis (FTA) are performed after the design is completed. We propose an approach for an early safety assessment to improve the design and also shorten the design cycle time. A quick assessment to determine the safety figure of merit of the intended architecture expressed as a parametric expression can be used to determine the overall acceptability of the architecture. The result from a quick assessment of the system safety could be used as a means to explore system trade-offs in reliability and redundancy at the highest design levels.