Feature Requirements
====================

**Coverage:** 76.9% (10 of 13 items OK)

.. _lobster-item-c1a7e19a19b1fe8c67e95470ead6450a02fcc9f3:

.. dropdown:: [MISSING] TRLC Assumedsystemreq MessagePassing.SystemMessagingProtocol
   :open:
   :class-title: sd-bg-danger sd-text-white

   .. pull-quote::

      The system shall provide a mechanism for inter-process communication via a client-server messaging protocol.

   .. raw:: html

      <hr>

   **Traces to:**

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

      * missing reference to Component Requirements

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/assumed\_system/assumed\_system\_requirements.trlc:22:27 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/assumed_system/assumed_system_requirements.trlc#L22>`__

.. _lobster-item-b2864cac047f746b60a533aa9a94e6b1b8a3f531:

.. dropdown:: [MISSING] TRLC Mitigation MessagePassing.SafeState
   :open:
   :class-title: sd-bg-danger sd-text-white

   .. pull-quote::

      The Safe State of the system shall be \*safe-silent\*

   .. raw:: html

      <hr>

   **Traces to:**

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

      * missing reference to Component Requirements

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/assumed\_system/assumed\_system\_requirements.trlc:29:21 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/assumed_system/assumed_system_requirements.trlc#L29>`__

.. _lobster-item-d54fb43b80455d65c15bcb21f16e3fcd75a5070b:

.. dropdown:: [MISSING] TRLC Featreq MessagePassing.SmallDataLowLatencyCommunication
   :open:
   :class-title: sd-bg-danger sd-text-white

   .. pull-quote::

      The message passing component shall provide low-latency communication for small data between dedicated endpoints.

   .. raw:: html

      <hr>

   **Traces to:**

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

      * missing reference to Component Requirements

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:50:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L50>`__

.. _lobster-item-f4728a059e1e0a10e0cd4410460e1633af193f73:

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

   .. pull-quote::

      The message passing component shall provide a server interface that registers connection handlers and processes incoming requests.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.OSProvidedSenderIdentity <lobster-item-6557bfa98c4bae5d62c938e3ea7e7eb53014db1a>`
   * :ref:`MessagePassing.UnforgableSenderIdentity <lobster-item-c501eb139a55f89cfb7c496307b1bcd872600c07>`
   * :ref:`MessagePassing.ServerCallbacksAreSequential <lobster-item-86f22d383c88746f7b1a8541a82c82113d652644>`
   * :ref:`MessagePassing.IServerStartListeningAPI <lobster-item-183811174f434c563f661cf8157bf17baee6345f>`
   * :ref:`MessagePassing.IServerStopListeningAPI <lobster-item-757bfb1d3471e29e6c51ac3225df5d266b4cea0a>`
   * :ref:`MessagePassing.IServerConnectionNotifyAPI <lobster-item-6aaa777799dad7c90cc9ecbb8b4e133712a1b198>`
   * :ref:`MessagePassing.ServerConnectionRefusal <lobster-item-272611f1645a3f2b4b09c19b6c2523be5967f3df>`
   * :ref:`MessagePassing.ServerIConnectionHandlerDispatch <lobster-item-8346b9cd08a8a5abcb4448d33f2e0dacdab4d5f4>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:22:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L22>`__

.. _lobster-item-9931ba53b300691e0563bca0c321fc6ced735ac4:

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

   .. pull-quote::

      The message passing component shall provide an OS-independent API for OS-native IPC mechanisms.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.SafetyCertifiedTransportMechanismUnderQNX <lobster-item-c8b44191e832598cf3c4a9b4ec123d0c51a5830c>`
   * :ref:`MessagePassing.TransportMechanismOnLinux <lobster-item-3ed3932e1617891c204fa9604d572b35dc411f5f>`
   * :ref:`MessagePassing.ClientConnectionMaintainsStateMachine <lobster-item-b745dbd983c695bf2fb07b8fd7d2c16bb50da44b>`
   * :ref:`MessagePassing.ClientFactoryCreateAPI <lobster-item-e7192f4a9a7501652ec85cfc6c48f5d5a3a7219f>`
   * :ref:`MessagePassing.ServerFactoryCreateAPI <lobster-item-0b4b44fdb75f2e9b126bbe4282a599b8ded87a18>`
   * :ref:`MessagePassing.IClientConnectionGetStateAPI <lobster-item-c13e294a8f2f6da60233f825387fa209993bcd5e>`
   * :ref:`MessagePassing.ClientConnectionStateCallbackInvocation <lobster-item-4f82140f2d70e45a9068394b471a0fef0390bfd7>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:29:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L29>`__

.. _lobster-item-b41252240f68be0bdf1e3135dbc3a280b5313013:

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

   .. pull-quote::

      The implementation under QNX shall use a safety-certified transport mechanism.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.SafetyCertifiedTransportMechanismUnderQNX <lobster-item-c8b44191e832598cf3c4a9b4ec123d0c51a5830c>`
   * :ref:`MessagePassing.TransportMechanismOnLinux <lobster-item-3ed3932e1617891c204fa9604d572b35dc411f5f>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:36:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L36>`__

.. _lobster-item-a825aba417f691a5f3123dfa486fa142a4ff1cc9:

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

   .. pull-quote::

      The message passing component shall support only point-to-point (1:1) connections between communication endpoints. N:M connections are explicitly excluded.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.MessageOrderPreservationPerConnection <lobster-item-f871af82c845b3a754171fd902ecb1414dd2b223>`
   * :ref:`MessagePassing.SingleServerInstancePerServiceIdentifier <lobster-item-31c4cdad17b7cec7f6b373a7c95856a8f5f32b60>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:43:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L43>`__

.. _lobster-item-78e568a0bd29ee997bbc89d77a556b4b347e7b52:

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

   .. pull-quote::

      The communication shall support synchronous unidirectional message sending on a given connection. The send call blocks until the message has been transferred to the receiving side and a suitable handler has been identified.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.SynchronousSendBlocksUntilServerReceives <lobster-item-10e701bb506b0eb2438cd78a3f4eebb1d08a3481>`
   * :ref:`MessagePassing.IClientConnectionSendAPI <lobster-item-005415bbc9f45d23a36d2617c687e2debad5c6d0>`
   * :ref:`MessagePassing.ClientConnectionSendFailsWhenStopped <lobster-item-11eb8bac40cdaa960d87c16b5bdfe1d4dd04a76c>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:57:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L57>`__

.. _lobster-item-4d4739f75f79fb3025389970abd4524c6f3281c1:

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

   .. pull-quote::

      The communication shall support synchronous bidirectional request-response communication on a given connection. The send call blocks until a reply from the receiver has been received (SendWaitReply).

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.ServerProcessesSinglePendingRequest <lobster-item-d055e7db8e712723d4c4bc27bb00fa242bb9cc01>`
   * :ref:`MessagePassing.SendWaitReplyBlocksUntilServerReply <lobster-item-49c2ba97fad1c38fa0189a26fb40195e574ec529>`
   * :ref:`MessagePassing.IClientConnectionSendWaitReplyAPI <lobster-item-6e728e91024a876cdec182d4f682689d0804e3af>`
   * :ref:`MessagePassing.IServerConnectionReplyAPI <lobster-item-ce1e28811ef2eba814c18734437de3ddf42a8fca>`
   * :ref:`MessagePassing.ClientConnectionSendWaitReplyFailsWhenStopped <lobster-item-c68576219af5b2d13cae61823a18d0ad0d3425cc>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:64:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L64>`__

.. _lobster-item-e0a331bc1f530d94070d43bc91e45ed18fc6c50c:

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

   .. pull-quote::

      The communication shall support asynchronous unidirectional message sending, where the send call returns after the local message passing layer has accepted the message. No guarantee is provided that the message is delivered to or processed by the receiver.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.AsynchronousSendReturnsAfterLocalAcceptance <lobster-item-afe85853812a354dea018656cd2af46571a459dd>`
   * :ref:`MessagePassing.IClientConnectionSendWithCallbackAPI <lobster-item-abffce41799847c784bb944e3203696831784cb2>`
   * :ref:`MessagePassing.ClientConnectionSendWithCallbackFailsWhenStopped <lobster-item-64eb4e6b36d587b042da259a2fc0aa57676f334c>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:71:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L71>`__

.. _lobster-item-75942ae52ea4a9b57c80544c22a76c8d806d29e9:

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

   .. pull-quote::

      The Message Passing library design shall not use any singletons.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.ClientConnectionSharedResourceEngineInjection <lobster-item-ad9ec3c0cd9d9745f5292397166c0dcb4a9fed9b>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:78:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L78>`__

.. _lobster-item-13ab3e95e90ecab64403d39ec451cfedd2efe973:

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

   .. pull-quote::

      The Message Passing library design shall allow bounded monotonic memory allocation.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.ServerPreallocatesConnectionObjects <lobster-item-302f9a749d97475b33976026e8e9f61909baf6d4>`
   * :ref:`MessagePassing.ServerRingBufferQueueSizeConfigurable <lobster-item-555d71af7fc08ec1339fbb5c5b96ff1f415c02cd>`
   * :ref:`MessagePassing.ClientConnectionSendQueuePreallocation <lobster-item-66271ff8c7107c2e1b8995a1e15a26f9038768c5>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:86:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L86>`__

.. _lobster-item-21c7def39d91dea649a7aada0e3466298c4e5413:

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

   .. pull-quote::

      The Message Passing library design shall allow resource mock injection for testing.

   .. raw:: html

      <hr>

   **Traces to:**

   * :ref:`MessagePassing.ClientConnectionMockInjectionForTesting <lobster-item-03da5be8c9ef4a170a61a8f5ff9b075879a71521>`

   .. raw:: html

      <hr>

   **Source:** `score/message\_passing/dependability/requirements/feature\_requirements.trlc:93:18 <https://github.com/eclipse-score/communication/blob/main/score/message_passing/dependability/requirements/feature_requirements.trlc#L93>`__