Факторы требования

hisl_0070: Размещение требования соединяется в модели

ID: Заголовокhisl_0070: Размещение требования соединяется в модели
Описание

Установите двустороннюю отслеживаемость между требованиями модели и элементами модели, которые используются, чтобы реализовать требование. Один элемент или комбинация элементов могут соединиться с требованиями.

При соединении требований следуйте этим инструкциям.

AПримените ссылки требования на самый низкий компонент уровня элементов модели. Элементы модели, которые не влияют на поведение модели или сгенерированный код, освобождены от соединения требования. См. Примечания для получения дополнительной информации.
BНа уровне проекта задайте максимальное количество уникальных ссылок требования, сопоставленных с каждым компонентом. Минимум одной ссылки требования требуется.
CНа уровне проекта задайте максимальное количество дочерних элементов модели для каждого соединенного компонента.
Примечания

Используйте Simulink® Requirements™, чтобы проследить между моделью и требованиями, из которых была разработана модель. Применяйтесь пользователь помечает (Simulink Requirements), чтобы задать элементы модели, как выведено и/или требования техники безопасности.

Чтобы сократить количество требований, которые соединяются с моделью, примените требования на уровне компонента. Компонент содержит группу элементов модели, например:

  • В Simulink компонент является блок-схемой верхнего уровня, подсистемой, функцией MATLAB® или аннотацией области.

  • В Stateflow® компонент является графиком, сверхсостоянием, полем, функцией Simulink или графической функцией.

Компоненты, которые содержат только эти элементы модели, освобождены от требования, соединяющегося:

Когда соединенный компонент содержит неосвобожденный дочерний элемент модели, дочерний элемент реализует связанное требование или частично или целый.

ОбъяснениеAУстановление ссылок требования на уровне компонента получает отношение элементов модели. Кроме того, поддерживаемость улучшается, потому что потребность обновить ссылки требования для незначительных логических изменений уменьшается.
B, CПоддержите анализ удара изменения требования.
Проверка Model AdvisorПроверяйте на элементы модели, которые не соединяются с требованиями (Simulink Check)
Ссылки
  • DO-331, Раздел MB.6.3.1.f - 'Требования высокого уровня прослеживает до системных требований'

  • DO-331, Раздел MB.6.3.2.f - 'Низкоуровневые требования прослеживает до требований высокого уровня'

  • IEC 61508-3, Таблица A.2 (12) - 'Автоматизированная спецификация и Design Tool'
    IEC 61508-3, Таблица A.2 (9) - 'Прямая трассируемость между спецификацией требований техники безопасности программного обеспечения и программной архитектурой'
    IEC 61508-3, Таблица A.2 (10) - 'Обратная трассируемость между спецификацией требований техники безопасности программного обеспечения и программной архитектурой'
    IEC 61508-3, Таблица A.4 (8) - 'Прямая трассируемость между спецификацией требований техники безопасности программного обеспечения и разработкой ПО'
    IEC 61508-3, Таблица A.8 (1) - 'Анализ удара'

  • IEC 62304, 5.2 - 'Анализ требований к программному обеспечению'
    IEC 62304, 7.4.2 - 'Анализируют удар изменений программного обеспечения на существующих мерах контроля риска'

  • ISO 26262-6, Таблица 2 (1a) - 'естественный язык'
    ISO 26262-6, Таблица 3 (1b) – ‘Ограниченный размер и сложность компонентов программного обеспечения’
    ISO 26262-6: 7.4.2.a - verifiability архитектурного проекта программного обеспечения
    ISO 26262-8: 8.4.3 Анализ запроса на изменение

  • EN 50128, Таблица A.3 (23) - 'Моделирование поддерживаемого автоматизированным проектированием и инструментами спецификации'
    EN 50128, таблица D.58 - трассируемость
    EN 50128, таблица A.10 (1) - 'Анализ удара'

Смотрите также

Трассируемость требований (Simulink Requirements)

В последний раз измененныйR2017b
Примеры

Рекомендуемый: Требование соединяется на родительском компоненте

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

Рекомендуемый: ссылки Требования помещаются в аннотацию области

Ссылка требования помещается в аннотацию области.