hisf_0007: Использование условий соединения (поддержание взаимного исключения)

Идентификатор: Заголовок

hisf_0007: Использование условий соединения (поддержание взаимного исключения)

Описание

Для повышения ясности и предотвращения генерации недоступного кода:

AСделать условия соединения взаимоисключающими.
Примечания

Можно использовать это руководство для поддержания подмножества языка моделирования в проектах с высокой целостностью.

ОбъяснениеAУлучшите ясность и предотвратите генерацию недоступного кода.
Ссылки
  • DO-331, раздел MB.6.3.2.b 'Низкоуровневые требования точны и непротиворечивы'
    DO-331, раздел MB.6.3.2.d 'Низкоуровневые требования проверяются'

  • ISO 26262-6, Таблица 1 (1e) - Использование надежных принципов проекта

Проверки Model AdvisorСоблюдение этого руководства по моделированию не может быть проверено с помощью проверки Model Advisor.
Последнее изменениеR2012b
Пример