Definition
CENELEC EN 50129
European standard for safety-related electronic systems for signalling. Defines the Safety Case structure: Generic Application Safety Case (GASC) + Specific Application Safety Case (SASC).
See this concept in action
Extant Portal implements mission engineering concepts as interactive tools.