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

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

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

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

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

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

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

Работа с требованиями в Simulink с помощью Requirements Perspective"
Работа с требованиями в Simulink с помощью Requirements Perspective"
Работа с требованиями в Simulink с помощью Requirements Perspective" Работа с требованиями в Simulink с помощью Requirements Perspective"

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

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

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

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

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

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

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

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

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

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

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

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

Обеспечивается трассируемость требований в других инструментах в жизненного цикла разработки, в том числе и инструментах генерации кода и тестирования для двунаправленной навигации по требованиям, проектам, реализациям и тестовым векторам. Требования привязываются к тестовым векторам, группам тестов и тестовым последовательностям, созданным в 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 Requirements предоставляет отслеживание статуса реализации и верификации требований в Simulink для выявления пробелов в реализации, отсутствующих требований или ошибок в проекте. Метрики реализации и верификации количественно определяют долю требований, которые были реализованы в проекте и связаны с тестовыми векторами, а также долю пройденных тестов. 

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

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

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

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

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