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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • IEC 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 Requirements)

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

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

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

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

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