Control Measures
================

**Coverage:** 50.0% (2 of 4 items OK)

.. _lobster-item-8ba2f56cc9d8b54d4297b3847b32354ad567a203:

.. dropdown:: [MISSING] TRLC Controlmeasure MessagePassing.BE\_MessageTooBig
   :open:
   :class-title: sd-bg-danger sd-text-white

   .. pull-quote::

      The component shall enforce the configured max\_send\_size, max\_reply\_size, and max\_notify\_size limits on every client send path and every server Reply and Notify path.

   .. raw:: html

      <hr>

   **Traces to:**

   .. card::
      :class-card: lobster-issue-card

      * missing reference to Root Causes

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:43:25 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/safety_analysis/control_measures.trlc#L43>`__

.. _lobster-item-d0b61519b0e18820cc0a4d2fa81d987ed3d2d0c7:

.. dropdown:: [MISSING] TRLC Controlmeasure MessagePassing.BE\_SendQueueExhausted
   :open:
   :class-title: sd-bg-danger sd-text-white

   .. pull-quote::

      The component shall use a pre-allocated, bounded pool for asynchronous client send messages and return an error when the pool is exhausted without blocking or silently dropping the message.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`ClientConnectionTest:GivenTrulyAsyncWhenSendIsCalledItIsQueued <lobster-item-667854f9e97a5436caad1a0d51e28d476e04ab30>`
   * :ref:`ClientConnectionTest:SendIsNotQueuedIfTrulyAsyncButNoSlots <lobster-item-36d31a062fdcc66ccacfec714147dc77a08c80b6>`
   * :ref:`ClientConnectionTest:SendWaitReplyFailsWhenCannotQueueMessage <lobster-item-623d10d217030499d2c6ae17d93ffec58ace32d7>`
   * :ref:`ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessage <lobster-item-cb0d0330c17f35d32fee54205f7ed3275383d2c5>`
   * :ref:`ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessageTrulyAsync <lobster-item-280c6e7dda1c52c934443288f5b202fad466e609>`
   * :ref:`ClientConnectionTest:SendWithCallbackStillHasItsSlotBusyWhenQueuedSendHappensTrulyAsync <lobster-item-f7c4d2f96f6cd8b6746702a9346d57b3c326d1db>`

   .. card::
      :class-card: lobster-issue-card

      * missing reference to Root Causes

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:52:25 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/safety_analysis/control_measures.trlc#L52>`__

.. _lobster-item-a6d90a4f3f29bad1c3304acea059e30b50724844:

.. dropdown:: [OK] TRLC Controlmeasure MessagePassing.OsIpcFaultHandling
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      The component shall detect OS IPC transport failures by checking the return value of every OS call.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenFirstReadDisconnected <lobster-item-42dbfde9428f750b332ce12a2ed5974688265da0>`
   * :ref:`ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenSpuriousReadGetsIgnored <lobster-item-0059dbe3b59ec8de9ecca4efb1ca283efd7c6f7d>`
   * :ref:`ClientConnectionTest:SendWaitReplyFailsWhenCannotSendMessageDirectly <lobster-item-c6262094690d74233f5472a959d4b2c5536e8f48>`
   * :ref:`ClientConnectionTest:SendWaitReplyFailsDirectlyButUnblocksQueue <lobster-item-49110a5404bb26e2b6b91039ab843c6909aec652>`
   * :ref:`ClientConnectionTest:SendWaitReplyFailsWhenQueuedMessageCancels <lobster-item-cb1dc0c2307e084a275d484e3f553b93c46c5473>`
   * :ref:`ClientConnectionTest:SendWithCallbackFailsWhenCannotSendMessageDirectly <lobster-item-30abf3e870d05cc021ca3ed486c29358fd0b3246>`
   * :ref:`ClientConnectionTest:SendWithCallbackReportsFailureWhenQueuedSendFailsTrulyAsync <lobster-item-1870d9d4265965d4bf46d46bd2ebbdb71c2d031e>`
   * :ref:`ClientConnectionTest:QueuedSendsCancelIfConnectionClosed <lobster-item-9741190aa95e383b433aa6b537d65f450aa9dbc3>`
   * :ref:`ClientConnectionTest:ConnectedStopsIfReceivesIoError <lobster-item-2c36ce1c440144890b02b023d4821992af678b83>`
   * :ref:`ClientConnectionTest:ConnectedStopsIfReceivesInvalidCode <lobster-item-21a9aace5c1dc9ec5a7ac21d5a44ccf5aa842946>`
   * :ref:`ClientConnectionTest:ConnectedStopsIfReceivesReplyWithoutSend <lobster-item-844a439ce3b390eee4cb67029065cb43a6df21b8>`
   * :ref:`MessagePassing.OsIpcFaultHandling <lobster-item-f45e2854019cfab8e0fca743f6f47d3ab01291b5>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:25:25 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/safety_analysis/control_measures.trlc#L25>`__

.. _lobster-item-4ebf2ae9aa6f2ab21542db0ed11cb9e415a1e75c:

.. dropdown:: [OK] TRLC Controlmeasure MessagePassing.SendBufferArgumentValidation
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      The component shall validate all arguments of Send, SendWaitReply, and SendWithCallback before any IPC operation is initiated.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`ClientConnectionTest:NotConnectedSendNotReady <lobster-item-10dbf8ecc9a1517c3b6a407f00055d902b57a5e9>`
   * :ref:`ClientConnectionTest:SendWaitReplyFailsWhenCalledInCallback <lobster-item-21da162759f39509fb4d353f5d1e6c2b8bf69703>`
   * :ref:`MessagePassing.SendBufferArgumentValidation <lobster-item-d3cabe38110ad91dbfe942312b0b23f40d013c3f>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/safety\_analysis/control\_measures.trlc:34:25 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/safety_analysis/control_measures.trlc#L34>`__