Safety Measures

Coverage: 100.0% (6 of 6 items OK)

[OK] TRLC Aou SampleType.SampleAoU

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

---

Derived from:

• sample_safety_analysis_fta.ShmemCreatedWrongName

---

Source: docs/aous.trlc:18:14

[OK] TRLC Mitigation SampleLibrary.JustBadLuck

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

---

Derived from:

• sample_safety_analysis_fta.JustBadLuck

---

Source: safety_analysis/sample_safety_analysis_safetymeasures.trlc:18:21

[OK] TRLC Mitigation SampleLibrary.NoMoreCookies

We shall only order family size cookie jars

---

Derived from:

• sample_safety_analysis_fta.NoMoreCookies

---

Source: safety_analysis/sample_safety_analysis_safetymeasures.trlc:26:21

[OK] TRLC Mitigation SampleLibrary.NoMoreCoffee

We shall keep a coffee reserve for emergencies

---

Derived from:

• sample_safety_analysis_fta.NoMoreCoffee

---

Source: safety_analysis/sample_safety_analysis_safetymeasures.trlc:34:21

[OK] TRLC Mitigation SampleLibrary.WatchdogTimer

A watchdog shall detect overruns and force a safe state

---

Derived from:

• sample_safety_analysis_fta.WatchdogTimer

---

Source: safety_analysis/sample_safety_analysis_safetymeasures.trlc:42:21

[OK] TRLC Mitigation SampleLibrary.DeadlineMonitor

Per-request deadline monitoring shall flag late responses

---

Derived from:

• sample_safety_analysis_fta.DeadlineMonitor

---

Source: safety_analysis/sample_safety_analysis_safetymeasures.trlc:50:21