Exponenta Banner

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

Идентификатор: Заголовокhisl_0056: Параметры конфигурации> Генерация кода> Оптимизация> Оптимизируют использование указанных минимальных и максимальных значений
ОписаниеЧтобы поддержать проверяемый код, очистите параметр конфигурации <reservedrangesplaceholder0>.
ПримечанияВыбор 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) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

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

  • EN 50128, таблица A.3 (1) 'Defensive Programming'

См. также
Последнее изменениеR2018b

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

Поддержка