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

Signal resolution с Explicit only

Division by singular matrix с error

Underspecified data types с error

Inf or NaN block output с error

“rt” prefix for identifiers с error

Wrap on overflow с error

Saturate on overflow с error

Simulation range checking с 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, Section MB.6.3.1.g 'Алгоритмы точны'
DO-331, Section MB.6.3.2.g 'Алгоритмы точны'
DO-331, Section MB.6.3.3.b 'Программная архитектура is consistent'

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) 'Language Subset'
EN 50128, таблица A.3 (1) 'Defensive Programming'

MISRA C:2012, Dir 4.1