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

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

Health Monitor Requirements Status (ASIL B): valid_inspected 0, valid 1, invalid 0

Health Monitor Requirements Test Coverage (ASIL B): fully covered 0, partially covered 0, not covered 1

QM — Requirements

no QM requirements

Component Architecture Statistics#

ASIL B — Architecture Elements

Health Monitor Architecture Elements Status (ASIL B): valid_inspected 0, valid 11, invalid 0

Health Monitor Architecture Elements Test Coverage (ASIL B): fully covered 0, partially covered 0, not covered 11

QM — Architecture Elements

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:

Test Coverage#

No coverage data available for this component.

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

Launch Manager Requirements Status (ASIL B): valid_inspected 0, valid 61, invalid 0

Launch Manager Requirements Test Coverage (ASIL B): fully covered 11, partially covered 3, not covered 47

QM — Requirements

Launch Manager Requirements Status (QM): valid 2, invalid 0

Launch Manager Requirements Test Coverage (QM): fully covered 0, partially covered 0, not covered 2

Component Architecture Statistics#

ASIL B — Architecture Elements

Launch Manager Architecture Elements Status (ASIL B): valid_inspected 0, valid 1, invalid 0

Launch Manager Architecture Elements Test Coverage (ASIL B): fully covered 0, partially covered 0, not covered 1

QM — Architecture Elements

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__failure_detect	Process launch monitoring	ASIL_B	valid	test_recovery_action_simple_rep_failure (passed); test_crash_on_startup (passed); test_recovery_action_complex_rep_failure (passed)
comp_req__launch_man__retries_configurable	Configurable amount of retries	ASIL_B	valid	test_crash_on_startup (passed)
comp_req__launch_man__process_state_comm	Process state	ASIL_B	valid	test_rt_running_when_process_exits (passed); test_process_launch_args (passed); test_switch_run_target (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__launcher_exit_shutdown	Launch Manager shutdown	ASIL_B	valid	test_lm_shutdown (passed); test_lm_shutdown (passed)
comp_req__launch_man__shutdown_signal	Shutdown signal handling	ASIL_B	valid	test_shutdown_signal (passed)
comp_req__launch_man__process_launch_args	Handling process args	ASIL_B	valid	test_process_launch_args (passed)
comp_req__launch_man__path_condition_check	Condition check based on path	ASIL_B	valid	test_ready_condition_file_not_existing (passed); test_ready_condition_file (passed)
comp_req__launch_man__ext_monitor_notify	Process state notification	ASIL_B	valid	test_complex_monitoring (passed)
comp_req__launch_man__launch_manager_shutdown	Normal shutdown	ASIL_B	valid	test_switch_run_target (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#

No coverage data available for this component.

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.

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