From c715c1cf35593d1e3ac818ae625f2be36e9ce661 Mon Sep 17 00:00:00 2001 From: Pawel Rutka Date: Thu, 16 Jul 2026 06:49:48 +0000 Subject: [PATCH 1/2] Add HealthMonitoring requirements --- .../features/lifecycle/requirements/index.rst | 52 +++++++++++++++++++ 1 file changed, 52 insertions(+) diff --git a/docs/features/lifecycle/requirements/index.rst b/docs/features/lifecycle/requirements/index.rst index b2618c36265..fa7665fbd0b 100644 --- a/docs/features/lifecycle/requirements/index.rst +++ b/docs/features/lifecycle/requirements/index.rst @@ -1068,6 +1068,45 @@ Monitoring, Notification and Recovery The :term:`Launch Manager` shall support configuring the :term:`Interval` of the internal health check executions. +.. feat_req:: Health Monitor deadline supervision + :id: feat_req__lifecycle__hm_deadline + :reqtype: Functional + :security: NO + :safety: ASIL_B + :derived_from: stkh_req__execution_model__processes[version==1] + :status: invalid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Health Monitor` shall support deadline supervision to allow + monitoring timely execution within application to detect timing violations. + +.. feat_req:: Health Monitor logical supervision + :id: feat_req__lifecycle__hm_logical + :reqtype: Functional + :security: NO + :safety: ASIL_B + :derived_from: stkh_req__execution_model__processes[version==1] + :status: invalid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Health Monitor` shall support logical supervision to allow + monitoring execution flow within application to detect logical errors. + +.. feat_req:: Health Monitor checkpoint supervision + :id: feat_req__lifecycle__hm_checkpoint + :reqtype: Functional + :security: NO + :safety: ASIL_B + :derived_from: stkh_req__execution_model__processes[version==1] + :status: invalid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Health Monitor` shall support checkpoint supervision to allow + monitoring periodic execution within application to detect failures. + Logging ------- @@ -1241,3 +1280,16 @@ Configuration file :valid_from: v1.0.0 The Launch Manager shall have a means to validate the configuration offline. + +.. feat_req:: Health Monitor configuration file support + :id: feat_req__lifecycle__hm_config_support + :reqtype: Functional + :security: NO + :safety: ASIL_B + :derived_from: stkh_req__functional_req__file_based[version==1] + :status: invalid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Health Monitor` shall provide modular configuration file support to + configure health checks. From 57725d63615ef3c1dc481e51bdfb8b83849a8d08 Mon Sep 17 00:00:00 2001 From: Pawel Rutka Date: Wed, 22 Jul 2026 10:47:35 +0000 Subject: [PATCH 2/2] Review fixes --- docs/features/lifecycle/glossary.rst | 4 +- .../features/lifecycle/requirements/index.rst | 49 +++++++++---------- 2 files changed, 27 insertions(+), 26 deletions(-) diff --git a/docs/features/lifecycle/glossary.rst b/docs/features/lifecycle/glossary.rst index 7a5749b82f7..f0075d78b02 100644 --- a/docs/features/lifecycle/glossary.rst +++ b/docs/features/lifecycle/glossary.rst @@ -16,6 +16,8 @@ Glossary ======== .. glossary:: + Lifecycle Feature + Feature providing support for starting and stopping processes. Launch Manager Component to start and stop processes on a POSIX like operating system. @@ -90,7 +92,7 @@ Glossary Ready Condition A configurable condition that must be satisfied before a component is considered ready and operational. Ready conditions can include file system checks, network availability, or custom application-specific signals. - + Ready conditions can either be reported by the component itself through the Lifecycle Interface or determined via external state monitoring. External state examples include: process started, file is available, socket was opened, or that the process finished successfully. Liveliness diff --git a/docs/features/lifecycle/requirements/index.rst b/docs/features/lifecycle/requirements/index.rst index fa7665fbd0b..032d2053f99 100644 --- a/docs/features/lifecycle/requirements/index.rst +++ b/docs/features/lifecycle/requirements/index.rst @@ -1068,44 +1068,56 @@ Monitoring, Notification and Recovery The :term:`Launch Manager` shall support configuring the :term:`Interval` of the internal health check executions. +.. feat_req:: Health Monitor programing language support + :id: feat_req__lifecycle__hm_deadline + :reqtype: Functional + :security: NO + :safety: ASIL_B + :derived_from: stkh_req__dependability__safety_features_1[version==1] + :status: valid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Lifecycle Feature` shall support Rust and C++ programming languages. + .. feat_req:: Health Monitor deadline supervision :id: feat_req__lifecycle__hm_deadline :reqtype: Functional :security: NO :safety: ASIL_B - :derived_from: stkh_req__execution_model__processes[version==1] - :status: invalid + :derived_from: stkh_req__dependability__safety_features_1[version==1] + :status: valid :version: 1 :valid_from: v1.0.0 - The :term:`Health Monitor` shall support deadline supervision to allow - monitoring timely execution within application to detect timing violations. + The :term:`Lifecycle Feature` shall support deadline supervision to allow + monitoring timely execution within applications to detect timing violations. .. feat_req:: Health Monitor logical supervision :id: feat_req__lifecycle__hm_logical :reqtype: Functional :security: NO :safety: ASIL_B - :derived_from: stkh_req__execution_model__processes[version==1] - :status: invalid + :derived_from: stkh_req__dependability__safety_features_1[version==1] + :status: valid :version: 1 :valid_from: v1.0.0 - The :term:`Health Monitor` shall support logical supervision to allow - monitoring execution flow within application to detect logical errors. + The :term:`Lifecycle Feature` shall support logical supervision to allow + monitoring execution flow within applications to detect logical errors. .. feat_req:: Health Monitor checkpoint supervision :id: feat_req__lifecycle__hm_checkpoint :reqtype: Functional :security: NO :safety: ASIL_B - :derived_from: stkh_req__execution_model__processes[version==1] - :status: invalid + :derived_from: stkh_req__dependability__safety_features_1[version==1] + :status: valid :version: 1 :valid_from: v1.0.0 - The :term:`Health Monitor` shall support checkpoint supervision to allow - monitoring periodic execution within application to detect failures. + The :term:`Lifecycle Feature` shall support checkpoint supervision to allow + monitoring periodic execution within applications to detect failures. Logging ------- @@ -1280,16 +1292,3 @@ Configuration file :valid_from: v1.0.0 The Launch Manager shall have a means to validate the configuration offline. - -.. feat_req:: Health Monitor configuration file support - :id: feat_req__lifecycle__hm_config_support - :reqtype: Functional - :security: NO - :safety: ASIL_B - :derived_from: stkh_req__functional_req__file_based[version==1] - :status: invalid - :version: 1 - :valid_from: v1.0.0 - - The :term:`Health Monitor` shall provide modular configuration file support to - configure health checks.