Verification Report#

Lifecycle Verification Report
status: draft
security: YES
safety: ASIL_B
version: 1

Verification report for the Lifecycle module. This report is generated based on the module verification plan and the module verification work product (wp__verification_module_ver_report), and covers all components of the module.

Components#

Component Overview#

Component

Safety

Security

Status

comp__health_monitor

ASIL_B

YES

valid

comp__lifecycle_launch_manager

ASIL_B

NO

valid

Health Monitor#


Component Requirements Statistics#

Health Monitor Requirements Status
Health Monitor Requirements Test Coverage

Component Architecture Statistics#

Health Monitor Architecture Elements Status
Health Monitor Architecture Elements Inspection Status

Requirements Traceability#

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID

Title

Safety

Status

Testlink

comp_req__health_monitor__dummy

Dummy Component

ASIL_B

valid

Test Coverage#

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

Architectural Elements#

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the inspected tag; elements without that tag have not yet been inspected.

Show architectural elements table

ID

Title

Safety

Status

Tags

comp_arc_dyn__deadline_monitor__dynamic_view

DeadlineMonitor Usage

ASIL_B

valid

comp_arc_dyn__health_lib_thread__dynamic_view

HealthMonitor background thread

ASIL_B

valid

comp_arc_dyn__health_monitor__dynamic_view

HealthMonitor Creation

ASIL_B

valid

comp_arc_dyn__health_monitor__shutdown_view

Health Monitoring Shutdown Interaction

ASIL_B

valid

comp_arc_dyn__health_monitor__startup_view

Health Monitoring Startup Interaction

ASIL_B

valid

comp_arc_dyn__heartbeat_monitor__dynamic_view

HeartbeatMonitor Usage

ASIL_B

valid

comp_arc_dyn__logic_monitor__dynamic_view

LogicMonitor Usage

ASIL_B

valid

comp_arc_sta__deadline_monitor__static_view

Deadline Monitor

ASIL_B

valid

comp_arc_sta__health_mon__hm

Health Monitor Static View

ASIL_B

valid

comp_arc_sta__health_monitor__static_view

Health Monitor

ASIL_B

valid

comp_arc_sta__logic_monitor__static_view

Logic Monitor

ASIL_B

valid

Verification & Safety Analysis Documents#

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product

Kind

Realized by

Status

wp__requirements_inspect

Requirements Inspection

Status

draft

wp__sw_arch_verification

Architecture Inspection

Status

draft

wp__sw_implementation_inspection

Implementation Inspection

Status

draft

wp__sw_component_dfa

DFA

Status

draft

wp__sw_component_fmea

FMEA

Status

draft

Launch Manager#


Component Requirements Statistics#

Launch Manager Requirements Status
Launch Manager Requirements Test Coverage

Component Architecture Statistics#

Launch Manager Architecture Elements Status
Launch Manager Architecture Elements Inspection Status

Requirements Traceability#

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID

Title

Safety

Status

Testlink

comp_req__launch_man__aslr_support

ASLR support

ASIL_B

valid

comp_req__launch_man__capability_support

Process capability support

ASIL_B

valid

comp_req__launch_man__central_default_defines

Global process properties

ASIL_B

valid

comp_req__launch_man__check_dependency_exec

Condition check based on at least one dependency

ASIL_B

valid

comp_req__launch_man__comp_activate_tout

Component activation timeout

ASIL_B

valid

comp_req__launch_man__conf_comp_active_tout

Configuration of component activation timeout

ASIL_B

valid

comp_req__launch_man__conf_of_comp_ready_cond

Configuration of component readiness conditions

ASIL_B

valid

comp_req__launch_man__conf_rt_active_tout

Configuration of Run Target activation timeout

ASIL_B

valid

comp_req__launch_man__configurable_timeout

Stop timeout

ASIL_B

valid

comp_req__launch_man__configurable_wait_time

Monitoring and recovery: recovery wait time

ASIL_B

valid

comp_req__launch_man__consistent_dependencies

Invalid dependency

ASIL_B

valid

comp_req__launch_man__cwd_support

CWD support

ASIL_B

valid

comp_req__launch_man__dag_logging_controlif

Logging DAG

ASIL_B

valid

comp_req__launch_man__define_swc_dependencies

Condition check for each SWC its dependencies

ASIL_B

valid

comp_req__launch_man__dep_based_startup_order

Dependency based startup order

ASIL_B

valid

comp_req__launch_man__dependency_visu

Configuration dependency view

QM

invalid

comp_req__launch_man__detach_parent_process

Process detach from parent support

ASIL_B

invalid

comp_req__launch_man__drop_supervsion

Dropping process responsibility

ASIL_B

invalid

comp_req__launch_man__ext_monitor_notify

Process state notification

ASIL_B

valid

comp_req__launch_man__failure_detect_runtime

Component monitoring during runtime

ASIL_B

valid

comp_req__launch_man__failure_detect_startup

Component monitoring during startup

ASIL_B

valid

comp_req__launch_man__fast_shutdown_support

Fast shutdown

ASIL_B

invalid

comp_req__launch_man__fd_inheritance

File descriptor inheritance support

ASIL_B

valid

comp_req__launch_man__launch_manager_shutdown

Normal shutdown

ASIL_B

valid

comp_req__launch_man__launch_parallel

Launching processes in parallel

ASIL_B

valid

comp_req__launch_man__launch_priority_support

Process priority support

ASIL_B

valid

comp_req__launch_man__launcher_exit_shutdown

Launch Manager shutdown

ASIL_B

valid

comp_req__launch_man__lazy_check

Lazy check of configured commands

ASIL_B

valid

comp_req__launch_man__lm_ext_watchdog_cfg

Launch manager external monitoring configuration

ASIL_B

valid

comp_req__launch_man__lm_ext_watchdog_notify

Launch manager external watchdog notification

ASIL_B

valid

comp_req__launch_man__lm_ext_wdg_failed_test

Launch manager external watchdog notification - failed test

ASIL_B

valid

comp_req__launch_man__log_timestamp

Logging timestamp

ASIL_B

valid

comp_req__launch_man__modular_config_support

Configuration file support

ASIL_B

invalid

comp_req__launch_man__monitoring_processes

Monitoring and recovery: adopted process monitoring

ASIL_B

invalid

comp_req__launch_man__multi_start_support

Multiple instance of executable

ASIL_B

invalid

comp_req__launch_man__offline_config_valid

Configuration Verification tool

QM

invalid

comp_req__launch_man__process_input_output

Forward process information

ASIL_B

invalid

comp_req__launch_man__process_launch_args

Handling process args

ASIL_B

valid

comp_req__launch_man__process_logging_support

Logging state transitions

ASIL_B

valid

comp_req__launch_man__process_rlimit_support

Resource limit support

ASIL_B

valid

comp_req__launch_man__process_state_comm

Process state

ASIL_B

valid

comp_req__launch_man__rc_file_state

Ready Condition - File state

ASIL_B

valid

comp_req__launch_man__rc_lifecycle

Ready Condition - Lifecycle Interface

ASIL_B

valid

comp_req__launch_man__rc_os_state

Ready Condition - OS Process State

ASIL_B

valid

comp_req__launch_man__recovery_reactivate

Recovery by reactivating the component

ASIL_B

valid

comp_req__launch_man__recovery_stop

Recovery by stopping the component

ASIL_B

invalid

comp_req__launch_man__recovery_stop_start

Recovery by stopping the component and starting another component

ASIL_B

invalid

comp_req__launch_man__recovery_switch_rt

Recovery by switching the Run Target

ASIL_B

valid

comp_req__launch_man__recovery_watchdog

Recovery by stopping the servicing of the watchdog

ASIL_B

invalid

comp_req__launch_man__retries_configurable

Configurable amount of retries on startup

ASIL_B

valid

comp_req__launch_man__rt_activate_tout

Run Target activation timeout

ASIL_B

valid

comp_req__launch_man__rt_comp_dep

Run target to component dependencies

ASIL_B

valid

comp_req__launch_man__rt_rt_dep

Run target to run target dependencies

ASIL_B

valid

comp_req__launch_man__runmask_support

CPU runmask support

ASIL_B

valid

comp_req__launch_man__runtime_config_compat

Runtime configuration compliance

ASIL_B

invalid

comp_req__launch_man__scheduling_policy

Scheduling support

ASIL_B

valid

comp_req__launch_man__secpol_non_root

Non-root support

ASIL_B

valid

comp_req__launch_man__shutdown_signal

Shutdown signal handling

ASIL_B

valid

comp_req__launch_man__slog2_logging

Logging slog2 and file support

ASIL_B

valid

comp_req__launch_man__start_named_run_target

Launching run target

ASIL_B

valid

comp_req__launch_man__std_handle_redir

Standard handle redirection

ASIL_B

valid

comp_req__launch_man__stop_order_spec

Coordination stop dependency

ASIL_B

invalid

comp_req__launch_man__stop_process_dependents

Dangling dependency

ASIL_B

valid

comp_req__launch_man__supplementary_groups

Supplementary group support

ASIL_B

valid

comp_req__launch_man__support_secpol_type

Security policy support

ASIL_B

valid

comp_req__launch_man__switch_run_targets

Switch between run targets

ASIL_B

valid

comp_req__launch_man__terminal_support

Launching terminal

ASIL_B

valid

comp_req__launch_man__time_to_wait_config

Configurable delay between SIGTERM and SIGKILL

ASIL_B

valid

comp_req__launch_man__uid_gid_support

Process user, group IDs support

ASIL_B

valid

Test Coverage#

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

Architectural Elements#

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the inspected tag; elements without that tag have not yet been inspected.

Show architectural elements table

ID

Title

Safety

Status

Tags

comp_arc_sta__launch_manager__lm

Launch Manager Static View

ASIL_B

valid

Verification & Safety Analysis Documents#

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product

Kind

Realized by

Status

wp__requirements_inspect

Requirements Inspection

Status

draft

wp__sw_arch_verification

Architecture Inspection

Status

draft

wp__sw_implementation_inspection

Implementation Inspection

Status

draft

wp__sw_component_dfa

DFA

Status

draft

wp__sw_component_fmea

FMEA

Status

draft

The following additional tables are used for checking traceability completeness.

Tracability of (valid) Feature Requirements to Component Requirements#

Valid feature requirements without any derived component requirements are highlighted in red.

Show component traceability table
Valid lifecycle feature requirements and traced component requirements#

ID

Title

Derived From Back

Status

Component grouping configuration

comp_req__launch_man__central_default_defines; comp_req__launch_man__lazy_check

valid

Conditional launching

comp_req__launch_man__check_dependency_exec; comp_req__launch_man__comp_activate_tout; comp_req__launch_man__conf_comp_active_tout; comp_req__launch_man__conf_of_comp_ready_cond; comp_req__launch_man__conf_rt_active_tout; comp_req__launch_man__configurable_wait_time; comp_req__launch_man__define_swc_dependencies; comp_req__launch_man__dep_based_startup_order; comp_req__launch_man__rc_file_state; comp_req__launch_man__rc_lifecycle; comp_req__launch_man__rc_os_state; comp_req__launch_man__rt_activate_tout; comp_req__launch_man__rt_comp_dep; comp_req__launch_man__rt_rt_dep

valid

Control commands

valid

Handling process dependency in termination

comp_req__launch_man__fast_shutdown_support; comp_req__launch_man__launch_manager_shutdown; comp_req__launch_man__launcher_exit_shutdown; comp_req__launch_man__stop_order_spec; comp_req__launch_man__stop_process_dependents

valid

Health Monitor checkpoint supervision

valid

Health Monitor deadline supervision

valid

Health Monitor logical supervision

valid

Launch manager self health check

comp_req__launch_man__lm_ext_watchdog_cfg; comp_req__launch_man__lm_ext_watchdog_notify; comp_req__launch_man__lm_ext_wdg_failed_test

valid

Lifecycle programing language support

valid

Logging support

comp_req__launch_man__dag_logging_controlif; comp_req__launch_man__log_timestamp; comp_req__launch_man__process_logging_support; comp_req__launch_man__slog2_logging

valid

Process dependency handling

comp_req__launch_man__consistent_dependencies; comp_req__launch_man__process_state_comm

valid

Process liveliness detection

valid

Process monitoring

comp_req__launch_man__ext_monitor_notify; comp_req__launch_man__failure_detect_runtime; comp_req__launch_man__failure_detect_startup; comp_req__launch_man__monitoring_processes

valid

Process sandbox options

comp_req__launch_man__aslr_support; comp_req__launch_man__capability_support; comp_req__launch_man__cwd_support; comp_req__launch_man__detach_parent_process; comp_req__launch_man__fd_inheritance; comp_req__launch_man__launch_priority_support; comp_req__launch_man__process_input_output; comp_req__launch_man__process_rlimit_support; comp_req__launch_man__runmask_support; comp_req__launch_man__scheduling_policy; comp_req__launch_man__secpol_non_root; comp_req__launch_man__std_handle_redir; comp_req__launch_man__supplementary_groups; comp_req__launch_man__support_secpol_type; comp_req__launch_man__terminal_support; comp_req__launch_man__uid_gid_support

valid

Recovery action

comp_req__launch_man__recovery_reactivate; comp_req__launch_man__recovery_stop; comp_req__launch_man__recovery_stop_start; comp_req__launch_man__recovery_switch_rt; comp_req__launch_man__recovery_watchdog; comp_req__launch_man__retries_configurable

valid

Run target support

comp_req__launch_man__start_named_run_target; comp_req__launch_man__switch_run_targets

valid

Support for launching processes

comp_req__health_monitor__dummy; comp_req__launch_man__launch_parallel; comp_req__launch_man__process_launch_args

valid

Terminating process

comp_req__launch_man__configurable_timeout; comp_req__launch_man__shutdown_signal; comp_req__launch_man__time_to_wait_config

valid

Traceability of (valid) Feature Requirements to Feature Architecture#

Valid feature requirements without any linked feature architecture element are highlighted in red.

Show architecture traceability table
Valid lifecycle feature requirements and linked architecture elements#

ID

Title

Fulfils Back

Status

Component grouping configuration

feat_arc_sta__lifecycle__cfg_params_static

valid

Conditional launching

feat_arc_dyn__lifecycle__comp_sm_if; feat_arc_dyn__lifecycle__lcm_start; feat_arc_dyn__lifecycle__proc_sm_if

valid

Control commands

feat_arc_dyn__lifecycle__comp_sm_if; feat_arc_dyn__lifecycle__control_activate

valid

Handling process dependency in termination

feat_arc_dyn__lifecycle__lcm_term

valid

Health Monitor checkpoint supervision

feat_arc_dyn__lifecycle__app_ctrl_flow_mon; feat_arc_dyn__lifecycle__app_health_mon

valid

Health Monitor deadline supervision

feat_arc_dyn__lifecycle__app_health_mon

valid

Health Monitor logical supervision

feat_arc_dyn__lifecycle__app_ctrl_flow_mon

valid

Launch manager self health check

feat_arc_dyn__lifecycle__watch

valid

Lifecycle programing language support

valid

Logging support

feat_arc_sta__lifecycle__static_view_arch

valid

Process dependency handling

feat_arc_dyn__lifecycle__comp_sm_if; feat_arc_dyn__lifecycle__lcm_start; feat_arc_dyn__lifecycle__lcm_startup; feat_arc_dyn__lifecycle__lcm_term; feat_arc_dyn__lifecycle__proc_sm_if

valid

Process liveliness detection

feat_arc_dyn__lifecycle__alive_monitor_start; feat_arc_dyn__lifecycle__alive_monitor_stop; feat_arc_dyn__lifecycle__app_ctrl_flow_mon; feat_arc_dyn__lifecycle__app_health_mon

valid

Process monitoring

valid

Process sandbox options

valid

Recovery action

feat_arc_dyn__lifecycle__crash

valid

Run target support

feat_arc_dyn__lifecycle__lcm_start; feat_arc_dyn__lifecycle__lcm_startup; feat_arc_sta__lifecycle__cfg_params_static

valid

Support for launching processes

feat_arc_dyn__lifecycle__comp_sm_if; feat_arc_dyn__lifecycle__lcm_start; feat_arc_dyn__lifecycle__lcm_startup; feat_arc_dyn__lifecycle__proc_sm_if; feat_arc_sta__lifecycle__static_view_arch

valid

Terminating process

feat_arc_dyn__lifecycle__comp_sm_if; feat_arc_dyn__lifecycle__lcm_shutdown; feat_arc_dyn__lifecycle__lcm_term; feat_arc_dyn__lifecycle__proc_sm_if

valid

Traceability of (valid) Component Requirements to Component Architecture#

Valid component requirements without any linked component architecture elements are highlighted in red.

Show component architecture traceability table
Valid component requirements and linked component architecture elements#

ID

Title

Fulfils Back

Status

comp_req__launch_man__aslr_support

ASLR support

valid

comp_req__launch_man__comp_activate_tout

Component activation timeout

valid

comp_req__launch_man__failure_detect_runtime

Component monitoring during runtime

valid

comp_req__launch_man__failure_detect_startup

Component monitoring during startup

valid

comp_req__launch_man__check_dependency_exec

Condition check based on at least one dependency

valid

comp_req__launch_man__define_swc_dependencies

Condition check for each SWC its dependencies

valid

comp_req__launch_man__retries_configurable

Configurable amount of retries on startup

valid

comp_req__launch_man__time_to_wait_config

Configurable delay between SIGTERM and SIGKILL

valid

comp_req__launch_man__conf_comp_active_tout

Configuration of component activation timeout

valid

comp_req__launch_man__conf_of_comp_ready_cond

Configuration of component readiness conditions

valid

comp_req__launch_man__conf_rt_active_tout

Configuration of Run Target activation timeout

valid

comp_req__launch_man__runmask_support

CPU runmask support

valid

comp_req__launch_man__cwd_support

CWD support

valid

comp_req__launch_man__stop_process_dependents

Dangling dependency

valid

comp_req__launch_man__dep_based_startup_order

Dependency based startup order

valid

comp_req__health_monitor__dummy

Dummy Component

comp_arc_dyn__deadline_monitor__dynamic_view; comp_arc_dyn__health_lib_thread__dynamic_view; comp_arc_dyn__health_monitor__dynamic_view; comp_arc_dyn__health_monitor__shutdown_view; comp_arc_dyn__health_monitor__startup_view; comp_arc_dyn__heartbeat_monitor__dynamic_view; comp_arc_dyn__logic_monitor__dynamic_view; comp_arc_sta__deadline_monitor__static_view; comp_arc_sta__health_mon__hm; comp_arc_sta__health_monitor__static_view; comp_arc_sta__logic_monitor__static_view; real_arc_int__deadline_monitor__interface; real_arc_int__health_monitor__interface; real_arc_int__heartbeat_monitor__interface; real_arc_int__logic_monitor__interface

valid

comp_req__launch_man__fd_inheritance

File descriptor inheritance support

valid

comp_req__launch_man__central_default_defines

Global process properties

valid

comp_req__launch_man__process_launch_args

Handling process args

comp_arc_sta__launch_manager__lm

valid

comp_req__launch_man__consistent_dependencies

Invalid dependency

valid

comp_req__launch_man__lm_ext_watchdog_cfg

Launch manager external monitoring configuration

valid

comp_req__launch_man__lm_ext_watchdog_notify

Launch manager external watchdog notification

valid

comp_req__launch_man__lm_ext_wdg_failed_test

Launch manager external watchdog notification - failed test

valid

comp_req__launch_man__launcher_exit_shutdown

Launch Manager shutdown

valid

comp_req__launch_man__launch_parallel

Launching processes in parallel

valid

comp_req__launch_man__start_named_run_target

Launching run target

valid

comp_req__launch_man__terminal_support

Launching terminal

valid

comp_req__launch_man__lazy_check

Lazy check of configured commands

valid

comp_req__launch_man__dag_logging_controlif

Logging DAG

valid

comp_req__launch_man__slog2_logging

Logging slog2 and file support

valid

comp_req__launch_man__process_logging_support

Logging state transitions

valid

comp_req__launch_man__log_timestamp

Logging timestamp

valid

comp_req__launch_man__configurable_wait_time

Monitoring and recovery: recovery wait time

valid

comp_req__launch_man__secpol_non_root

Non-root support

valid

comp_req__launch_man__launch_manager_shutdown

Normal shutdown

valid

comp_req__launch_man__capability_support

Process capability support

valid

comp_req__launch_man__launch_priority_support

Process priority support

valid

comp_req__launch_man__process_state_comm

Process state

valid

comp_req__launch_man__ext_monitor_notify

Process state notification

valid

comp_req__launch_man__uid_gid_support

Process user, group IDs support

valid

comp_req__launch_man__rc_file_state

Ready Condition - File state

valid

comp_req__launch_man__rc_lifecycle

Ready Condition - Lifecycle Interface

valid

comp_req__launch_man__rc_os_state

Ready Condition - OS Process State

valid

comp_req__launch_man__recovery_reactivate

Recovery by reactivating the component

valid

comp_req__launch_man__recovery_switch_rt

Recovery by switching the Run Target

valid

comp_req__launch_man__process_rlimit_support

Resource limit support

valid

comp_req__launch_man__rt_activate_tout

Run Target activation timeout

valid

comp_req__launch_man__rt_comp_dep

Run target to component dependencies

valid

comp_req__launch_man__rt_rt_dep

Run target to run target dependencies

valid

comp_req__launch_man__scheduling_policy

Scheduling support

valid

comp_req__launch_man__support_secpol_type

Security policy support

valid

comp_req__launch_man__shutdown_signal

Shutdown signal handling

valid

comp_req__launch_man__std_handle_redir

Standard handle redirection

valid

comp_req__launch_man__configurable_timeout

Stop timeout

valid

comp_req__launch_man__supplementary_groups

Supplementary group support

valid

comp_req__launch_man__switch_run_targets

Switch between run targets

valid