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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • ISO 26262-6, Таблица 8 (1a) - Документация программного блока разрабатывают на естественном языке, ISO 26262-6: 7.4.2.a - verifiability архитектурного проекта программного обеспечения, ISO 26262-8: 8.4.3 Анализ запроса на изменение

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

Образцовая проверка советника

  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Требования> Проверка на элементы модели, которые не соединяются с требованиями

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Требования> Проверка на элементы модели, которые не соединяются с требованиями

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Требования> Проверка на элементы модели, которые не соединяются с требованиями

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Требования> Проверка на элементы модели, которые не соединяются с требованиями

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Требования> Проверка на элементы модели, которые не соединяются с требованиями

Для получения дополнительной информации проверки смотрите Проверку на элементы модели, которые не соединяются с требованиями.

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

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

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

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

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

Была ли эта тема полезной?