| Описание | Защищать от недостижимого кода и неопределенное время выполнения, |
| A | Установите параметры конфигурации Wrap on overflow и Simulation range checking к error. В модели откройте вкладку Debug и выберите > |
| B | Щелкните правой кнопкой по каждой таблице истинности в модели и выберите Properties. Установите эти параметры на Error:
Underspecification Overspecification
|
| Примечания | Диагностика во время выполнения только инициирована в процессе моделирования. Если состояние ошибки не достигнуто в процессе моделирования, сообщение об ошибке не инициировано для генерации кода. |
| Объяснение | A, B | Защитите от недостижимого кода и непредсказуемое время выполнения. |
| Проверки Model Advisor | Проверяйте параметры отладки Stateflow (Simulink Check) |
| Ссылки |
DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'
DO-331, Раздел MB.6.3.3.d 'Программная архитектура поддается проверке' IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’
IEC 61508-3, Таблица A.3 (3) - Языковое подмножество
IEC 61508-3, Таблица A.4 (5) - Проект и стандарты кодирования IEC 62304, 5.5.3 - критерии допустимости Программного блока ISO 26262-6, Таблица 1 (1b) - 'Использование языковых подмножеств'
ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов'
ISO 26262-6, Таблица 1 (1d) - 'Использование защитных методов реализации'
ISO 26262-6, Таблица 1 (1e) - 'Использование хорошо доверяемых принципов разработки'
ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления'
ISO 26262-6, Таблица 1 (1g) - 'Использование руководств по стилю' EN 50128, таблица A.3 (1) - безопасное программирование
EN 50128, таблица A.4 (8) 'язык программирования со строгим контролем типов'
EN 50128, таблица A.4 (11) - языковое подмножество
|
| Смотрите также | Задайте свойства функций таблицы истинности (Stateflow) |
| В последний раз измененный | R2017b |
