Module Safety Plan#

Baselibs Safety Plan		status: draft security: NO safety: ASIL_B
tags: baselibs realizes: wp__module_safety_plan

doc__baselibs_safety_plan		Generic Document

Functional Safety Management Context#

This Safety Plan adds to the Platform Safety Plan (doc__score_platform_safety_plan) all the module development relevant work products needed for ISO 26262 conformity.

Functional Safety Management Scope#

This Safety Plan’s scope is a SW module of the SW platform Module Documents. The module consists of one or more SW components and will be qualified as a SEooC.

Functional Safety Management Roles#

Table 17 Module roles#
Role	Assignee
Safety Manager	Alexander Schemmel
Module Project Manager (= Feature team lead)	Andrey Babanin

Tailoring#

Additional to the tailoring in the SW platform project as defined in the Platform Safety Plan (doc__score_platform_safety_plan) we define here the additional tailoring on module level.

Functional Safety Module Work products#

One set of work products for the module and one set for each component of the module:

Module Work products List#

Table 18 Module Work products#
Work product Id	Link to process	Process status	Link to WP
wp__module_safety_plan	gd_guidl__saf_plan_definitions	valid	this document
wp__module_safety_package	gd_guidl__saf_package	valid	this document (including the linked documentation)
wp__fdr_reports (module Safety Plan)	gd_chklst__safety_plan	valid	Baselibs Safety Plan Formal... (doc__baselibs_safety_plan_fdr)
wp__fdr_reports (module Safety Package)	gd_chklst__safety_package	valid	Baselibs Safety Package For... (doc__baselibs_safety_package_fdr)
wp__fdr_reports (module’s Safety Analyses & DFA)	gd_chklst__safety_analysis	valid	<Link to WP>
wp__audit_report	performed by external experts	n/a	<Link to WP>
wp__module_safety_manual	gd_temp__safety_manual	valid	Baselibs Safety Manual (doc__baselibs_safety_manual)
wp__verification_module_ver_report	gd_temp__mod_ver_report	valid	Baselibs Verification Report (doc__baselibs_verification_report)
wp__module_sw_release_note	gd_temp__rel_mod_rel_note	valid	Baselibs Release Note (doc__baselibs_release_note)

Component bitmanipulation Work products List#

Table 19 Component bitmanipulation Work products#
Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Bit Manipulation Requirements (doc__bitmanipulation_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Bit Manipulation Requirements (doc__bitmanipulation_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	bitmanipulation Architecture (doc__bitmanipulation_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	bitmanipulation FMEA (doc__bitmanipulation_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	bitmanipulation DFA (doc__bitmanipulation_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	.h/.cpp, design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	test.cpp
wp__sw_implementation_inspection	gd_chklst__impl_inspection_checklist	valid	<Link to WP>
wp__verification_comp_int_test	gd_guidl__verification_guide	valid	component integration not needed (no sub-components and units are independent)

Component containers Work products List#

Table 20 Component containers Work products#
Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Containers Library Requirem... (doc__containers_lib_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Containers Library Requirem... (doc__containers_lib_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Container Architecture (doc__containers_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	containers FMEA (doc__containers_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	containers DFA (doc__containers_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	containers .h/.cpp, containers/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	containers/test.cpp
wp__sw_implementation_inspection	gd_chklst__impl_inspection_checklist	valid	<Link to WP>
wp__verification_comp_int_test	gd_guidl__verification_guide	valid	component integration not needed (no sub-components and units are independent)

Component filesystem Work products List#

Table 21 Component filesystem Work products#
Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Filesystem Library Requirem... (doc__filesystem_lib_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Filesystem Library Requirem... (doc__filesystem_lib_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Filesystem Architecture (doc__filesystem_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	filesystem FMEA (doc__filesystem_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	filesystem DFA (doc__filesystem_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	filesystem .h/.cpp, filesystem/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	filesystem/test.cpp
wp__sw_implementation_inspection	gd_chklst__impl_inspection_checklist	valid	<Link to WP>
wp__verification_comp_int_test	gd_guidl__verification_guide	valid	component integration not needed (no sub-components and units are independent)

Component result Work products List#

Table 22 Component result Work products#
Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Result Library Requirements (doc__result_lib_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Result Library Requirements (doc__result_lib_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Result Architecture (doc__result_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	result FMEA (doc__result_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	result DFA (doc__result_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	result .h/.cpp, result/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	result/test.cpp
wp__sw_implementation_inspection	gd_chklst__impl_inspection_checklist	valid	<Link to WP>
wp__verification_comp_int_test	gd_guidl__verification_guide	valid	component integration not needed (no sub-components and units are independent)

Component json Work products List#

Table 23 Component json Work products#
Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	JSON Requirements (doc__json_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	JSON Requirements (doc__json_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	JSON Architecture (doc__json_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	JSON FMEA (doc__json_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	JSON DFA (doc__json_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	json .h/.cpp, json/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	json/test.cpp
wp__sw_implementation_inspection	gd_chklst__impl_inspection_checklist	valid	<Link to WP>
wp__verification_comp_int_test	gd_guidl__verification_guide	valid	<Link to WP>
wp__sw_component_class	tsf__trust__trustable-software	valid	TSF Report on nlohman/json

All other components of the baselibs module as released in the Baselibs Release Note (doc__baselibs_release_note) are not planned to be qualifiable stand alone (as SEooC), but only in context, for example as they are used in other S-CORE modules (e.g. communication). To be qualifiable in context those come with unit tests, are implemented according to defined coding and detailed design guidelines, achieve the required structural coverage and fulfill the AoUs of the reference OS (e.g. don’t use banned functions).

Module Safety Package#

To create the safety package (according to gd_guidl__saf_package) the following documents and work products status have to go to “valid” (after the relevant verification were performed).

Module Documents Status#

For all the work product documents the status can be seen by following the “Link to WP”. A summary of the status is also documented in the project’s documentation management plan.

See docs/modules/baselibs/docs

Component Documents Status#