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.
Embedded Files
F A S T E N - a Formal Specification Environment
Hazards and losses
STPA:
control structures and
unintended control actions
Design FMEA
Fault Trees
HiP-HOPS
Page updated
Google Sites
Report abuse