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

Неожиданное обратное отслеживание (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, Section 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, Section MB.6.3.2.g 'Алгоритмы точны'

EN 50128, таблица A.4 (11) - 'Language Subset'
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) - 'Language subset'

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