Analyse the Benchmarks SysML models by CEA + All4tec and Fraunhofer for "Procedure On-Sight" in respect to the accidents of Hazard Log item "KERNEL-19 Failure of train trip supervision in OS, LS and FS" #51
Description
Subtask of #70
Safety Requirements for
KERNEL-19 Failure of train trip supervision in OS, LS and FS
(Related to model of Subset 26 §5.9 Procedure On-Sight)
Work scope:
Refine the hazard log item to find requirements for functional decomposition and safety analysis
- Document: Needed Functional Decomposition (as input for @BaseliyosJacob)
- Analysis of the benchmark modeldetermining the parts of the model relevant for the Hazard Log item
- Compare to Subset 26 to document needed level of decomposition and additional inputs
- Document decribing the SRAC for other outside components
- Documents allocation safety Requirements on kernel functions
- Evaluation how the existing hazard rate can be determined for the benchmark model
- Outline potential ways to validate that the THR is reached by the modeled functionality