“…fmdtools has additionally since expanded in scope to include not just fault propagation tools but the necessary analysis and visualization tools needed to interpret Toolkit Causality Representation Model Format(s) Availability Use in design HiP-Hops (Papadopoulos & McDermid, 1999) Dynamic simulation with failure logic Simulink, Simula-tionX, AADL, etc. Commercial Functional Hazard Assessment, Design Optimization (Papadopoulos et al, 2011) Rodon (Bunus et al, 2009) Behavioral constraint network with failure logic Modelica-like Rodelica model Commercial Model-based engineering process (Lunde et al, 2006) Modelica fault libraries (van der Linden, 2014;Minhas et al, 2014;Gundermann et al, 2019) Undirected behavioral/failure logic Modelica Open Source Design exploration (Lattmann et al, 2014) OpenErrorPro (Morozov et al, 2019) Probabilistic markov chain Simulink, Stateflow, UML, SysML, AADL Open Source Model-based reliable system design (Morozov et al, 2018) SHyFTOO (Chiacchio et al, 2020) Dynamic simulation with probabilistic hybrid fault tree Simulink, MAT-LAB code Open Source Model-based design (Chiacchio et al, 2019) OpenCossan (Patelli et al, 2018) Probabalistic semi-markov transitions and/or external simulation…”