exponenta event banner

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.
Последнее изменениеR2012b
Пример