| Описание | Поддерживать робастность сгенерированного кода, при использовании блока Product с входными параметрами делителя, |
| A | В Element-wise(.*) режим, защитите входные параметры делителя от попытки обнулить. |
| B | В Matrix(*) режим, защитите входные параметры делителя от становления сингулярными входными матрицами. |
| Примечания | При использовании блоков Product для поэлементных делений вы можете получить деление нулем, приводящим к NaN вывод . Чтобы избежать переполнения, защитите входные параметры делителя от попытки обнулить. При использовании блоков Product, чтобы вычислить инверсию матрицы или матричное деление, вы можете получить деление сингулярной матрицей. Это деление приводит к NaN вывод . Чтобы избежать переполнения, защитите входные параметры делителя от становления сингулярными входными матрицами. |
| Объяснение | A и B | Защитите от переполнения. |
| Проверки Model Advisor | Соблюдение этого руководства по моделированию не может быть проверено при помощи проверки Model Advisor. |
| Ссылки |
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 (1d) 'Использование защитных методов реализации' EN 50128, таблица A.4 (11) 'языковое подмножество'
EN 50128, таблица A.3 (1) 'безопасное программирование' DO-331, раздел MB.6.4.2.2 'тесты робастности’
DO-331, раздел MB.6.4.3 'основанные на требованиях методы тестирования’
DO-331, Раздел MB.6.3.1.e 'Требования высокого уровня соответствует стандартам
DO-331, Раздел MB.6.3.2.e 'Низкоуровневые требования соответствует стандартам
DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'
DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим' MISRA C:2012, Dir 4.1
|
| Необходимые условия | hisl_0314: Параметры конфигурации> Диагностика> Валидность Данных> Сигналы (Simulink) |
| В последний раз измененный | R2019a |
