From 4c02d86d866cfff888a0a6922e3a4969c5e815ba Mon Sep 17 00:00:00 2001 From: aschemmel-git Date: Wed, 20 May 2026 14:49:49 +0200 Subject: [PATCH] Assumed Safety requirements in module safety manuals --- .../baselibs/docs/manual/safety_manual.rst | 24 ++++++++++++++++--- .../docs/manual/safety_manual.rst | 16 +++++++++---- .../modules/feo/docs/manual/safety_manual.rst | 8 +++++-- .../docs/manual/safety_manual.rst | 11 ++++++--- docs/safety/platform_safety_manual.rst | 4 +++- 5 files changed, 50 insertions(+), 13 deletions(-) diff --git a/docs/modules/baselibs/docs/manual/safety_manual.rst b/docs/modules/baselibs/docs/manual/safety_manual.rst index 7782be46f0b..fc9d9ab733e 100644 --- a/docs/modules/baselibs/docs/manual/safety_manual.rst +++ b/docs/modules/baselibs/docs/manual/safety_manual.rst @@ -27,12 +27,30 @@ Safety Manual Introduction/Scope ------------------ -| + +This is the safety manual for baselibs module which is a collection of several utilities of common use. Assumed Platform Safety Requirements ------------------------------------ -| For the the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the . I.e. from these all the feature and component requirements implemented are derived. -| + +For the Baselibs module the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the module. I.e. from these all the feature and component requirements implemented are derived. + +- :need:`stkh_req__functional_req__base_libraries` - is QM, but some of the libraries combine this with the next requirement +- :need:`stkh_req__dependability__automotive_safety` +- :need:`stkh_req__dev_experience__prog_languages` - is QM, but some of the libraries combine this with the previous requirement + +This means that not all baselibs libraries and language API are provided in ASIL B. +So for Baselibs the definition of the assumed safety requirement(s) of each of the ASIL B libraries are defined in the following feature requirements: + +- bitmanipulation library: :need:`feat_req__baselibs__bitmanipulation` +- concurrency library: :need:`feat_req__baselibs__concurrency_library` +- containers library: :need:`feat_req__baselibs__containers_library` +- filesystem library: :need:`feat_req__baselibs__filesystem_library` +- flatbuffers library: :need:`feat_req__baselibs__flatbuffers_library` +- json library: :need:`feat_req__baselibs__json_library` +- memory library: :need:`feat_req__baselibs__memory_library` +- result library: :need:`feat_req__baselibs__result_library` +- safecpp, static_reflection_with_serialization, utils :need:`feat_req__baselibs__core_utilities` Assumptions of Use ------------------ diff --git a/docs/modules/communication/docs/manual/safety_manual.rst b/docs/modules/communication/docs/manual/safety_manual.rst index 0af1b92125f..7eda32ffc78 100644 --- a/docs/modules/communication/docs/manual/safety_manual.rst +++ b/docs/modules/communication/docs/manual/safety_manual.rst @@ -28,11 +28,19 @@ This safety manual covers the communication module. Assumed Platform Safety Requirements ------------------------------------ -| For the communication module the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the communication module. I.e. from these all the feature and component requirements implemented are derived. -| -.. attention:: - This section is currently missing. +For the communication module the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the communication module. I.e. from these all the feature and component requirements implemented are derived. + +- :need:`stkh_req__communication__inter_process` - is QM, but is always compined with the next requirement +- :need:`stkh_req__communication__safe` +- :need:`stkh_req__app_architectures__support_time` + +The safe IPC communication interfaces supported are defined as: + +- event: :need:`feat_req__com__event_type` +- method: :need:`feat_req__com__method` + +Currently there is no safe inter-ECU communication supported. Assumptions of Use ------------------ diff --git a/docs/modules/feo/docs/manual/safety_manual.rst b/docs/modules/feo/docs/manual/safety_manual.rst index 8af000a0e68..485347fd153 100644 --- a/docs/modules/feo/docs/manual/safety_manual.rst +++ b/docs/modules/feo/docs/manual/safety_manual.rst @@ -31,8 +31,12 @@ For now it only contains Assumptions of Use related to the use of Rust libraries Assumed Platform Safety Requirements ------------------------------------ -For the following safety related stakeholder requirements are assumed to define the top level functionality (purpose)>. I.e. from these all the feature and component requirements implemented are derived. - +For FEO module the following safety related stakeholder requirements are assumed to define the top level functionality (purpose). I.e. from these all the feature and component requirements implemented are derived. + +- :need:`stkh_req__app_architectures__support_time` +- :need:`stkh_req__app_architectures__support_data` +- :need:`stkh_req__dependability__safety_features_1` +- :need:`stkh_req__dependability__safety_features_4` Assumptions of Use ------------------ diff --git a/docs/modules/orchestrator/docs/manual/safety_manual.rst b/docs/modules/orchestrator/docs/manual/safety_manual.rst index 70f50ffd3c7..9126a026e45 100644 --- a/docs/modules/orchestrator/docs/manual/safety_manual.rst +++ b/docs/modules/orchestrator/docs/manual/safety_manual.rst @@ -26,12 +26,17 @@ Safety Manual Introduction/Scope ------------------ -| +This safety manual covers the orchestrator module. Assumed Platform Safety Requirements ------------------------------------ -| For the the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the . I.e. from these all the feature and component requirements implemented are derived. -| +For the orchestrator module name the following safety related stakeholder requirements are assumed to define the top level functionality (purpose) of the module. I.e. from these all the feature and component requirements implemented are derived. + +- :need:`stkh_req__execution_model__processes` - this requirement is QM and not fully covered as ASIL, only combined with the following requirements +- :need:`stkh_req__dependability__automotive_safety` +- :need:`stkh_req__app_architectures__support_time` + +The user needs to check orchestration feature level requirements to see which functionalities are provided as ASIL B. Assumptions of Use ------------------ diff --git a/docs/safety/platform_safety_manual.rst b/docs/safety/platform_safety_manual.rst index cdde6e3d2a3..c9eb0868d08 100644 --- a/docs/safety/platform_safety_manual.rst +++ b/docs/safety/platform_safety_manual.rst @@ -109,4 +109,6 @@ References `FEO Safety Manual `_ -`KVS Safety Manual `_ +`KVS Safety Manual `_ + +`Orchestrator Safety Manual `_