Exponenta Banner
exponenta event banner

hisl_0021: последовательный метод индексирования векторов

Идентификатор: Заголовокhisl_0021: последовательный метод индексирования векторов
ОписаниеВ модели используйте:
A

Последовательный метод индексирования векторов.

Поддерживает конфигурируемую индексацию:

Поддержка только индексации на одной основе:

Поддерживает только индексацию с нулем:

  • Диаграмма Stateflow с языком действий C

  • Функция таблицы истинности с языком действий C

ОбъяснениеAУменьшите риск введения ошибок из-за несогласованной индексации.
Проверки Model AdvisorПроверяйте на несогласованность методов индексирования векторов (Simulink Check)
Ссылки

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка'
    IEC 61508-3, Таблица A.4 (5) «Проекты и кодирования»

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

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1e) «Использование надежных принципов проекта»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»
    ISO 26262-6, таблица 1 (1g) «Использование руководства по стилю»

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.12 (1) «Стандарт кодирования»

  • DO-331, раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы'

См. такжеcgsl_0101: индексация на основе нуля (Simulink)
Последнее изменениеR2019a

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

Поддержка