Verification Report

Lifecycle Verification Report		status: draft security: YES safety: ASIL_B
version: 1 realizes: wp__verification_module_ver_report
doc__lifecycle_verification_report		Generic Document

Legend — status values and chart colours

Status — ASIL B valid_inspected — agreed and formally inspected valid — agreed, formal inspection still outstanding invalid — not agreed; metamodel checks are skipped

Status — QM valid — agreed; QM needs are not formally inspected, so this is their final state (valid_inspected counts here too) invalid — not agreed; metamodel checks are skipped

Test coverage — both classes fully covered — at least one test fully verifies the need partially covered — only partially verifying tests not covered — no verifying test at all

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

ASIL B — Requirements

QM — Requirements

Requirements Status (QM) no QM requirements

Requirements Test Coverage (QM) no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

Architecture Elements Status (QM) no QM architecture elements

Architecture Elements Test Coverage (QM) no QM architecture elements

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 valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__health_mon__hm	Health Monitor Static View	ASIL_B	valid
comp_arc_sta__deadline_monitor__static_view	Deadline Monitor	ASIL_B	valid
comp_arc_sta__logic_monitor__static_view	Logic Monitor	ASIL_B	valid
comp_arc_sta__health_monitor__static_view	Health Monitor	ASIL_B	valid
comp_arc_dyn__health_monitor__dynamic_view	HealthMonitor Creation	ASIL_B	valid
comp_arc_dyn__health_lib_thread__dynamic_view	HealthMonitor background thread	ASIL_B	valid
comp_arc_dyn__deadline_monitor__dynamic_view	DeadlineMonitor Usage	ASIL_B	valid
comp_arc_dyn__logic_monitor__dynamic_view	LogicMonitor Usage	ASIL_B	valid
comp_arc_dyn__heartbeat_monitor__dynamic_view	HeartbeatMonitor Usage	ASIL_B	valid
comp_arc_dyn__health_monitor__startup_view	Health Monitoring Startup Interaction	ASIL_B	valid
comp_arc_dyn__health_monitor__shutdown_view	Health Monitoring Shutdown Interaction	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
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	ID doc__health_monitor_req_inspection	Status draft
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	ID doc__health_monitor_arc_inspection	Status draft
Implementation Inspection (wp__sw_implementation_inspection)	Implementation Inspection	ID doc__health_monitor_impl_inspection	Status draft
Component DFA (wp__sw_component_dfa)	DFA	ID doc__health_monitor_dfa	Status draft
Component FMEA (wp__sw_component_fmea)	FMEA	ID doc__health_monitor_fmea	Status draft

Launch Manager

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

Architecture Elements Status (QM) no QM architecture elements

Architecture Elements Test Coverage (QM) no QM architecture elements

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__process_input_output	Forward process information	ASIL_B	valid
comp_req__launch_man__debug_support	Launching process in debug mode	ASIL_B	valid
comp_req__launch_man__support_held_state	Launching process in state waiting for a debugger connection	ASIL_B	valid
comp_req__launch_man__terminal_support	Launching terminal	ASIL_B	valid
comp_req__launch_man__std_handle_redir	Standard handle redirection	ASIL_B	valid
comp_req__launch_man__secpol_non_root	Non-root support	ASIL_B	valid
comp_req__launch_man__capability_support	Process capability support	ASIL_B	valid
comp_req__launch_man__fd_inheritance	File descriptor inheritance support	ASIL_B	valid
comp_req__launch_man__support_secpol_type	Security policy support	ASIL_B	valid
comp_req__launch_man__runmask_support	CPU runmask support	ASIL_B	valid
comp_req__launch_man__aslr_support	ASLR support	ASIL_B	valid
comp_req__launch_man__process_rlimit_support	Resource limit support	ASIL_B	valid
comp_req__launch_man__detach_parent_process	Process detach from parent support	ASIL_B	valid
comp_req__launch_man__cond_process_start	Conditionally launch of processes	ASIL_B	valid
comp_req__launch_man__total_wait_time_support	Condition timeout	ASIL_B	valid
comp_req__launch_man__polling_interval	Conditional launch polling interval	ASIL_B	valid
comp_req__launch_man__validate_conditions	Pre-start validation	ASIL_B	valid
comp_req__launch_man__validation_conditions	post-start validation	ASIL_B	valid
comp_req__launch_man__launcher_status_storage	Launched Process status	ASIL_B	valid
comp_req__launch_man__condition_check_method	Condition check based on status	ASIL_B	valid
comp_req__launch_man__config_actions_cond	Configuration of action based on condition evaluation	ASIL_B	valid
comp_req__launch_man__env_variable_cond_check	Condition check based on ENV	ASIL_B	valid
comp_req__launch_man__dependency_check	Condition check based on all dependency	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__define_swc_dependencies	Condition check for each SWC its dependencies	ASIL_B	valid
comp_req__launch_man__drop_supervsion	Dropping process responsibility	ASIL_B	valid
comp_req__launch_man__multi_start_support	Multiple instance of executable	ASIL_B	valid
comp_req__launch_man__consistent_dependencies	Invalid dependency	ASIL_B	valid
comp_req__launch_man__stop_process_dependents	Dangling dependency	ASIL_B	valid
comp_req__launch_man__stop_order_spec	Coordination stop dependency	ASIL_B	valid
comp_req__launch_man__configurable_timeout	Stop timeout	ASIL_B	valid
comp_req__launch_man__time_to_wait_config	Configurable delay between SIGTERM and SIGKILL	ASIL_B	valid
comp_req__launch_man__fast_shutdown_support	Fast shutdown	ASIL_B	valid
comp_req__launch_man__configurable_wait_time	Monitoring and recovery: recovery wait time	ASIL_B	valid
comp_req__launch_man__monitoring_processes	Monitoring and recovery: adopted process monitoring	ASIL_B	valid
comp_req__launch_man__process_failure_react	Recovery	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__lm_ext_watchdog_cfg	Launch manager external monitoring configuration	ASIL_B	valid
comp_req__launch_man__slog2_logging	Logging slog2 and file support	ASIL_B	valid
comp_req__launch_man__process_logging_support	Logging state transitions	ASIL_B	valid
comp_req__launch_man__log_timestamp	Logging timestamp	ASIL_B	valid
comp_req__launch_man__dag_logging_controlif	Logging DAG	ASIL_B	valid
comp_req__launch_man__modular_config_support	Configuration file support	ASIL_B	valid
comp_req__launch_man__runtime_config_compat	Runtime configuration compliance	ASIL_B	valid
comp_req__launch_man__central_default_defines	Global process properties	ASIL_B	valid
comp_req__launch_man__lazy_check	Lazy check of configured commands	ASIL_B	valid
comp_req__launch_man__path_condition_check	Condition check based on path	ASIL_B	valid	test_ready_condition_file (passed); test_ready_condition_file_not_existing (passed)
comp_req__launch_man__process_state_comm	Process state	ASIL_B	valid	test_switch_run_target (passed); test_rt_running_when_process_exits (passed); test_process_launch_args (passed)
comp_req__launch_man__launch_manager_shutdown	Normal shutdown	ASIL_B	valid	test_switch_run_target (passed)
comp_req__launch_man__failure_detect	Process launch monitoring	ASIL_B	valid	test_recovery_action_simple_rep_failure (passed); test_recovery_action_complex_rep_failure (passed); test_crash_on_startup (passed)
comp_req__launch_man__launcher_exit_shutdown	Launch Manager shutdown	ASIL_B	valid	test_lm_shutdown (passed); test_lm_shutdown (passed)
comp_req__launch_man__process_launch_args	Handling process args	ASIL_B	valid	test_process_launch_args (passed)
comp_req__launch_man__ext_monitor_notify	Process state notification	ASIL_B	valid	test_complex_monitoring (passed)
comp_req__launch_man__retries_configurable	Configurable amount of retries	ASIL_B	valid	test_crash_on_startup (passed)
comp_req__launch_man__shutdown_signal	Shutdown signal handling	ASIL_B	valid	test_shutdown_signal (passed)
comp_req__launch_man__uid_gid_support	Process user, group IDs support	ASIL_B	valid	test_sandbox_options (passed)
comp_req__launch_man__launch_priority_support	Process priority support	ASIL_B	valid	test_sandbox_options (passed)
comp_req__launch_man__scheduling_policy	Scheduling support	ASIL_B	valid	test_sandbox_options (passed)
comp_req__launch_man__cwd_support	CWD support	ASIL_B	valid	test_sandbox_options (passed)
comp_req__launch_man__supplementary_groups	Supplementary group support	ASIL_B	valid	test_sandbox_options (passed)
comp_req__launch_man__dependency_visu	Configuration dependency view	QM	valid
comp_req__launch_man__offline_config_valid	Configuration Verification tool	QM	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 valid_inspected status; elements with another status 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
Requirements Inspection (wp__requirements_inspect)	Requirements Inspection	ID doc__launch_manager_req_inspection	Status draft
Architecture Verification (wp__sw_arch_verification)	Architecture Inspection	ID doc__launch_manager_arc_inspection	Status draft
Implementation Inspection (wp__sw_implementation_inspection)	Implementation Inspection	ID doc__launch_manager_impl_inspection	Status draft
Component DFA (wp__sw_component_dfa)	DFA	ID doc__launch_manager_dfa	Status draft
Component FMEA (wp__sw_component_fmea)	FMEA	ID doc__launch_manager_fmea	Status draft