Exponenta Banner
exponenta event banner

hisl_0024: Определение интерфейса Inport

Идентификатор: Заголовокhisl_0024: Определение интерфейса Inport
Описание

Чтобы поддержать сильный набор данных и однозначное поведение модели и сгенерированного кода, для каждого блока Inport (Simulink) корневого уровня или Simulink® объект сигнала, который явно разрешается к подключенной сигнальной линии, установите следующие параметры:

  • Data type

  • Port dimensions

  • Sample time

ПримечаниеИспользование блоков Inport корневого уровня без полностью определенных размерностей, шагов расчета или типа данных может привести к неоднозначным результатам симуляции. Если вы явно не задаете эти параметры, Simulink обратно распространяет размерности, шаги расчета и типы данных из нисходящих блоков.
Объяснение

  • Избегайте однозначного поведения.

  • Поддержка полной спецификации программного интерфейса.

Проверки Model AdvisorПроверьте корневые входные порты с отсутствующими свойствами (Simulink Check)
Ссылки

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

  • МЭК 61508-3, таблица B.9 (6) «Полностью определенный интерфейс»

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

  • ISO 26262-6, таблица 1 (1а) - Применение малой сложности
    ISO 26262-6, таблица 1 (1с) - Применение строгой типизации
    ISO 26262-6, Таблица 1 (1f) - Использование однозначного графического представления
    ISO 26262-6, Таблица 3 (1с) - Ограниченный размер интерфейсов
    ISO 26262-6, Таблица 7 (1k) - Тест интерфейса

  • EN 50128, таблица A.3 (19) «Полностью определенный интерфейс»

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

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

Поддержка