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 `__