OpenEPL

Traditional and dynamic PRA methods are often insufficient for analyzing complex systems or systems that incorporate deeply coupled error propagation failure modes found in control systems. Tracking the propagation of errors in such systems from discrete sub-components to the system or functional level presents a unique challenge in failure analysis. While traditional error propagation methods have been around for some time, recent methods introduce the ability to separately model control and data flows within a system. This approach is based on the Dual Error Propagation Method (DEPM), where failures can be defined descriptively or systematically extracted from SysML/UML graphs or by modeling the flow of control and associated data in a logical software block.

OpenEPL is a C++ open source tool that implements the DEPM methodology and quantifies PRISM models using Storm, a modern model checker for probabilistic systems.