Exponenta Banner
exponenta event banner

hisl_0022: Выбор типа данных для сигналов индекса

Идентификатор: Заголовокhisl_0022: Выбор типа данных для сигналов индекса
ОписаниеДля сигналов индекса используйте:
AЦелое число или перечисленный тип данных
BТип данных, который охватывает область значений индексированных значений.

Блоки, которые используют индекс сигнала, включают:

  • Назначение

  • Интерполяционная таблица (n-D)

  • Вектор индекса

  • Интерполяция с использованием Prelookup

  • MATLAB® Функция

  • Мультипортовый переключатель

  • Отборщик

  • Stateflow® График

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

  • IEC 61508-3, Таблица A.3 (2) 'Сильно типизированный язык программирования'
    IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

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

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

  • EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

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

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

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

Поддержка