Control Measures ================ **Coverage:** 100.0% (2 of 2 items OK) .. _lobster-item-a1b4c8dbb8c2995fde4009075017ddce80c99b46: .. dropdown:: [OK] TRLC Controlmeasure MessagePassingFMEA.ServerHealthCheck :class-title: sd-bg-success sd-text-white .. pull-quote:: Monitor server availability and trigger safe state on persistent connection failures .. raw:: html
**Traces to:** * :ref:`MessagePassingFMEA.ServerHealthCheck ` .. raw:: html
**Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:17:25 `__ .. _lobster-item-003b1fc412287cfe52c53ebe6c08d24d3d0f3236: .. dropdown:: [OK] TRLC Controlmeasure MessagePassingFMEA.ClientRetryPolicy :class-title: sd-bg-success sd-text-white .. pull-quote:: Client shall implement a bounded retry mechanism and report error to caller on exhaustion .. raw:: html
**Traces to:** * :ref:`MessagePassingFMEA.ClientRetryPolicy ` .. raw:: html
**Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:23:25 `__