Software Safety Case Composition

Safety Case Report

Safety Case Techniques

Software Safety Case Composition

MSL provides the expertise to construct the Body of Evidence required to demonstrate compliance with the standard being used.

We offer a range of Software Safety Case related services to provide assistance in compiling the Body of Evidence and presenting it to the validation authority.

Consultancy

This is where MSL provides effort to write the software section of the Safety Case.

Support

When in-house staff write the software section of the Safety Case, MSL provides support in the form of advice.

MBSE

We provide support when MBSE Tools are used.

Processes

We provide a service to define the processes required to construct the software safety case.

Safety Case Report

MSL provides the capability to write a report on an existing Safety Case addressing the following issues:

  • Scope

  • System Description

  • System Hazards

  • Safety Requirements

  • Risk Assessment

  • Hazard Control/Risk Reduction Measures

  • Safety Analysis/ Test

  • Safety Management System

  • Development Process Justification

  • Conclusions

MSL Techniques

To construct the body of evidence we use the following techniques to assist us:

 Software Hazzard Analysis at Requirements and Code levels

Interface Analysis

Testing Analysis

Fault Tree Analysis

Software Prelim Hazard Analysis

Traceability Analysis

Failure Modes & Effects Analysis

Requirements Modelling/Analysis

Source Code Analysis

Test Coverage Analysis

Cross Reference Tools

MSL has the capability to use the following industry standard MBSE Tools:


Matlab Simulink

PolySpace

DOORs

SysML

UML