Various DSLs enable creation of safety engineering models (HARA, STPA, (D)FMEA , FT, HiP-HOPS). These models are integrated with system requirements and design and glued together in assurance cases.

    • Hazards and losses

    • STPA:

      • control structures and

      • unintended control actions

    • Design FMEA

    • Fault Trees

    • HiP-HOPS