Analyse the Benchmark SystemC model by University of Rostock for "Breaking curves" in respect to the accidents of Hazard Log item "KERNEL-9 Speed calculation underestimates train speed" #49
Description
Subtask of #70
Safety Requirements for
KERNEL-9 Speed calculation underestimates train speed
(Related to model of Subset 26 §3.13 Braking curves)
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