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

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

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

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

Переход за пределы естественного родителя (Simulink)

Неориентированные трансляции событий (Simulink)

Операция перехода, указанная перед операцией условия (Simulink)

Чтение до записи в выходные данные диаграммы Мура (Simulink)

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

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

Функция Execute-at-Initialization отключена при наличии входных событий (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) - «Ограниченное использование рекурсии»

МЭК 62304, 5.5.3 - «Критерии приемки установки программного обеспечения»

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

МЭК 61508-3, Таблица A.3 (3) - «Поднабор языка»

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