Safety-critical development

Safety-critical development