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

ID: Заголовок	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
Пример

Документация IEC Certification Kit

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.