Примечание | Включение диагностики, относящейся к решателю, предоставляет информацию для выявления нарушений других руководящих принципов. В этой таблице поясняется результат того, что не указан параметр конфигурации, как указано выше.
Параметр конфигурации | Результат |
---|
Algebraic loop
| Автоматическое разрушение алгебраических циклов может остаться незамеченным и привести к непредсказуемому выполнению порядка блоков. | Minimize algebraic loop | Автоматическое разрушение алгебраических циклов может остаться незамеченным и привести к непредсказуемому выполнению порядка блоков. | Block priority violation | Порядок выполнения блока может включать в себя необнаруженные конфликты, которые могут привести к непредсказуемому выполнению порядка блока. | Automatic solver parameter selection | Автоматическое изменение решателя, размера шага или времени остановки симуляции может остаться незамеченным и может привести к операции сгенерированного кода. | State name clash | Имя, используемое для нескольких состояний, может остаться незамеченным. |
|
Ссылки |
DO-331, раздел MB.6.3.3.b - Программная архитектура согласована. DO-331, MB.6.3.3.e 'Программная архитектура соответствует стандартам " IEC 61508-3, Таблица A.3 (3) 'Подмножество языка " МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств» EN 50128, таблица A.4 (11) 'Language Subset'
|