Model-based safety refers to a systematic approach to ensure the safety of complex systems by using formal models that represent the system’s structure, behavior, and environment. These models are used to analyze, predict, and verify safety properties before and during the system’s operation. Model-based safety engineering also aims to :

  • Identify safety risks early, perform safety verification and validation, and guide the design of safety mechanisms.
  • Help detect unsafe states or behaviors before physical implementation or deployment, reducing costly errors.
  • Unify domains into one analysis framework, as safety issues may arise from software bugs, hardware faults, cyber-attacks, or their combination.
  • Provide traceable, repeatable proofs of safety requirements to ease regulatory compliance and certification
  • Enables the use of automated model checking and simulation tools that can exhaustively explore possible scenarios.

The Systems Safety Engineering plugin contains the ISO 26262 plugin. To learn more, refer to the ISO 26262 plugin user guide.

Prerequisites

To install and use the Systems Safety Designer, ensure that one of the following modeling tools is installed:

  • Magic Cyber Systems Engineer

  • Magic Cyber Systems of Systems Architect

  • Cameo Systems Modeler - Architect Edition

  • Cameo Systems Modeler - Enterprise Edition

  • Cameo Enterprise Architecture

  • Magic Draw (any version) with SysML plugin installed

To learn more about how to download the installation files, refer to Downloading installation files.