There are various academic and non-academic tools and approaches available for modeling and analyzing safety-critical systems. Some of them are listed below with links to the websites of the respective researchers or tool vendors. If your tool is missing, please file an issue.

• Verification Environment for Critical Systems (VECS)

  From the website: VECS is an Eclipse-based specification framework for the analysis of software-intensive systems. It includes an implementation of the SAML language and model transformations to verification engines like NuSMV and PRISM.

• Compass Project

  From their website: The COMPASS Project is an international research project for developing a theoretical and technological basis for the system-software co-engineering approach focusing on a coherent set of specification and analysis techniques for evaluation of system-level correctness, safety, dependability and performability of on-board computer-based aerospace systems. These techniques shall significantly improve the reliability of modern and future space missions.

• Alta Rica

  From their website: The OpenAltaRica platform is dedicated to risk analysis of complex systems and based on the new version of the modelling language AltaRica 3.0.

• HiP-HOPS

  From their website: The Dependable Systems Research Group at the University of Hull is presently pioneering the development of novel methods and tools for dependability analysis and optimisation of complex safety critical engineering systems collectively known as Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS).

• SystemC

  From Wikipedia: SystemC is a set of C++ classes and macros which provide an event-driven simulation interface (see also discrete event simulation). These facilities enable a designer to simulate concurrent processes, each described using plain C++ syntax.

• SCADE Suite

  From their website: SCADE Suite® is a product line of the ANSYS® Embedded software family of products and solutions that empowers users with a Model-Based Development Environment for critical embedded software. With native integration of the formally-defined Scade language, SCADE Suite is the integrated design environment for critical applications spanning requirements management, model-based design, simulation, verification, qualifiable/certified code generation, and interoperability with other development tools and platforms.

• Modelica

  From their website: Modelica® is a non-proprietary, object-oriented, equation based language to conveniently model complex physical systems containing, e.g., mechanical, electrical, electronic, hydraulic, thermal, control, electric power or process-oriented subcomponents.