The SafetyML™ (Safety Modeling Language™) is a UML/SysmL profile and model library for specifying the architectures and designs of safety-critical systems. Since SafetyML is designed and implemented as a UML profile (UML dialect) and model library
it is compatible with the UML and OMG SysML architecture modeling language standards, and can be implemented in popular visual modeling tools that comply with those standards.
The
SafetyML profile specifies basic constructs for specifying essential constructs related to safety-critical systems including, but not limited to the following: Safety Integrity Levels (SILs), hazards, risks, reliability, availability, faults, errors, failures, failure modes, failure causes, and harmful effects.
The
SafetyML model library specifies recursive analysis, design and architecture patterns that can be applied during the full System Development Life Cycle (SDLC) on "both sides" of the
System V-Model (a.k.a. System Vee Model). When used with a pragmatic "Agile" subset of either UML 2 or SysML 1.x, these recursive analysis, design, and architecture patterns facilitate scalable traceability on the
"left side" of the System-V Model, and scalable Verification & Validation (V&V) on the "right side" of the System-V Model.
The SafetyML can be customized to support a broad range of international safety standards including, but not limited to,
ISO 26262 (Automotive),
DO-178-C (Aerospace),
ISO 14971 (Medical Devices), and
EN 50128 (Railway Transportation).