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

Разрешение сигнала до Explicit only

Деление на сингулярную матрицу error

Недостаточно указанные типы данных для error

Вывод блока Inf или NaN в error

префикс «rt» для идентификаторов error

Переносить переполнение в error

Насыщение при переполнении в error

Проверка диапазона моделирования до error

DO-331, Раздел MB.6.4.2.2 «Примеры проверки надежности »
DO-331, Раздел MB.6.4.3 «Методы тестирования на основе требований »
DO-331, раздел MB.6.3.1.e «Высокие требования соответствуют стандартам»
DO-331, Раздел MB.6.3.2.e «Низкоуровневые требования соответствуют стандартам»
DO-331, Раздел MB.6.3.1.g «Алгоритмы точны»
DO-331, Раздел MB.6.3.2.g «Алгоритмы точны»
DO-331, раздел MB.6.3.3.b «Архитектура программного обеспечения согласована»

IEC 61508-3, Таблица A.3 (3) 'Поднабор языка "
IEC 61508-3, таблица A.4 (3) «Оборонительное программирование »

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

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

EN 50128, Таблица A.4 (11) «Поднабор языка»
EN 50128, таблица A.3 (1) «Оборонительное программирование»

MISRA C:2012, Dir 4.1