Module Safety Plan#
Baselibs Safety Plan
|
status: valid
security: NO
safety: ASIL_B
|
||||
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#
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#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
this document |
||
valid |
this document (including the linked documentation) |
||
wp__fdr_reports (module Safety Plan) |
valid |
Baselibs Safety Plan Formal... (doc__baselibs_safety_plan_fdr) |
|
wp__fdr_reports (module Safety Package) |
valid |
Baselibs Safety Package For... (doc__baselibs_safety_package_fdr) |
|
wp__fdr_reports (module’s Safety Analyses & DFA) |
valid |
Baselibs Safety Analysis Ch... (doc__baselibs_safety_analysis_fdr) |
|
performed by external experts |
n/a |
see platform safety plan |
|
valid |
|||
valid |
Baselibs Verification Report (doc__baselibs_verification_report) |
||
valid |
Component bitmanipulation Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
Bit Manipulation Requirements (doc__bitmanipulation_requirements) |
||
valid |
Bit Manipulation Requirements (doc__bitmanipulation_requirements) |
||
valid |
Bitmanipulation Requirement... (doc__bitmanipulation_req_inspection) |
||
valid |
bitmanipulation Architecture (doc__bitmanipulation_architecture) |
||
valid |
Bitmanipulation Architectur... (doc__bitmanipulation_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Bitmanipulation Implementat... (doc__bitmanipulation_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component concurrency Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
|||
valid |
|||
valid |
Concurrency Requirements In... (doc__concurrency_req_inspection) |
||
valid |
|||
valid |
Concurrency Architecture In... (doc__concurrency_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Concurrency Implementation ... (doc__concurrency_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component containers Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
Containers Library Requirem... (doc__containers_lib_requirements) |
||
valid |
Containers Library Requirem... (doc__containers_lib_requirements) |
||
valid |
Containers Requirements Ins... (doc__containers_req_inspection) |
||
valid |
|||
valid |
Containers Architecture Ins... (doc__containers_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Containers Implementation I... (doc__containers_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component filesystem Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
Filesystem Library Requirem... (doc__filesystem_lib_requirements) |
||
valid |
Filesystem Library Requirem... (doc__filesystem_lib_requirements) |
||
valid |
Filesystem Requirements Ins... (doc__filesystem_req_inspection) |
||
valid |
|||
valid |
Filesystem Architecture Ins... (doc__filesystem_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Filesystem Implementation I... (doc__filesystem_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component result Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
|||
valid |
|||
valid |
Result Library Requirements... (doc__result_library_req_inspection) |
||
valid |
|||
valid |
Result Library Architecture... (doc__result_lib_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Result Lib Implementation I... (doc__result_lib_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component SafeCpp Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
|||
valid |
|||
valid |
Safecpp Requirements Inspec... (doc__safecpp_req_inspection) |
||
valid |
|||
valid |
Safecpp Architecture Inspec... (doc__safecpp_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Safecpp Architecture Inspec... (doc__safecpp_arc_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component Static Reflection Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
Static Reflection with Seri... (doc__static_reflect_serial_lib_req) |
||
valid |
Static Reflection with Seri... (doc__static_reflect_serial_lib_req) |
||
valid |
Static Reflection Requireme... (doc__static_reflection_req_inspection) |
||
valid |
static_reflection_with_seri... (doc__static_refl_with_serial_arch) |
||
valid |
Static Reflection Architect... (doc__static_reflection_arc_inspection) |
||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
Static Reflection Implement... (doc__static_reflection_impl_inspection) |
||
valid |
component integration not needed (no sub-components and units are independent) |
Component utils Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
component integration not needed (no sub-components and units are independent) |
Component json Work products List#
Work product Id |
Link to process |
Process status |
Link to WP |
|---|---|---|---|
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
|||
valid |
<Link to WP> |
||
valid |
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).
Link to project planning#
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.
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.
Component Requirements Status#
ID |
Status |
Tags |
Fulfilled By |
|---|---|---|---|
valid |
baselibs |
||
valid |
baselibs |
||
valid |
baselibs |
||
valid |
baselibs |
||
valid |
baselibs |
||
valid |
baselibs |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; concurrency |
||
valid |
baselibs; containers |
||
valid |
baselibs; containers |
||
valid |
baselibs; containers |
||
valid |
baselibs; containers |
||
valid |
baselibs; containers |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; filesystem |
||
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; json |
comp_arc_sta__baselibs__json; comp_arc_dyn__baselibs__json_dynamic_view |
|
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; memory |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; safecpp |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; static_reflect |
||
valid |
baselibs; utils |
||
valid |
baselibs; utils |
||
valid |
baselibs; utils |
||
valid |
inspected; baselibs; bitmanipulation |
||
valid |
inspected; baselibs; bitmanipulation |
||
valid |
inspected; baselibs; bitmanipulation |
||
valid |
inspected; baselibs; bitmanipulation |
||
valid |
inspected; baselibs; bitmanipulation |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
||
valid |
inspected; baselibs; result_lib |
Component AoU Status#
ID |
Status |
Tags |
|---|---|---|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs; concurrency |
|
valid |
baselibs; concurrency |
|
valid |
baselibs; concurrency |
|
valid |
baselibs; concurrency |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; containers |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; filesystem |
|
valid |
baselibs; json |
|
valid |
baselibs; json |
|
valid |
inspected; baselibs; bitmanipulation |
|
valid |
inspected; baselibs; bitmanipulation |
|
valid |
inspected; baselibs; bitmanipulation |
|
valid |
inspected; baselibs; result_lib |
|
valid |
inspected; baselibs; result_lib |
|
valid |
inspected; baselibs; result_lib |
|
valid |
inspected; baselibs; result_lib |
|
valid |
inspected; baselibs; result_lib |
Component Architecture Status#
ID |
Status |
Tags |
|---|---|---|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
invalid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs |
|
valid |
baselibs; safecpp |
|
valid |
baselibs |
|
valid |
baselibs |
Deviations from Module Safety Plan#
The following deviations from the module safety plan are present in the module safety package. These are deviations from planned processes execution and/or work product results, safety anomalies in the sense of known bugs in the software are reported in the release notes.
<Describe here the deviations, whether they have an impact on module’s safety functions, how these can be mitigated or argued and if and when a resolution is planned.>