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 19 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 20 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	Baselibs Safety Analysis Ch... (doc__baselibs_safety_analysis_fdr)
wp__audit_report	performed by external experts	n/a	see platform safety plan
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 21 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 concurrency Work products List

Table 22 Component concurrency Work products

Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Concurrency Requirements (doc__concurrency_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Concurrency Requirements (doc__concurrency_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Concurrency Architecture (doc__concurrency_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	concurrency FMEA (doc__concurrency_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	concurrency DFA (doc__concurrency_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	concurrency .h/.cpp, concurrency/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	concurency/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 23 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 24 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 25 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 SafeCpp Work products List

Table 26 Component SafeCpp Work products

Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Safecpp Requirements (doc__safecpp_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Safecpp Requirements (doc__safecpp_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Safecpp Architecture (doc__safecpp_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	SafeCpp FMEA (doc__safecpp_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	SafeCpp DFA (doc__safecpp_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	safecpp .h/.cpp, safecpp/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	safecpp/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 Static Reflection Work products List

Table 27 Component Static Reflection Work products

Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Static Reflection with Seri... (doc__static_reflect_serial_lib_req)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Static Reflection with Seri... (doc__static_reflect_serial_lib_req)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	static_reflection_with_seri... (doc__static_refl_with_serial_arch)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	Static Reflection FMEA (doc__static_reflection_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	Static Reflection DFA (doc__static_reflection_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	static_reflection .h/.cpp, static_reflection/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	static_reflection/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 utils Work products List

Table 28 Component utils Work products

Work product Id	Link to process	Process status	Link to WP
wp__requirements_comp	gd_temp__req_comp_req	valid	Utils Library Requirements (doc__utils_lib_requirements)
wp__requirements_comp_aou	gd_temp__req_aou_req	valid	Utils Library Requirements (doc__utils_lib_requirements)
wp__requirements_inspect	gd_chklst__req_inspection	valid	<Link to WP>
wp__component_arch	gd_temp__arch_comp	valid	Utils Architecture (doc__utils_architecture)
wp__sw_arch_verification	gd_chklst__arch_inspection_checklist	valid	<Link to WP>
wp__sw_component_fmea	gd_temp__comp_saf_fmea	valid	utils FMEA (doc__utils_fmea)
wp__sw_component_dfa	gd_temp__comp_saf_dfa	valid	utils DFA (doc__utils_dfa)
wp__sw_implementation	gd_guidl__implementation	valid	utils .h/.cpp, utils/design
wp__verification_sw_unit_test	gd_guidl__verification_guide	valid	utils/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 29 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

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/components

Component Requirements Status

ID	Status	Tags
comp_req__concurrency__task_interface	valid	baselibs; concurrency
comp_req__memory__atomic_ops	valid	baselibs; memory
comp_req__static_reflect_serial__container	valid	baselibs; static_reflect
comp_req__utils__base64	valid	baselibs; utils
comp_req__bitmanipulation__bounds_safety	valid	inspected; baselibs; bitmanipulation
comp_req__safecpp__aborts_upon_exception	valid	baselibs; safecpp
comp_req__safecpp__coverage_termination	valid	baselibs; safecpp
comp_req__static_reflect_serial__compile_eff	valid	baselibs; static_reflect
comp_req__concurrency__delayed_task	valid	baselibs; concurrency
comp_req__utils__deterministic_behavior	valid	baselibs; utils
comp_req__result__deterministic_behavior	valid	inspected; baselibs; result_lib
comp_req__containers__deterministic_behavior	valid	baselibs; containers
comp_req__memory__deterministic_alloc	valid	baselibs; memory
comp_req__filesystem__directory_iterators	valid	baselibs; filesystem
comp_req__result__domain_error_information	valid	inspected; baselibs; result_lib
comp_req__containers__dynamic_array	valid	baselibs; containers
comp_req__memory__endianness	valid	baselibs; memory
comp_req__json__type_compatibility	valid	baselibs; json
comp_req__result__exception_free_operation	valid	inspected; baselibs; result_lib
comp_req__concurrency__executor_interface	valid	baselibs; concurrency
comp_req__filesystem__file_io	valid	baselibs; filesystem
comp_req__filesystem__file_utils	valid	baselibs; filesystem
comp_req__json__full_testability	valid	baselibs; json
comp_req__filesystem__full_testability	valid	baselibs; filesystem
comp_req__concurrency__error_handling	valid	baselibs; concurrency
comp_req__static_reflect_serial__visitor	valid	baselibs; static_reflect
comp_req__bitmanipulation__header_only	valid	inspected; baselibs; bitmanipulation
comp_req__static_reflect_serial__header_only	valid	baselibs; static_reflect
comp_req__memory__ipc_sync	valid	ipc; baselibs; memory
comp_req__concurrency__condition_variable	valid	baselibs; concurrency
comp_req__concurrency__interruptible_wait	valid	baselibs; concurrency
comp_req__containers__intrusive_list	valid	baselibs; containers
comp_req__json__deserialization	valid	baselibs; json
comp_req__json__asil	valid	baselibs; json
comp_req__json__serialization	valid	baselibs; json
comp_req__concurrency__long_running_threads	valid	baselibs; concurrency
comp_req__memory__bounds_check	valid	baselibs; memory
comp_req__concurrency__memory_reservation	valid	baselibs; concurrency
comp_req__memory__resource_registry	valid	baselibs; memory
comp_req__concurrency__memory_usage_control	valid	baselibs; concurrency
comp_req__filesystem__mock_fake	valid	baselibs; filesystem
comp_req__static_reflect_serial__nested	valid	baselibs; static_reflect
comp_req__containers__non_relocatable_vector	valid	baselibs; containers
comp_req__concurrency__notification	valid	baselibs; concurrency
comp_req__safecpp__nullstring	valid	baselibs; safecpp
comp_req__concurrency__operation_timeout	valid	baselibs; concurrency
comp_req__filesystem__path_utilities	valid	baselibs; filesystem
comp_req__concurrency__periodic_task	valid	baselibs; concurrency
comp_req__memory__offset_ptr	valid	baselibs; memory
comp_req__memory__address_independence	valid	baselibs; memory
comp_req__result__error_handling	valid	inspected; baselibs; result_lib
comp_req__json__user_format	valid	baselibs; json
comp_req__safecpp__safe_math	valid	baselibs; safecpp
comp_req__safecpp__safe_atomic	valid	baselibs; safecpp
comp_req__safecpp__scoped_guards	valid	baselibs; safecpp
comp_req__utils__scoped_operation	valid	baselibs; utils
comp_req__memory__sealed_shm	valid	baselibs; memory
comp_req__result__set_result	valid	inspected; baselibs; result_lib
comp_req__memory__shared_containers	valid	baselibs; memory; containers
comp_req__memory__shared_memory	valid	baselibs; memory
comp_req__concurrency__simple_task	valid	baselibs; concurrency
comp_req__filesystem__api_abstraction	valid	baselibs; filesystem
comp_req__result__std_integration	valid	inspected; baselibs; result_lib
comp_req__static_reflect_serial__reflect	valid	baselibs; static_reflect
comp_req__memory__string_utils	valid	baselibs; memory
comp_req__bitmanipulation__bit_operations	valid	inspected; baselibs; bitmanipulation
comp_req__bitmanipulation__bitmask_operators	valid	inspected; baselibs; bitmanipulation
comp_req__bitmanipulation__byte_operations	valid	inspected; baselibs; bitmanipulation
comp_req__json__lang_idioms	valid	baselibs; json
comp_req__concurrency__synchronized_queue	valid	baselibs; concurrency
comp_req__concurrency__task_cancellation	valid	baselibs; concurrency
comp_req__concurrency__task_result	valid	baselibs; concurrency
comp_req__concurrency__thread_count_reporting	valid	baselibs; concurrency
comp_req__concurrency__thread_pool	valid	baselibs; concurrency
comp_req__containers__type_safety	valid	baselibs; containers
comp_req__result__type_safety	valid	inspected; baselibs; result_lib
comp_req__memory__typed_memory	valid	baselibs; memory
comp_req__json__lang_infra	valid	baselibs; json

Component AoU Status

ID	Status	Tags
aou_req__json__access_control	valid	baselibs; json
aou_req__bitmanipulation__enum_constraints	valid	inspected; baselibs; bitmanipulation
aou_req__containers__capacity_management	valid	baselibs; containers
aou_req__containers__state_verification	valid	baselibs; containers
aou_req__concurrency__coop_cancellation	valid	baselibs; concurrency
aou_req__containers__element_lifetime	valid	baselibs; containers
aou_req__containers__ele_type_requirements	valid	baselibs; containers
aou_req__result__error_domain_implementation	valid	inspected; baselibs; result_lib
aou_req__filesystem__error_handling	valid	baselibs; filesystem
aou_req__result__error_reaction	valid	inspected; baselibs; result_lib
aou_req__bitmanipulation__concurrent_access	valid	inspected; baselibs; bitmanipulation
aou_req__containers__bounds_checking	valid	baselibs; containers
aou_req__bitmanipulation__type_constraints	valid	inspected; baselibs; bitmanipulation
aou_req__containers__iterator_validity	valid	baselibs; containers
aou_req__json__data_integrity	valid	baselibs; json
aou_req__filesystem__low_level_use_only	valid	baselibs; filesystem
aou_req__concurrency__memory_management	valid	baselibs; concurrency
aou_req__containers__memory_management	valid	baselibs; containers
aou_req__filesystem__performance	valid	baselibs; filesystem
aou_req__result__resource_lifetime	valid	inspected; baselibs; result_lib
aou_req__result__value_handling	valid	inspected; baselibs; result_lib
aou_req__filesystem__supported_path_formats	valid	baselibs; filesystem
aou_req__concurrency__thread_pool_sizing	valid	baselibs; concurrency
aou_req__result__thread_safety	valid	inspected; baselibs; result_lib
aou_req__concurrency__thread_safety	valid	baselibs; concurrency
aou_req__containers__thread_safety	valid	baselibs; containers
aou_req__filesystem__thread_safety	valid	baselibs; filesystem

Component Architecture Status

ID	Status	Tags
comp_arc_sta__baselibs__bit_manipulation	valid	baselibs
comp_arc_sta__baselibs__concurrency	valid	baselibs
comp_arc_sta__baselibs__containers	valid	baselibs; containers
comp_arc_sta__baselibs__filesystem	valid	baselibs
comp_arc_dyn__baselibs__json_dynamic_view	invalid	baselibs
comp_arc_sta__baselibs__json	valid	baselibs
comp_arc_sta__baselibs__memory_shared	valid	baselibs
comp_arc_sta__baselibs__result	valid	baselibs
comp_arc_sta__baselibs__safecpp	valid	baselibs; safecpp
comp_arc_sta__baselibs__static_reflection	valid	baselibs
comp_arc_sta__baselibs__utils	valid	baselibs