Exponenta Banner
exponenta event banner

hisl_0017: Использование блоков, вычисляющих реляционные операторы (2)

Идентификатор: Заголовокhisl_0017: Использование блоков, вычисляющих реляционные операторы (2)
Описание

Для поддержки однозначного поведения в создаваемом коде при использовании блоков, вычисляющих реляционные операторы, включая «Реляционный оператор», «Сравнить с константой», «Сравнить с нулем» и «Обнаружить изменение».

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

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

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

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

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

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

  • MISRA C:2012, правило 10.1

См. такжеhisl_0016: Использование блоков, вычисляющих реляционные операторы
Последнее изменениеR2018a

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

Поддержка