Requirements

Launching Processes

Support for launching processes		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__launch
The Lifecycle Feature shall provide support for launching Processes.
feat_req__lifecycle__launch_support		Feature Requirement

Process dependency handling		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall provide support for ordering the launching of Processes based on the dependencies.
feat_req__lifecycle__process_ordering		Feature Requirement

Launching processes in parallel		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall provide support for launching Processes in parallel.
feat_req__lifecycle__parallel_launch_support		Feature Requirement

Control interface support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__process_input_output, comp_req__lifecycle__process_launch_args, comp_req__lifecycle__debug_support, comp_req__lifecycle__support_held_state, comp_req__lifecycle__uid_gid_support, comp_req__lifecycle__launch_priority_support, comp_req__lifecycle__cwd_support, comp_req__lifecycle__terminal_support, comp_req__lifecycle__std_handle_redir, comp_req__lifecycle__secpol_non_root, comp_req__lifecycle__retries_configurable, comp_req__lifecycle__capability_support, comp_req__lifecycle__fd_inheritance, comp_req__lifecycle__support_secpol_type, comp_req__lifecycle__supplementary_groups, comp_req__lifecycle__scheduling_policy, comp_req__lifecycle__runmask_support, comp_req__lifecycle__aslr_support, comp_req__lifecycle__process_rlimit_support, comp_req__lifecycle__detach_parent_process
The Lifecycle Feature shall provide support to wait for configurable custom conditions, which can be signaled from applications via Control Interface.
feat_req__lifecycle__custom_cond_support		Feature Requirement

Forward process information		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support to pass the output of one or multiple Processes as input arguments to another process.
comp_req__lifecycle__process_input_output		Component Requirement

Handling process args		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given set of arguments.
comp_req__lifecycle__process_launch_args		Component Requirement

Launching process in debug mode		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching process with a given set of debug arguments in debug mode.
comp_req__lifecycle__debug_support		Component Requirement

Launching process in state waiting for a debugger connection		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process in a state waiting for a debugger connection.
comp_req__lifecycle__support_held_state		Component Requirement

Process user, group IDs support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given UID/GID (user name/Group Identifier).
comp_req__lifecycle__uid_gid_support		Component Requirement

Process priority support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given priority.
comp_req__lifecycle__launch_priority_support		Component Requirement

CWD support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given Working Directory.
comp_req__lifecycle__cwd_support		Component Requirement

Launching terminal		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a terminal or a session leader.
comp_req__lifecycle__terminal_support		Component Requirement

Standard handle redirection		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for stdin, stdout, stderr redirection.
comp_req__lifecycle__std_handle_redir		Component Requirement

Non-root support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support to be started with security policy as non-root.
comp_req__lifecycle__secpol_non_root		Component Requirement

Configurable amount of retries		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall support a configurable amount of retries in case error occurs during startup of a component (e.g. file not available) occurs.
comp_req__lifecycle__retries_configurable		Component Requirement

Process capability support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching Processes with configured OS-specific capabilities and privileges.
comp_req__lifecycle__capability_support		Component Requirement

File descriptor inheritance support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with given File Descriptor inheritance restrictions.
comp_req__lifecycle__fd_inheritance		Component Requirement

Security policy support		status: valid security: YES safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given security policy.
comp_req__lifecycle__support_secpol_type		Component Requirement

Supplementary group support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given set of supplementary groups.
comp_req__lifecycle__supplementary_groups		Component Requirement

Scheduling support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with certain scheduling policy.
comp_req__lifecycle__scheduling_policy		Component Requirement

CPU runmask support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given runmask.
comp_req__lifecycle__runmask_support		Component Requirement

ASLR support		status: valid security: YES safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching process with ASLR (Address Space Layout Randomization).
comp_req__lifecycle__aslr_support		Component Requirement

Resource limit support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process with a given set of system resource limits (rlimit).
comp_req__lifecycle__process_rlimit_support		Component Requirement

Process detach from parent support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__custom_cond_support
The Launch Manager shall provide support for launching a process to detach from parent.
comp_req__lifecycle__detach_parent_process		Component Requirement

Conditional Launching

Conditional launching		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__cond_process_start, comp_req__lifecycle__total_wait_time_support, comp_req__lifecycle__polling_interval, comp_req__lifecycle__validate_conditions, comp_req__lifecycle__validation_conditions, comp_req__lifecycle__launcher_status_storage, comp_req__lifecycle__condition_check_method, comp_req__lifecycle__config_actions_cond, comp_req__lifecycle__path_condition_check, comp_req__lifecycle__env_variable_cond_check, comp_req__lifecycle__dependency_check, comp_req__lifecycle__check_dependency_exec, comp_req__lifecycle__define_swc_dependencies, comp_req__lifecycle__configurable_wait_time fulfilled by: feat_arc_dyn__lifecycle__alive_monitoring
The Lifecycle Feature shall provide launching processes based on conditions.
feat_req__lifecycle__conditional_startup		Feature Requirement

Conditionally launch of processes		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide support to conditionally start a process or process group based on the return value of a single or multiple Processes executed before.
comp_req__lifecycle__cond_process_start		Component Requirement

Condition timeout		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide support for per condition configurable total wait time for launch conditions to be satisfied.
comp_req__lifecycle__total_wait_time_support		Component Requirement

Conditional launch polling interval		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide support for per condition configurable Polling Interval for launch conditions to be checked.
comp_req__lifecycle__polling_interval		Component Requirement

Pre-start validation		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall be able to validate the pre-start conditions of the executable using the conditions.
comp_req__lifecycle__validate_conditions		Component Requirement

post-start validation		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall be able to validate the start of the executable using the conditions.
comp_req__lifecycle__validation_conditions		Component Requirement

Launched Process status		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a way to store the status of the launched process.
comp_req__lifecycle__launcher_status_storage		Component Requirement

Condition check based on status		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a method for condition check based on process state.
comp_req__lifecycle__condition_check_method		Component Requirement

Configuration of action based on condition evaluation		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a way to configure actions based on condition evaluation i.e. to be able to configure SUCCESS and FAILURE case.
comp_req__lifecycle__config_actions_cond		Component Requirement

Condition check based on path		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a method for condition check for a path.
comp_req__lifecycle__path_condition_check		Component Requirement

Condition check based on ENV		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a method for condition check for environment variable.
comp_req__lifecycle__env_variable_cond_check		Component Requirement

Condition check based on all dependency		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a method to check if all dependencies have been executed.
comp_req__lifecycle__dependency_check		Component Requirement

Condition check based on at least one dependency		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a method to check if at least one dependency has been executed.
comp_req__lifecycle__check_dependency_exec		Component Requirement

Condition check for each SWC its dependencies		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide a way to define for each SWC (Software Components), its dependencies.
comp_req__lifecycle__define_swc_dependencies		Component Requirement

Process Management

Process adoption		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__drop_supervsion, comp_req__lifecycle__multi_start_support, comp_req__lifecycle__consistent_dependencies, comp_req__lifecycle__stop_process_dependents, comp_req__lifecycle__stop_order_spec
The Lifecycle Feature shall be able to control already running Processes.
feat_req__lifecycle__running_processes		Feature Requirement

Dropping process responsibility		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__running_processes
The Launch Manager shall provide support to dropping all surveillance and failure reaction activities of Processes.
comp_req__lifecycle__drop_supervsion		Component Requirement

Multiple instance of executable		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__running_processes
The Launch Manager shall permit an executable to be launched more than once.
comp_req__lifecycle__multi_start_support		Component Requirement

Invalid dependency		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__running_processes
The Launch Manager shall reject an inconsistent definition of set of executables dependencies.
comp_req__lifecycle__consistent_dependencies		Component Requirement

Dangling dependency		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__running_processes
The Launch Manager shall be able to stop a process when all it’s dependents are stopped if specified in the set of executables.
comp_req__lifecycle__stop_process_dependents		Component Requirement

Coordination stop dependency		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__running_processes
The Launch Manager shall permit the stop order of non-dependent processes to be specified.
comp_req__lifecycle__stop_order_spec		Component Requirement

OCI Compliant		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__overall_goals__enable_cooperation
The Lifecycle Feature shall be compliant to the OCI Specification v1.2.0.
feat_req__lifecycle__oci_compliant		Feature Requirement

Run targets

Run target support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall provide support for run targets to define collections of Processes that can be launched together.
feat_req__lifecycle__run_target_support		Feature Requirement

Launching run target		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall be able to start a named Run target.
feat_req__lifecycle__start_named_run_target		Feature Requirement

Switch between run targets		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__process_state_comm, comp_req__lifecycle__configurable_timeout, comp_req__lifecycle__failure_detect fulfilled by: feat_arc_dyn__lifecycle__control_if_activate, logic_arc_int__lifecycle__lifecycle_if, feat_arc_dyn__lifecycle__state_machine
The Lifecycle Feature shall be able to switch between different run targets.
feat_req__lifecycle__switch_run_targets		Feature Requirement

Process state		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__switch_run_targets
The Launch Manager shall have a means for the launched Processes to communicate a state, which represents the launched processes’ internal state, to the launcher.
comp_req__lifecycle__process_state_comm		Component Requirement

Terminating Processes

Stop timeout		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__switch_run_targets
The Launch Manager shall provide support for configurable timeout Interval to wait for the process to be stopped.
comp_req__lifecycle__configurable_timeout		Component Requirement

Terminating process		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall provide support for terminating Processes.
feat_req__lifecycle__process_termination		Feature Requirement

Handling process dependency in termination		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__time_to_wait_config, comp_req__lifecycle__launch_manager_shutdown, comp_req__lifecycle__fast_shutdown_support, comp_req__lifecycle__launcher_exit_shutdown, comp_req__lifecycle__shutdown_signal
The Lifecycle Feature shall terminate the Processes based on the dependency order.
feat_req__lifecycle__terminationn_dependency		Feature Requirement

Configurable delay between SIGTERM and SIGKILL		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__terminationn_dependency
The Launch Manager shall offer a configuration of the time to wait before SIGKILL is sent. In case “0” is stated, the SIGKILL shall be sent immediately.
comp_req__lifecycle__time_to_wait_config		Component Requirement

Normal shutdown		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__terminationn_dependency
The Launch Manager shall support normal shutdown by terminating all process in the dependency order.
comp_req__lifecycle__launch_manager_shutdown		Component Requirement

Fast shutdown		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__terminationn_dependency
The Launch Manager shall support fast shutdown by terminating itself without considering the started Processes.
comp_req__lifecycle__fast_shutdown_support		Component Requirement

Launch Manager shutdown		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__terminationn_dependency
The Launch Manager shall exit after performing shutdown operation by stopping all the Processes it owns in the dependency order when requested.
comp_req__lifecycle__launcher_exit_shutdown		Component Requirement

Shutdown signal handling		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__terminationn_dependency
The Launch Manager shall implement a shutdown by sending a SIGTERM to the process. In case the process does not terminate itself, a SIGKILL shall be sent.
comp_req__lifecycle__shutdown_signal		Component Requirement

Control Interface

Control commands		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes fulfilled by: feat_arc_dyn__lifecycle__control_if_activate, feat_arc_dyn__lifecycle__state_machine
The Lifecycle Feature shall provide support for run-target selection.
feat_req__lifecycle__control_commands		Feature Requirement

Query commands		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall provide support for commands to query component states.
feat_req__lifecycle__query_commands		Feature Requirement

Report "started/running/degraded"		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall be able to report status on components via the Control Interface. Note: status can be “started/running/degraded” - refer to documentation for details
feat_req__lifecycle__controlif_status		Feature Requirement

Request run target launch		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes fulfilled by: feat_arc_dyn__lifecycle__control_if_activate, feat_arc_dyn__lifecycle__state_machine
The Lifecycle Feature shall be able to start a named Run target respecting the dependencies when requested.
feat_req__lifecycle__request_run_target_start		Feature Requirement

Monitoring, Notification and Recovery

Process crash monitoring		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__ext_monitor_notify
The Lifecycle Feature shall provide support for monitoring abnormal termination of Processes.
feat_req__lifecycle__monitor_abnormal_term		Feature Requirement

Process state notification		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__monitor_abnormal_term
The Launch Manager shall provide support for external monitors to get notified on process life status.
comp_req__lifecycle__ext_monitor_notify		Component Requirement

Recovery action		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall support Recovery Action for the abnormally terminated Processes.
feat_req__lifecycle__recovery_action_support		Feature Requirement

Run target switch as recovery action		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall support switching to a different Run target as recovery action in case a single process terminated abnormally or lost its Liveliness.
feat_req__lifecycle__recov_run_target_switch		Feature Requirement

Monitoring and recovery: watchdog support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes fulfilled by: feat_arc_dyn__lifecycle__alive_monitoring
The Lifecycle Feature shall support a smart Watchdog, configurable per process.
feat_req__lifecycle__smart_watchdog_config		Feature Requirement

Monitoring and recovery: recovery wait time		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__conditional_startup
The Launch Manager shall provide support for configurable wait time that shall elapse before repeating Recovery Action.
comp_req__lifecycle__configurable_wait_time		Component Requirement

Monitoring and recovery: adopted process monitoring		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__liveliness_detection
The Launch Manager shall provide support for monitoring adopted Processes.
comp_req__lifecycle__monitoring_processes		Component Requirement

Process launch monitoring		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__switch_run_targets
The Launch Manager shall be able to detect and react to failure of the process launch.
comp_req__lifecycle__failure_detect		Component Requirement

Process liveliness detection		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__monitoring_processes, comp_req__lifecycle__process_failure_react fulfilled by: feat_arc_dyn__lifecycle__app_health_moni, feat_arc_dyn__lifecycle__app_ctrl_flow_moni, logic_arc_int__lifecycle__lifecycle_if
The Lifecycle Feature shall be able to detect and react to loss of Liveliness of the Processes it owns, by monitoring the state of the Processes as specified by the set of executables.
feat_req__lifecycle__liveliness_detection		Feature Requirement

Recovery		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__liveliness_detection
The Launch Manager shall be able to react to a process failure by optionally performing one of relaunching the process, stopping the process, stopping the process and starting another process, or triggering QNX Operating System (QOS) Device Safe State (DSS).
comp_req__lifecycle__process_failure_react		Component Requirement

Multi-instance		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v2.0.0 version: 1 derived from: stkh_req__execution_model__processes
The Lifecycle Feature shall be able to run in multiple instances with its own configurations on a system.
feat_req__lifecycle__multi_instance_support		Feature Requirement

Launch manager self health check		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes, stkh_req__dependability__safety_features_1 derives: comp_req__lifecycle__lm_ext_watchdog_notify, comp_req__lifecycle__lm_ext_wdg_failed_test, comp_req__lifecycle__lm_ext_watchdog_cfg
The Lifecycle Feature shall implement time based cyclical monitoring of itself.
feat_req__lifecycle__lm_self_health_check		Feature Requirement

Launch manager external watchdog notification		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__lm_self_health_check
The Launch Manager shall trigger a notification to an external Watchdog for each successful self monitoring test execution.
comp_req__lifecycle__lm_ext_watchdog_notify		Component Requirement

Launch manager external watchdog notification - failed test		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__lm_self_health_check
The Launch Manager shall not trigger an external Watchdog notification if an internal health check failed.
comp_req__lifecycle__lm_ext_wdg_failed_test		Component Requirement

Launch manager external monitoring configuration		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__lm_self_health_check
The Launch Manager shall support configuring the Interval of the internal health check executions.
comp_req__lifecycle__lm_ext_watchdog_cfg		Component Requirement

Health Monitor programing language support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__dependability__safety_features_1
The Lifecycle Feature shall support Rust and C++ programming languages.
feat_req__lifecycle__hm_prog_lang		Feature Requirement

Health Monitor deadline supervision		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__dependability__safety_features_1
The Lifecycle Feature shall support deadline supervision to allow monitoring timely execution within applications to detect timing violations.
feat_req__lifecycle__hm_deadline		Feature Requirement

Health Monitor logical supervision		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__dependability__safety_features_1
The Lifecycle Feature shall support logical supervision to allow monitoring execution flow within applications to detect logical errors.
feat_req__lifecycle__hm_logical		Feature Requirement

Health Monitor checkpoint supervision		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__dependability__safety_features_1
The Lifecycle Feature shall support checkpoint supervision to allow monitoring periodic execution within applications to detect failures.
feat_req__lifecycle__hm_checkpoint		Feature Requirement

Logging

Logging support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__slog2_logging, comp_req__lifecycle__process_logging_support, comp_req__lifecycle__log_timestamp, comp_req__lifecycle__dag_logging_controlif
The Lifecycle Feature shall support logging of process launch, monitoring, and configuration activities.
feat_req__lifecycle__logging_support		Feature Requirement

Logging slog2 and file support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__logging_support
The Launch Manager shall support OS specific logging facilities to analyze the early boot sequence.
comp_req__lifecycle__slog2_logging		Component Requirement

Logging state transitions		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__logging_support
The Launch Manager shall provide support for logging process launches, Processes exit/recovery, internal tasks, and interaction with external monitor.
comp_req__lifecycle__process_logging_support		Component Requirement

Logging timestamp		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__logging_support
The Launch Manager logs shall contain timestamp information.
comp_req__lifecycle__log_timestamp		Component Requirement

Logging DAG		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__logging_support
The Launch Manager shall provide the possibility to log the DAG in a human readable format, triggered via Control Interface.
comp_req__lifecycle__dag_logging_controlif		Component Requirement

Configuration dependency view		status: valid security: NO safety: QM
reqtype: Functional version: 1 derived from: feat_req__lifecycle__deps_visualization
The Launch Manager shall have the means to log the current dependencies in a format that can be visualized when requested.
comp_req__lifecycle__dependency_visu		Component Requirement

Configuration file

Configuration file support		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__functional_req__file_based derives: comp_req__lifecycle__modular_config_support, comp_req__lifecycle__runtime_config_compat
The Lifecycle Feature shall support modular configuration files to configure process attributes, including configurations coming from external formats such as OCI runtime configuration.
feat_req__lifecycle__config_file_support		Feature Requirement

Configuration file support		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__config_file_support
The launch manager shall provide modular configuration file support to configure process attributes.
comp_req__lifecycle__modular_config_support		Component Requirement

Runtime configuration compliance		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__config_file_support
The launch manager shall provide modular configuration files support for configurations coming from OCI runtime configuration<https://github.com/opencontainers/runtime-spec/blob/v1.2.0/config.md>.
comp_req__lifecycle__runtime_config_compat		Component Requirement

Updating configuration		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__functional_req__file_based
The Lifecycle Feature shall provide support for extending already running session with additional new configuration file.
feat_req__lifecycle__session_extension		Feature Requirement

Component grouping configuration		status: valid security: NO safety: ASIL_B
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__functional_req__file_based derives: comp_req__lifecycle__central_default_defines, comp_req__lifecycle__lazy_check
The Lifecycle Feature shall provide support for grouping sets of Components to share configuration.
feat_req__lifecycle__component_group_config		Feature Requirement

Global process properties		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__component_group_config
The Launch Manager shall be able to centrally define defaults for specific properties for the set of executables.
comp_req__lifecycle__central_default_defines		Component Requirement

Lazy check of configured commands		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 derived from: feat_req__lifecycle__component_group_config
The Launch Manager shall check availability of executables in the filesystem only when the executable shall required to be executed.
comp_req__lifecycle__lazy_check		Component Requirement

Configuration Dependency view		status: valid security: NO safety: QM
reqtype: Functional valid_from: v1.0.0 version: 1 derived from: stkh_req__execution_model__processes derives: comp_req__lifecycle__dependency_visu, comp_req__lifecycle__offline_config_valid
The Lifecycle Feature shall have the means to generate the specified dependencies in a format that can be visualized.
feat_req__lifecycle__deps_visualization		Feature Requirement

Configuration Verification tool		status: valid security: NO safety: QM
reqtype: Functional version: 1 derived from: feat_req__lifecycle__deps_visualization
The Launch Manager shall have a means to validate the configuration offline.
comp_req__lifecycle__offline_config_valid		Component Requirement