Exponenta Banner

hisf_0017: скопирование объектов данных Stateflow

Идентификатор: Заголовок

hisf_0017: скопирование объектов данных Stateflow

ОписаниеОбъекты данных Stateflow с локальными возможностями должны быть определены на уровне графика или ниже.
ОбъяснениеПоддержка генерации отслеживаемого кода.
Проверки Model Advisor

Проверяйте просмотр объектов данных Stateflow (Simulink Check)

Ссылки

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

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

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

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

Последнее изменение2018a
Примеры

Рекомендуется

Не рекомендуется

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

Поддержка