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 b2618c36265..032d2053f99 100644 --- a/docs/features/lifecycle/requirements/index.rst +++ b/docs/features/lifecycle/requirements/index.rst @@ -1068,6 +1068,57 @@ 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__dependability__safety_features_1[version==1] + :status: valid + :version: 1 + :valid_from: v1.0.0 + + 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__dependability__safety_features_1[version==1] + :status: valid + :version: 1 + :valid_from: v1.0.0 + + 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__dependability__safety_features_1[version==1] + :status: valid + :version: 1 + :valid_from: v1.0.0 + + The :term:`Lifecycle Feature` shall support checkpoint supervision to allow + monitoring periodic execution within applications to detect failures. + Logging -------