Safety Measures

Coverage: 100.0% (2 of 2 items OK)

[OK] TRLC Aou OtherLibrary.TimingConstraint

The caller shall ensure that invocations do not exceed 10ms cycle time

---

Derived from:

• other_library_fta.CycleTimeExceeded

---

Source: aous.trlc:18:14

[OK] TRLC Aou OtherLibrary.SpaceConstraint

The caller shall ensure that invocations do not exceed 10 MB

---

Derived from:

• other_library_fta.MemoryBudgetExceeded

---

Source: aous.trlc:25:14