Exponenta Banner
exponenta event banner

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

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

Чтобы поддержать однозначное поведение в сгенерированном коде, при использовании блоков, которые вычисляют реляционные операторы, включая Relational Operator, Compare To Constant, Compare to Zero и Detect Change

AУстановите параметры блоков Output data type в Boolean.
BДля блоков Relational Operator (Simulink) проверьте, что входные сигналы имеют совпадающий тип данных.
ОбъяснениеA, BПоддержка генерации кода, который производит однозначное поведение.
Проверки Model AdvisorПроверяйте использование блоков реляционных операторов (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) 'Language Subset'
    EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

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

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

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

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

Поддержка