exponenta event banner

Требования

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

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

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

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

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

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

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

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

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

  • В MATLAB компонент является функцией.

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

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

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

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

  • МЭК 62304, 5.2 - «Анализ требований к программному обеспечению»
    МЭК 62304, 7.4.2 - «Анализ влияния изменений программного обеспечения на существующие меры контроля рисков»

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

  • EN 50128, Таблица A.3 (23) - «Моделирование, поддерживаемое компьютерным дизайном и техническими средствами»
    EN 50128, таблица D.58 - Прослеживаемость
    EN 50128, Таблица A.10 (1) - «Анализ воздействия»

См. также

Прослеживаемость требований (требования Simulink)

Последнее изменениеR2021a
Примеры

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

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

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

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