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

Lifecycle

Name	Id	Safety	Security	Status
Lifecycle	feat__lifecycle	ASIL_B	YES	valid

Requirements Statistics

Show requirements table

ID	Title	Safety	Status	Fully Verifies Back	Partially Verifies Back
feat_req__lifecycle__component_group_config	Component grouping configuration	ASIL_B	valid
feat_req__lifecycle__conditional_startup	Conditional launching	ASIL_B	valid
feat_req__lifecycle__config_file_support	Configuration file support	ASIL_B	valid
feat_req__lifecycle__control_commands	Control commands	ASIL_B	valid
feat_req__lifecycle__controlif_status	Report "started/running/degraded"	ASIL_B	valid
feat_req__lifecycle__custom_cond_support	Control interface support	ASIL_B	valid
feat_req__lifecycle__deps_visualization	Configuration Dependency view	QM	valid
feat_req__lifecycle__hm_checkpoint	Health Monitor checkpoint supervision	ASIL_B	valid
feat_req__lifecycle__hm_deadline	Health Monitor deadline supervision	ASIL_B	valid
feat_req__lifecycle__hm_logical	Health Monitor logical supervision	ASIL_B	valid
feat_req__lifecycle__launch_support	Support for launching processes	ASIL_B	valid	testcase__test_process_launch_args_jkrjn	testcase__test_rt_running_when_process_exits_iqhfm
feat_req__lifecycle__liveliness_detection	Process liveliness detection	ASIL_B	valid
feat_req__lifecycle__lm_self_health_check	Launch manager self health check	ASIL_B	valid
feat_req__lifecycle__logging_support	Logging support	ASIL_B	valid
feat_req__lifecycle__monitor_abnormal_term	Process crash monitoring	ASIL_B	valid	testcase__test_process_crash_monitoring_yhgjk
feat_req__lifecycle__multi_instance_support	Multi-instance	ASIL_B	valid
feat_req__lifecycle__oci_compliant	OCI Compliant	ASIL_B	valid
feat_req__lifecycle__parallel_launch_support	Launching processes in parallel	ASIL_B	valid	testcase__test_parallel_launch_qjjer
feat_req__lifecycle__process_ordering	Process dependency handling	ASIL_B	valid	testcase__test_switch_run_target_aaido
feat_req__lifecycle__process_termination	Terminating process	ASIL_B	valid	testcase__test_switch_run_target_aaido
feat_req__lifecycle__prog_lang	Lifecycle programing language support	ASIL_B	valid
feat_req__lifecycle__query_commands	Query commands	ASIL_B	valid
feat_req__lifecycle__recov_run_target_switch	Run target switch as recovery action	ASIL_B	valid	testcase__test_crash_on_startup_nwhxf	testcase__test_recovery_action_complex_rep_failure_vpcrr; testcase__test_recovery_action_simple_rep_failure_pmxwo
feat_req__lifecycle__recovery_action_support	Recovery action	ASIL_B	valid		testcase__test_crash_on_startup_nwhxf; testcase__test_recovery_action_complex_rep_failure_vpcrr; testcase__test_recovery_action_simple_rep_failure_pmxwo
feat_req__lifecycle__request_run_target_start	Request run target launch	ASIL_B	valid	testcase__test_switch_run_target_aaido
feat_req__lifecycle__run_target_support	Run target support	ASIL_B	valid
feat_req__lifecycle__running_processes	Process adoption	ASIL_B	valid
feat_req__lifecycle__session_extension	Updating configuration	ASIL_B	valid
feat_req__lifecycle__smart_watchdog_config	Monitoring and recovery: watchdog support	ASIL_B	valid
feat_req__lifecycle__start_named_run_target	Launching run target	ASIL_B	valid	testcase__test_process_launch_args_jkrjn	testcase__test_rt_running_when_process_exits_iqhfm
feat_req__lifecycle__switch_run_targets	Switch between run targets	ASIL_B	valid	testcase__test_switch_run_target_aaido
feat_req__lifecycle__terminationn_dependency	Handling process dependency in termination	ASIL_B	valid	testcase__test_switch_run_target_aaido

Architecture Statistics

Show architectural elements table

ID	Title	Safety	Status	Tags
feat_arc_dyn__lifecycle__alive_monitor	Alive Monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__app_ctrl_flow_mon	Logical control flow monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__app_health_mon	Application health monitoring	ASIL_B	valid
feat_arc_dyn__lifecycle__control_activate	Control interface dynamic architecture activate run target	ASIL_B	valid
feat_arc_dyn__lifecycle__state_machine_if	Lifecyle Interface	ASIL_B	valid
feat_arc_sta__lifecycle__static_view_arch	Lifecycle Static View	ASIL_B	valid

Inspection Statistics

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	ID doc__lifecycle_arc_inspection	Status draft

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

Component Architecture Statistics

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	Fully Verifies Back	Partially Verifies Back
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	ID doc__health_monitor_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__health_monitor_arc_inspection	Status draft
wp__sw_implementation_inspection	Implementation Inspection	ID doc__health_monitor_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__health_monitor_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__health_monitor_fmea	Status draft

Launch Manager

---

Component Requirements Statistics

Component Architecture Statistics

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	Fully Verifies Back	Partially Verifies Back
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__cond_process_start	Conditionally launch of processes	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__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	testcase__test_sandbox_options_qqucd
comp_req__launch_man__dag_logging_controlif	Logging DAG	ASIL_B	valid
comp_req__launch_man__debug_support	Launching process in debug mode	ASIL_B	valid
comp_req__launch_man__define_swc_dependencies	Condition check for each SWC its dependencies	ASIL_B	valid
comp_req__launch_man__dependency_check	Condition check based on all dependency	ASIL_B	valid
comp_req__launch_man__dependency_visu	Configuration dependency view	QM	valid
comp_req__launch_man__detach_parent_process	Process detach from parent support	ASIL_B	valid
comp_req__launch_man__drop_supervsion	Dropping process responsibility	ASIL_B	valid
comp_req__launch_man__env_variable_cond_check	Condition check based on ENV	ASIL_B	valid
comp_req__launch_man__ext_monitor_notify	Process state notification	ASIL_B	valid		testcase__test_complex_monitoring_jxjwl
comp_req__launch_man__failure_detect	Process launch monitoring	ASIL_B	valid	testcase__test_crash_on_startup_nwhxf; testcase__test_recovery_action_complex_rep_failure_vpcrr; testcase__test_recovery_action_simple_rep_failure_pmxwo
comp_req__launch_man__fast_shutdown_support	Fast shutdown	ASIL_B	valid
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	testcase__test_switch_run_target_aaido
comp_req__launch_man__launch_priority_support	Process priority support	ASIL_B	valid	testcase__test_sandbox_options_qqucd
comp_req__launch_man__launcher_exit_shutdown	Launch Manager shutdown	ASIL_B	valid		testcase__test_lm_shutdown_ntzjf; testcase__test_lm_shutdown_nzvhk
comp_req__launch_man__launcher_status_storage	Launched Process status	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	valid
comp_req__launch_man__monitoring_processes	Monitoring and recovery: adopted process monitoring	ASIL_B	valid
comp_req__launch_man__multi_start_support	Multiple instance of executable	ASIL_B	valid
comp_req__launch_man__offline_config_valid	Configuration Verification tool	QM	valid
comp_req__launch_man__path_condition_check	Condition check based on path	ASIL_B	valid		testcase__test_ready_condition_file_not_existing_ccwby; testcase__test_ready_condition_file_uyliv
comp_req__launch_man__polling_interval	Conditional launch polling interval	ASIL_B	valid
comp_req__launch_man__process_failure_react	Recovery	ASIL_B	valid
comp_req__launch_man__process_input_output	Forward process information	ASIL_B	valid
comp_req__launch_man__process_launch_args	Handling process args	ASIL_B	valid	testcase__test_process_launch_args_jkrjn
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	testcase__test_process_launch_args_jkrjn; testcase__test_switch_run_target_aaido	testcase__test_rt_running_when_process_exits_iqhfm
comp_req__launch_man__retries_configurable	Configurable amount of retries	ASIL_B	valid	testcase__test_crash_on_startup_nwhxf
comp_req__launch_man__runmask_support	CPU runmask support	ASIL_B	valid
comp_req__launch_man__runtime_config_compat	Runtime configuration compliance	ASIL_B	valid
comp_req__launch_man__scheduling_policy	Scheduling support	ASIL_B	valid	testcase__test_sandbox_options_qqucd
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	testcase__test_shutdown_signal_fknyh
comp_req__launch_man__slog2_logging	Logging slog2 and file support	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	valid
comp_req__launch_man__stop_process_dependents	Dangling dependency	ASIL_B	valid
comp_req__launch_man__supplementary_groups	Supplementary group support	ASIL_B	valid	testcase__test_sandbox_options_qqucd
comp_req__launch_man__support_held_state	Launching process in state waiting for a debugger connection	ASIL_B	valid
comp_req__launch_man__support_secpol_type	Security policy support	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__total_wait_time_support	Condition timeout	ASIL_B	valid
comp_req__launch_man__uid_gid_support	Process user, group IDs support	ASIL_B	valid	testcase__test_sandbox_options_qqucd
comp_req__launch_man__validate_conditions	Pre-start validation	ASIL_B	valid
comp_req__launch_man__validation_conditions	post-start validation	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	ID doc__launch_manager_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__launch_manager_arc_inspection	Status draft
wp__sw_implementation_inspection	Implementation Inspection	ID doc__launch_manager_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__launch_manager_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__launch_manager_fmea	Status draft