Exponenta Banner
exponenta event banner

hisl_0008: Использование Для Блоков Итератора

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

Чтобы поддержать ограниченное итеративное поведение в сгенерированном коде при использовании блока 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Проверяйте использование На блоки Итератора (Simulink Check)
Ссылки

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

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

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

В последний раз измененныйR2016a

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

Поддержка