Exponenta Banner

hisl_0008: Использование для блоков Iterator

Идентификатор: Заголовокhisl_0008: Использование для блоков Iterator
Описание

Чтобы поддержать ограниченное итерационное поведение в сгенерированном коде при использовании блока For Iterator, выполните одно из следующих действий:

A

Установите параметры блоков Iteration limit source в internal.

B

Когда Iteration limit source должны быть external, используйте блок, который имеет постоянное значение. Опции включают Width, Probe или Constant.

C

Очистить параметры блоков Set next i (iteration variable) externally.

D

Чтобы наблюдать значение итерации во время симуляции, выберите параметры блоков Show iteration variable.

Примечания

Когда вы используете блок For Iterator, подайте переменную управления циклом с фиксированными (невариабельными) значениями, чтобы получить предсказуемое количество итераций цикла. В противном случае цикл может привести к непредсказуемым временам выполнения и, в случае внешних переменных итерации, бесконечным циклам, которые могут привести к переполнению во время выполнения.

ОбъяснениеA, B, C, DПоддержка ограниченного итерационного поведения в сгенерированном коде.
Проверки Model AdvisorПроверяйте использование блоков For Iterator (Simulink Check)
Ссылки

  • DO-331, раздел MB.6.3.2.g - 'Алгоритмы точны'

  • 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, правило 14.2
    MISRA C:2012, правило 16.4
    MISRA C:2012, Dir 4.1

Последнее изменениеR2016a

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

Поддержка