Analyse the Benchmark Scade model by Siemens for "Radio communication" in respect to the accidents of Hazard Log item "KERNEL-6 Manage communication session failure"

[janWelte]

Subtask of #70
Safety Requirements for

KERNEL-6 Manage communication session failure
(Related to model of Subset 26 §3.5.3 Establishing a communication session)

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