Definition
CENELEC EN 50128
European standard for software for railway control and protection. Defines SIL (Safety Integrity Level) 0-4 software development techniques, verification, and validation.
See this concept in action
Extant Portal implements mission engineering concepts as interactive tools.