Exponenta Banner

hisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значений

ID: Заголовокhisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование заданных минимальных и максимальных значений
ОписаниеЧтобы поддержать верифицируемый код, очистите параметр конфигурации Optimize using the specified minimum and maximum values.
ПримечанияВыбор Optimize using the specified minimum and maximum values может привести к требованиям без связанного кода и нарушает цели трассируемости.
ОбъяснениеПоддержите трассируемость между типовым кодексом и сгенерированным кодом.
Проверки Model AdvisorПроверяйте связанные с безопасностью настройки оптимизации на заданные минимальные и максимальные значения (Simulink Check)
Ссылки

  • Раздел DO-331 MB.MB.6.3.4.e 'Исходный код прослеживаем к низкоуровневым требованиям’'

  • IEC 61508-3, таблица A.4 (3) 'безопасное программирование'

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

  • ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации

  • EN 50128, таблица A.3 (1) 'безопасное программирование'

Смотрите также
В последний раз измененныйR2018b

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

Поддержка