${message}

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

Simulink Requirements позволяет создавать, анализировать и управлять требованиями в Simulink. Требования создаются в виде расширенного текста с пользовательскими атрибутами и связываются с проектами, кодом и тестами. Требования могут быть импортированы из внешних источников, и разработчики будут оповещены об их изменениях. Доступна командная работа над требованиями, создание ссылок с помощью перетаскивания, комментирование моделей с помощью требований, анализ трассируемости требований и навигация между требованиями, проектами, сгенерированным кодом и тестами.

Simulink Requirements указывает, когда происходят изменения в связанных требованиях, проектах или тестах. Рассчитывается состояние выполнения и проверки ваших требований, что позволяет оценить завершенность проекта. Поддержка отраслевых стандартов доступна в IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit (for DO-178).

Ключевые особенности

  • Редактор требований Requirements Editor для создания, редактирования и организации требований
  • Перспектива Requirements Perspective для просмотра, связывания и управления требованиями в графическом редакторе Simulink
  • Импорт и синхронизация требований из сторонних инструментов , таких как Microsoft Word and Microsoft Excel
  • Отслеживание изменений и различий для автоматической идентификации и управления меняющимися требованиями
  • Сводные количественные метрики для реализации и верификации требований
  • Отчеты, документирующие атрибуты, трассируемость и статус требований
  • Двунаправленная трассируемость между требованиями, проектами, сгенерированным кодом и тестами

Создание и организация требований в Simulink

Simulink Requirements позволяет работать с требованиями в среде модельно-ориентированного проектирования Simulink, что упрощает управление требованиями и трассируемостью требований на проект, код и тестовые вектора. Требования и их обоснование могут быть описаны с помощью расширенного текста, который включает изображения, нумерованные и маркированные списки. Дополнительные атрибуты, такие как уникальный идентификационный номер, ключевые слова, информация о версии и комментарии, позволяют уточнить и детализировать требования. Пользовательские атрибуты позволяют расширять требования с помощью уникальных типов данных требований.
Редактор требований Requirements Editor позволяет просматривать, создавать и управлять всеми требованиями в различных моделях. Requirements Editor предоставляет:

  • Браузер требований для организации иерархии требований
  • Просмотр ссылок для управления ссылками в проекте
  • Редактор свойств Property Inspector для просмотра и редактирования деталей требований и ссылок
  • Настройки для настройки отображения и сортировки столбцов
  • Инструмент поиска для фильтрации больших наборов требований
  • Генерация отчета для документирования требований
Браузер требований предоставляет табличное представление требований, связанных с моделью. Доступен просмотр сводной информации о требованиях, такой как атрибуты, статус реализации и статус проверки требования. Наборы требований позволяют организовывать требования в иерархии с несколькими уровнями вложенности. Например, набор требований может содержать требования высокого уровня, а другой набор требований содержит требования к программному обеспечению. Набор требований хранится в виде отдельного файла, что позволяет использовать Simulink Projects для управления версиями файлов. Ссылки хранятся в отдельном файле, который позволяет установить трассируемость между требованиями, проектом и тестовыми векторами без изменения источника или места назначения.


Редактор требований для создания, корректировки и организации ваших требований


Работа с требованиями и моделями

Перспектива Requirements Perspective предоставляет пользователю единый вид, в котором можно просматривать, создавать и организовывать требования, а также выполнять разработку в Simulink или Stateflow. Перспектива Requirements Perspective включает в себя:

  • Встроенный браузер требований для просмотра требований, связанных с моделью
  • Инспектор свойств требований для просмотра и редактирования сведений о требовании или ссылке
  • Пометки для обозначения блоков или состояний, привязанных к требованиям
  • Аннотации модели, содержащие требования


Requirements Perspective позволяет управлять требованиями не выходя из Simulink


Создание трассируемости с помощью перетаскивания требований

Трассируемость между требованиями и моделями устанавливается при помощи перетаскивания требований из браузера требований на объекты моделей Simulink или Stateflow. На элементе модели появляется значок содержащий ссылку на связанное требование. Также можно выбрать отображение требования и его соединения с элементом модели.



Видео "Работа с требованиями в Simulink с помощью Requirements Perspective" (англ.)

Импорт и синхронизация внешних требований

Требования из других источников, таких как IBM Rational DOORS, Microsoft Word или Microsoft Excel, могут быть импортированы как ссылки, доступные только для чтения или редактируемые требования в Simulink. Для импорта и работы с требованиями из сторонних инструментов используется формат обмена требованиями (ReqIF). Во время импорта осуществляется привязка полей внешнего источника требований к Simulink Requirements. Поддерживается импорт полей, связанных с пользовательскими атрибутами, для соответствия содержимому внешнего документа. Операция синхронизации поддерживает согласованность с указанными требованиями. В случае изменения требования выдается уведомление , позволяющее оценить влияние этого изменения.


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

Работа с изменениями требований

Когда требование изменяется, важно, чтобы оно было передано всей команде, чтобы избежать ошибок. Каждое требование и ссылка поддерживают историю изменений с отметками о времени изменений. Simulink Requirements обнаруживает изменения в требованиях, связанных с моделями, в том числе импортированными из внешних источников, что позволяет оценить влияние изменений на проекты и принять соответствующие меры. Для наборов требований доступна разностная операция (diff), что позволяет просмотреть изменения в требованиях.

Трассируемость требований на проект, код и тестовые вектора

Обеспечивается трассируемость требований в других инструментах в жизненного цикла разработки, в том числе и инструментах генерации кода и тестирования для двунаправленной навигации по требованиям, проектам, реализациям и тестовым векторам. Требования привязываются к тестовым векторам, группам тестов и тестовым последовательностям, созданным в Simulink Test, и доступны в виде ссылок из модели Simulink или диспетчера тестов Test Manager. Для кода, сгенерированного с помощью Embedded Coder, HDL Coder или Simulink PLC Coder требования выступают в роли комментариев к коду и доступны в виде гиперссылок в отчете о генерации кода. Гиперссылки в отчете о генерации кода обеспечивают прямой переход от кода к требованиям.
Элементы модели Simulink могут быть связаны с требованиями IBM Rational DOORS или IBM Rational DOORS Next Generation.
Для обеспечения соблюдения отраслевых стандартов с помощью DO Qualification Kit (for DO-178) или IEC Certification Kit (for ISO 26262 and IEC 61508) генерируется матрица трассируемости, показывающую двунаправленную трассируемость от требований к модели и к коду и информацию о файле.

Трассируемость между требованиями, объектами Simulink и Stateflow, и артефактами тестирования в жизненном цикле разработки для документирования и анализа взаимовлияния

Отслеживание статуса мероприятий модельно-ориентированного проектирования

Просмотр статуса реализации и верификации требований

Simulink Requirements предоставляет отслеживание статуса реализации и верификации требований в Simulink для выявления пробелов в реализации, отсутствующих требований или ошибок в проекте. Метрики реализации и верификации количественно определяют долю требований, которые были реализованы в проекте и связаны с тестовыми векторами, а также долю пройденных тестов.
Показатели трассируемости и верификации количественно определяют полноту действий по разработке в модельно-ориентированном проектировании. Показатели состояния отображаются в виде столбца в браузере требований и помечаются различными цветами, указывающими состояние реализации или верификации. Требование с дочерними требованиями не будет считаться полностью реализованным или верифицированным, пока все его дочерние требования не будут выполнены или верифицированы. При наведении курсора на состояние отображаются совокупные показатели для требований и дочерних требований. Если в статусе отсутствуют ссылки, будет указано, где необходимо выполнить реализацию или верификацию.
Обоснования (Justifications) могут быть связаны с требованиями, которые не реализованы или не верифицированы в модели. Например, нефункциональное требование может быть связано с обоснованием для исключения его метрик реализации и верификации из соответствующих суммарных метрик. Обоснования могут быть повторно использованы в Проекте.


Просмотр статуса реализации и проверки статуса ля получения представления о состоянии проекта.


Генерация отчетов о требованиях

Когда требование изменяется, важно, чтобы оно было передано всей команде, чтобы избежать ошибок в последующем. Каждое требование и ссылка поддерживают историю изменений с отметками времени когда они были изменены. Simulink Requirements обнаруживает изменения в требованиях, связанных с моделями, в том числе импортированными из внешних источников, что позволяет оценить влияние изменений на проекты и принять соответствующие меры. Для просмотра изменений в требованиях доступна разностная операция (diff) для набора требований.

Поделиться

Задать вопрос

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля