| Описание | Поддерживать однозначное поведение сгенерированного кода, при использовании блока Logical Operator, |
| A | Установите параметры блоков Output data type на Boolean. |
| B | Гарантируйте, что входные сигналы имеют тип Boolean. |
| Необходимые условия | hisl_0045: Параметры конфигурации> Математика и Типы данных> логика Реализации сигнализируют как булевы данные (по сравнению с двойным) |
| Объяснение | A, B | Избегайте неоднозначного поведения сгенерированного кода. |
| Проверки Model Advisor | Проверяйте использование блоков Логического оператора (Simulink Check) |
| Ссылки |
DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен' IEC 61508-3, Таблица A.3 (2) 'Язык программирования со строгим контролем типов’
IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование' IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'
ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов' EN 50128, таблица A.4 (11) 'языковое подмножество'
EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов'
EN 50128, таблица A.3 (1) 'безопасное программирование' MISRA C:2012, директива 10.1
|
| В последний раз измененный | R2017b |
