Exponenta Banner
exponenta event banner

hisl_0034: Использование блоков маршрутизации сигналов

Идентификатор: Заголовокhisl_0034: Использование блоков маршрутизации сигналов
Описание

При использовании блоков Switch избегайте сравнений с помощью ~= оператор для типов данных с плавающей запятой.

Примечание

Из-за проблем с точностью с плавающей запятой не проверяйте выражения с плавающей запятой на неравенство (~=).

Когда модель содержит блок Switch, вычисляющий реляционный оператор с помощью ~= , входные данные блока не должны быть одинарными, двойными или любым пользовательским классом хранения данных, который является типом с плавающей запятой. Измените тип данных входных сигналов или переработайте модель, чтобы исключить использование ~= оператор в блоках Switch.

Объяснение

Повышение надежности модели.

Проверки помощника по моделиПроверка использования блоков маршрутизации сигналов (Simulink Check)
Ссылки

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

  • МЭК 61508-3, Таблица A.3 (3) - «Поднабор языка»
    Таблица A.4 (3) - «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - «Критерии приемки установки программного обеспечения»

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

  • EN 50128, таблица A.4 (11) - «Поднабор языка»
    Таблица A.3 (1) - «Оборонительное программирование»

  • MISRA C:2012, Dir 1.1

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

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

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

Документация по комплекту сертификации МЭК

Поддержка