Safety Measures
===============

**Coverage:** 100.0% (6 of 6 items OK)

.. _lobster-item-d41879bdd1a77e6d1a3e65490c67a02d1e56eff0:

.. dropdown:: [OK] TRLC Aou SampleType.SampleAoU
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      It shall be made sure that shared memory segments are never created with the wrong name (ShmemCreatedWrongName)

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.ShmemCreatedWrongName <lobster-item-ce98348c9dd922e1f8c3e9434ac7e2e83ca5b108>`

   .. raw:: html

      <hr>

   **Source:** `docs/aous.trlc:18:14 <../../docs/aous.trlc#L18>`__

.. _lobster-item-8f2a0d647ccc235023ee1c5c8d817c95bb994ce4:

.. dropdown:: [OK] TRLC Mitigation SampleLibrary.JustBadLuck
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      Sometimes, the dark side wins. We shall be prepared for that.

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.JustBadLuck <lobster-item-62d321df3c5e4cb5436a2dc49bf75aa22dc072d7>`

   .. raw:: html

      <hr>

   **Source:** `safety\_analysis/sample\_safety\_analysis\_safetymeasures.trlc:18:21 <../../safety_analysis/sample_safety_analysis_safetymeasures.trlc#L18>`__

.. _lobster-item-dd14966835585dd769976a2a6df11ce82212423e:

.. dropdown:: [OK] TRLC Mitigation SampleLibrary.NoMoreCookies
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      We shall only order family size cookie jars

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.NoMoreCookies <lobster-item-c20b5f69377ada7a085474b453c9617a5acc3e91>`

   .. raw:: html

      <hr>

   **Source:** `safety\_analysis/sample\_safety\_analysis\_safetymeasures.trlc:26:21 <../../safety_analysis/sample_safety_analysis_safetymeasures.trlc#L26>`__

.. _lobster-item-9d853d7bde679f3f122817344afa97b02dcf11fc:

.. dropdown:: [OK] TRLC Mitigation SampleLibrary.NoMoreCoffee
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      We shall keep a coffee reserve for emergencies

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.NoMoreCoffee <lobster-item-5ecd2f5d98ebfa2c0344be9e348a97bb445d0120>`

   .. raw:: html

      <hr>

   **Source:** `safety\_analysis/sample\_safety\_analysis\_safetymeasures.trlc:34:21 <../../safety_analysis/sample_safety_analysis_safetymeasures.trlc#L34>`__

.. _lobster-item-64b9ed66f63f68a246d94e356dc27484a9c27ced:

.. dropdown:: [OK] TRLC Mitigation SampleLibrary.WatchdogTimer
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      A watchdog shall detect overruns and force a safe state

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.WatchdogTimer <lobster-item-019efe5d050a8a50a874d05aa997106bf5f88084>`

   .. raw:: html

      <hr>

   **Source:** `safety\_analysis/sample\_safety\_analysis\_safetymeasures.trlc:42:21 <../../safety_analysis/sample_safety_analysis_safetymeasures.trlc#L42>`__

.. _lobster-item-6de1f9437e66f0b570bf560ac6e4e81637c5c8f7:

.. dropdown:: [OK] TRLC Mitigation SampleLibrary.DeadlineMonitor
   :class-title: sd-bg-success sd-text-white

   .. pull-quote::

      Per-request deadline monitoring shall flag late responses

   .. raw:: html

      <hr>

   **Derived from:**

   * :ref:`sample\_safety\_analysis\_fta.DeadlineMonitor <lobster-item-fb760a37e351fcbc6df449981110799b7aade3a6>`

   .. raw:: html

      <hr>

   **Source:** `safety\_analysis/sample\_safety\_analysis\_safetymeasures.trlc:50:21 <../../safety_analysis/sample_safety_analysis_safetymeasures.trlc#L50>`__