Документация

Неожиданное отслеживание в обратном порядке (Simulink)

Недопустимый доступ к входным данным в инициализации графика (Simulink)

Никакие безусловные переходы по умолчанию (Simulink)

Переход вне естественного родительского элемента (Simulink)

Неориентированные широковещательные сообщения события (Simulink)

Действие перехода задано перед действием условия (Simulink)

Чтение перед записью, чтобы вывести в графике Мура (Simulink)

Абсолютное время временное значение короче, чем выборка периода (Simulink)

Сам переход на листовом состоянии (Simulink)

Выполнитесь в инициализации отключенный при наличии входных событий (Simulink)

Использование порожденных машиной данных вместо Памяти Хранилища данных (Simulink)

Недостижимый путь к выполнению (Simulink)

DO-331, Раздел MB.6.3.1.b 'Требования высокого уровня точен и сопоставим'
DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам
DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
DO-331, Раздел MB.6.3.2.d 'Низкоуровневые требования поддается проверке'
DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам
DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

EN 50128, таблица A.4 (11) - 'языковое подмножество'
EN 50128, таблица A.12 (6) - 'Ограниченное использование рекурсии'

IEC 62304, 5.5.3 - 'Критерии допустимости программного блока'

ISO 26262-6, Таблица 1 (1b) - 'Использование языковых подмножеств'
ISO 26262-6, Таблица 8 (1j) - 'Никакие рекурсии'

IEC 61508-3, Таблица A.3 (3) - 'Языковое подмножество'

MISRA C:2012, правило 17.2