Новые возможности IBM Rational Rhapsody 8.0 и Rhapsody Design Manager 4.0

Новый рабочий процесс сбора требований, оптимизированный для системных инженеров, руководство для новых пользователей, комплекты инструментов для разработки с учетом особых требований к безопасности согласно ISO 26262 и IEC 61508

IBM Rational Rhapsody 8.0 и Rational Rhapsody Design Manager 4.0 позволяют упростить совместное проектирование благодаря новому рабочему процессу разработки систем с использованием основанного на технологии Jazz репозитория баз данных, унифицирующего требования и дизайн. Выделим другие дополнения и улучшения: единый источник достоверной информации на базе OSLC-интеграции; рекомендованный рабочий процесс в соответствии с сертификатом от TUV SUD для разработки согласно стандартам ISO 26262 Road Vehicles Functional Safety и IEC 61508 Functional Safety; улучшение взаимодействия с пользователями и их продуктивности посредством руководства на основе решений; обновления для UPDM 2.0, SysML 1.3 и AUTOSAR 4.0 и 3.2; улучшение удобства использования и эффективности рабочих процессов разработки систем и динамичной разработки встраиваемого ПО и ПО режима реального времени. В новые версии добавлено много улучшений в плане удобства использования, а также усовершенствований в проектирование систем и разработку с учетом особых требований к безопасности.

Пол Урбан, старший менеджер по рынку систем, IBM

Пол Урбан (Paul Urban) – фотографияПол Урбан (Paul Urban) имеет более чем 25-летний опыт разработки систем, программного и аппаратного обеспечения в сфере встроенных систем и систем режима реального времени. Он занимается программным обеспечением Rational с 1995 года, а в настоящее время работает в IBM Rational старшим менеджером по рынку систем.



11.02.2013

Примечание.
По плану Rational Rhapsody 8.0 и Rational Rhapsody Design Manager должны быть доступны по электронным каналам 21 сентября 2012 года.

Новые возможности

Интегрированная среда разработки IBM® Rational® Rhapsody® поддерживает широкий спектр технологий и может использоваться для различных целей, например:

  • Анализ требований.
  • Основанное на моделях проектирование систем.
  • Анализ рынка.
  • Разработка встраиваемого ПО и ПО режима реального времени.
  • Разработка с учетом особых требований к безопасности.
  • Основанное на моделях тестирование.
  • Разработка AUTomotive Open System ARchitecture (AUTOSAR).
  • Интеграция с архитектурными инфраструктурами DoDAF или MODAF.

Версии Rational Rhapsody 8.0 и Rational Rhapsody Design Manager 4.0 содержат новые возможности и улучшения, облегчающие применение Rational Rhapsody с этими и многими другими решениями.

Новое руководство для новых пользователей

Rational Rhapsody Version 8.0 предлагает новую функциональность Guide Me, помогающую пользователям настраивать и использовать Rhapsody для конкретной цели. Она особенно полезна для новых пользователей, которые хотят использовать Rhapsody для своих конкретных потребностей. Предоставляются учебные руководства, видеоматериалы и документация, помогающие пользователям решать необходимые задачи.

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

Системные инженеры, стремясь улучшить свои процессы, рассуждают, взаимодействуют и определяют общий дизайн системы, часто балансируя различные ее аспекты с учетом требований предметных областей и отраслей. Rational Rhapsody Design Manager помогает организовать работу межотраслевых групп, обеспечивая коллективное использование данных, возможность совместной работы и просмотра инженерной информации эффективным и интуитивно понятным способом. Rhapsody Design Manager Version 4.0 делает еще один шаг на пути интеграции с технологией Jazz™, позволяющий системным инженерам управлять версиями, вариантами, конфигурациями и изменениями модели Rhapsody, хранящейся в Jazz-репозитории, тем самым упрощая процесс. Это позволяет более детально управлять доступом и изменениями, предоставляя системным инженерам более гибкий рабочий процесс при параллельной разработке, тесно связанной с артефактами жизненного цикла, для лучшего реагирования на изменения.

Общее хранилище артефактов

Единое место хранения в Jazz-репозитории артефактов проектирования Rational Rhapsody вместе с другими артефактами жизненного цикла, такими как требования и задачи (work item), позволяет реализовать более тесно интегрированный рабочий процесс с более широким жизненным циклом разработки систем и программного обеспечения. Требования можно отслеживать и связывать с информацией проекта без дублирования, так как они хранятся в совместно используемом репозитории на сервере. Используется единый источник достоверной информации по требованиям для баз данных управления требованиями (таких как IBM® Rational® DOORS® или IBM® Rational® Requirements Composer) и информации проекта из Rhapsody-модели. Используя ссылки Open Services for Lifecycle Collaboration (OSLC), можно настроить трассировку и проанализировать взаимосвязи между требованиями, проектом и тестами, чтобы гарантировать реализацию высококачественных проектов, отвечающих поставленным целям.

Новая роль Contributor с широкими возможностями по управлению жизненным циклом

Новая роль Rational Rhapsody Contributor обеспечивает доступ к управлению изменениями, настройке отчетов, планированию, управлению проектами, управлению конфигурациями ПО, автоматизации (система компоновки), управлению требованиями и управлению тестированием.

Помощь в соблюдении стандартов сложных систем с особыми требованиями к безопасности

Сложные системы с особыми требованиями к безопасности, используемые, например, в авиакосмической электронике, автомобилестроении, железнодорожном транспорте и медицинском оборудовании, все больше зависят от программного обеспечения. Компании, разрабатывающие такие системы, должны следовать отраслевым стандартам для продвижения своих продуктов на рынке и сертифицировать свои приложения на соответствие стандартам. Rational Rhapsody V8.0 содержит комплект IBM Rational Rhapsody Kit для ISO 26262 и IEC 61508, предоставляющий документированный рекомендованный рабочий процесс, контрольные тесты и другие артефакты (включая сертификат TUV SUD для ISO 26262 и IEC 61508) для использования Rational Rhapsody и Rational Rhapsody TestConductor Add On. Этот комплект призван помочь в соблюдении стандартов автомобилестроительной отрасли и с общими стандартами функциональной безопасности. Этот комплект также можно использовать в других отраслях (например, DO-178B или DO-178C – в авиакосмической электронике, а IEC 62304 – для медицинского оборудования) и с другими стандартами безопасности.

Автоматизацию можно адаптировать к нескольким отраслевым стандартам

Rhapsody – чрезвычайно гибкое ПО, которое можно настроить на автоматизацию доставки проектов в соответствии со многими отраслевыми стандартами. Оно включает в себя обновления SysML 1.3, OMG Unified Profile for DoDAF and MODAF (UPDM) 2.0, AUTOSAR 3.2 и 4.0, предназначенные для проектирования систем и для инженеров, работающих в автомобилестроении и разрабатывающих решения с использованием новейших стандартов.

Улучшения удобства использования и производительности

В Rational Rhapsody и Rational Rhapsody Design Manager добавлено насколько улучшений удобства использования и производительности:

  • Проверка орфографии.
  • Запрос статистических показателей модели.
  • Генерирование кода с использованием нескольких процессорных ядер.
  • Улучшенный рабочий процесс по анализу проекта при помощи управления изменениями.
  • Поиск по нескольким проектам.
  • Создание эскизов при помощи Web-клиента.

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

Двумя ключевыми аспектами каждой версии Rational Rhapsody являются удобство использования и продуктивность работы. Новым пользователям Rational Rhapsody 8.0 представляет функциональность Guide Me, упрощающую выполнение задач. Более опытные пользователи выигрывают от улучшенной производительности генератора кода, метрик моделей, проверки орфографии, более удобных вариантов настройки и улучшенной интеграции с Rational Team Concert.

Функциональность Guide Me

Rational Rhapsody можно использовать для широкого спектра задач по разработке ПО и проектированию систем в самых различных отраслях и предметных областях.

Новая функциональность Guide Me помогает новым пользователям начать работу, предлагая инструкции по выполнению последовательности заданий, связанных с решением. Для сокращения времени обучения и повышения продуктивности инструкции проводят новых пользователей через процесс настройки и применения ПО при помощи текстовой информации, учебных руководств и видеоматериалов. Имеются инструкции Guide Me по следующим темам:

  • Системное проектирование: дизайн и спецификация систем.
  • Проектирование систем управления при помощи Rational Rhapsody и MathWorks Simulink.
  • Модульное тестирование и тестирование интеграции.
  • Разработка программного обеспечения AUTOSAR.

Окно Guide Me для конкретного решения можно открыть, выбрав на начальном экране Welcome Rhapsody solution (см. рисунок 1) для получения пошаговых инструкций. Окно Guide Me можно также открыть из раскрывающегося меню Help. Там, где это возможно, инструкция Guide Me активизирует операции в Rational Rhapsody для выполнения очередного шага.

Содержимое Guide Me основано на XML, поэтому можно создавать свои собственные инструкции Guide Me для приложений Rational Rhapsody.

Рисунок 1. Функциональность Guide Me предоставляет пошаговые инструкции
Рисунок 1. Функциональность Guide Me предоставляет пошаговые инструкции

Запросы статистических показателей

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

Рисунок 2. Показатели модели, улучшающие понимание текущего состояния проекта
Рисунок 2. Показатели модели, улучшающие понимание текущего состояния проекта

Проверка орфографии

Модели состоят не только из графических диаграмм, но и из текстовой пояснительной информации. Из меню Tools можно запустить проверку орфографии описаний элементов модели.

Более быстрое генерирование кода с использованием нескольких процессорных ядер

Rational Rhapsody часто используется для разработки больших и сложных приложений. Теперь можно использовать несколько процессорных ядер при генерировании приложений, состоящих из нескольких компонентов. Это повышает производительность процесса генерирования кода. Для активизации параллельной обработки и управления количеством запускаемых параллельных процессов используется свойство CG::ParallelCodeGeneration вместе со свойством CG::UserDefinedParallelProcesses. Выполняемая команда генерирования кода указывается в свойстве CG::ParallelCodeGenerationCommand.

По умолчанию выполняется командная строка Rhapsody (RhapsodyCL.exe), но имеется возможность настроить запускаемую команду, например, на выполнение генерирования кода на другой машине или группе серверов. Кроме того, усовершенствовано управление памятью, используемой процессом генерирования кода, для лучшего использования системных ресурсов.

Шаблоны моделирования с использованием стереотипов

При определении предметно-ориентированных языков (domain-specific language – DSL) может понадобиться использование специфических понятий (например, транспортное средство, система вооружения, радар, бизнес-предприятие) с соответствующими элементами моделей, которые должны быть частью этих понятий. Rational Rhapsody 8.0 предоставляет автоматизированный способ создания шаблона модели, связанного с понятиями предметной области. Например, при создании понятия "радар" можно автоматически создавать соответствующие схему внутренних компонентов (IBD), диаграмму параметров и ссылку на документ стандарта.

Автономная интеграция Rhapsody и Rational Team Concert посредством SCCI

Rational Rhapsody 8.0 обеспечивает интеграцию с Rational Team Concert посредством стандартного SCCI-интерфейса. Благодаря этой интеграции клиент Microsoft Windows теперь поддерживает управление конфигурациями проектов при помощи Rational Team Concert.


Совместное проектирование систем при помощи Rational Rhapsody Design Manager

Благодаря своим возможностям по управлению проектами Rational Rhapsody облегчает совместное управление проектами, совместную работу с сотрудниками и заинтересованными лицами, а также интегрирует системное проектирование и дизайн ПО в их жизненные циклы. Rational Rhapsody Design Manager V4.0 способствует лучшему проектированию систем, встраиваемого ПО и приложений режима реального времени благодаря интеграции жизненного цикла, анализу, созданию эскизов в Web, расширяемости, отчетности и созданию документации.

Управление конфигурациями и изменениями проектов

Сервер Rational Rhapsody Design Management позволяет изменять проекты непосредственно на сервере. Для управления изменениями в проектах он имеет основанную на моделях систему управления конфигурациями. Модели Rational Rhapsody можно изменять непосредственно на сервере, используя настольное клиентское приложение Rhapsody. Это упрощает управление конфигурациями и дает много преимуществ, в частности, системным инженерам:

  • Улучшается качество благодаря совместной работе с коллегами и заинтересованными лицами через Web-клиент.
  • Обеспечивается параллельная работа с проектом, хранящимся на сервере со встроенной поддержкой управления конфигурациями, включая упрощенное управление изменениями.
  • Появляется возможность трассировки связей между проектами, требованиями, запросами на изменение, контрольными тестами и планами тестирования, что облегчает заинтересованным сторонам быстрый поиск соответствующих проектов, выполнение анализа влияния и покрытия.
  • Пользователи могут быстро находить проекты для ознакомления с предыдущими решениями и определения повторно используемых компонентов.
  • Сокращается время выполнения нормативных и договорных требований, автоматизируя создание документов проекта на основе шаблонов.
  • Поддерживается последовательное и параллельное управление конфигурациями.
  • Поддерживаются операции управления изменениями (такие как блокирование и разблокирование), которым, в отличие от файловых операций, известна структура проекта.
  • Поддерживаются наборы изменений, которые позволяют группировать несколько изменений проекта и управлять ими как одним логическим компонентом.
  • Есть возможность просматривать историю изменений ресурса проекта.
  • Поддерживается графическое сравнение и слияние.
  • Имеется файловый режим для пользователей, работающих с системами управления конфигурациями.

Упрощенный рабочий процесс по отслеживанию требований

Используя новый упрощенный рабочий процесс, основанный на OSLC-связывании, системные инженеры и разработчики ПО могут анализировать и отслеживать требования при помощи общего серверного репозитория, устраняющего дублирование данных. Этот новый рабочий процесс с Rational DOORS или Rational Requirements Composer реализуется посредством управления данными проекта на Jazz-сервере при помощи Rational Rhapsody Design Manager.

Rhapsody Design Manager добавляет двунаправленную трассировку между требованиями и проектами со связыванием Open Services for Lifecycle Collaboration (OSLC). Можно создать связь от требования к ресурсу проекта или от ресурса проекта к требованию, которая будет видима с обеих сторон.

  • Упрощенное взаимодействие с пользователем: двунаправленное OSLC-связывание предоставляет возможность использовать сценарии трассировки инженерам по требованиям и инженерам, выполняющим моделирование с Rational DOORS 9.4 и Rational Requirements Composer 4.0.
  • Единый источник достоверной информации: связанные данные жизненного цикла всегда актуальны; не требуется обновление данных. OSLC-ссылки отображаются в новых представлениях Rhapsody Design Manager Impact Analysis, помогая разработчикам выполнять анализ влияния и охвата.

Интеграция жизненного цикла проектирования систем и программного обеспечения

Новая версия углубляет интеграцию Rational Rhapsody в платформу Jazz посредством Rational Rhapsody Design Manager, облегчая управление и администрирование объединенного решения.

  • Rational Rhapsody Contributor V4.0 предоставляет полный доступ по чтению-записи к управлению изменениями, настройке отчетов и планированию. Лицензия Contributor также включает в себя доступ по чтению к управлению проектами и конфигурациями ПО, автоматизации (системы компоновки), управлению требованиями, управлению тестированием, если это не ограничено полномочиями роли.
  • Совместное использование сервера Jazz серверами Rational Rhapsody Design Manager, Rational Team Concert, Rational Requirements Composer и Rational Quality Manager позволяет уменьшить затраты времени средств на обычные задачи управления и администрирования.
  • Лицензирование, охватывающее различные роли, позволяет пользователям с лицензией Jazz (Developer, Analyst, Quality Professional и Contributor) совместно работать над проектами, используя возможности просмотра, поиска, комментирования, разметки и генерирования документации. Основанная на ролях лицензия Design Manager добавляет возможности Contributor к полному доступу по чтению-записи на сервере Design Management.
  • Включение областей проектов в жизненный цикл помогает быстрее включать группы разработчиков в работу.
  • Возможность изменять общедоступный URL-адрес сервера (переименование сервера) облегчает изменения серверной инфраструктуры.

Анализ влияния

Rational Rhapsody Design Manager помогает понимать влияние изменений дизайна и находить существующие компоненты дизайна, добавляя новые возможности анализа:

  • Просмотр диаграммы анализа влияния для выбранного элемента модели, демонстрирующей соответствующие элементы дизайна и связанные OSLC-ресурсы.
  • Редактирование результатов анализа с добавлением или удалением элементов.
  • Создание и сохранение запросов для поиска в нескольких областях проекта.

Web-эскизы

Создание эскизов позволяет быстро собрать воедино проектные идеи и совместно работать над ними. Теперь можно создавать эскизные диаграммы в области управления дизайном, а затем редактировать эскиз либо из автономного Web-клиента, либо из Rational Rhapsody, используя встроенный Web-клиент. Эскизы обладают преимуществами всех других возможностей управления дизайном, такими как управление конфигурациями, OSLC-связывание и генерирование документов.

Система отчетности и генерирование документов

Rational Rhapsody Design Manager предлагает несколько возможностей для создания и управления документами дизайна:

  • Хранение актуальных документов дизайна, которые можно добавлять в область управления дизайном и редактировать посредством Web-клиента с использованием формата RTF. Документы дизайна могут содержать встроенные ссылки на другие ресурсы дизайна, которые визуализируются как часть документа.
  • Генерирование документов на сервере управления дизайном при помощи нового решения Rational Reporting for Document Generation. Можно создавать документы на основе шаблонов, поставляемых с Design Manager, или специализированных шаблонов, созданных при помощи Rational Publishing Engine Document Studio (отдельная лицензия).
  • Генерирование документов при помощи Rational® Publishing Engine и доступ к дизайнам, комментариям и OSLC-связанным данным c сервера Design Management Server.

Расширяемость управления дизайном

Новый инструментальный пакет для работы с предметной областью позволяет создавать специализированные предметные области дизайна на сервере Rational Rhapsody Design Manager.

  • Определение новых предметных областей посредством редактора онтологии.
  • Проверка корректности модели путем определения динамических и пакетных ограничений модели и правил проверки данных с использованием протокола SPARQL и языка запросов RDF.
  • Создание и редактирование экземпляров модели с использованием форм, сгенерированных на основе онтологии предметной области.

Улучшения имитации и моделирования проектирования систем

Системные инженеры, применяющие Rational Rhapsody для основанного на моделях проектирования систем (model-based systems engineering – MBSE), могут воспользоваться преимуществами обновленных версий SysML 1.3 и UPDM 2. Существенно улучшена интеграция с Simulink, позволяющая теперь определять состояние и проверять корректность проектов кибер-физических систем.

Обновление поддержки SysML 1.3

Rational Rhapsody содержит обновления, облегчающие анализ, проверку корректности и определение состояния систем с использованием новейших стандартов. Теперь поддерживается SysML 1.3, включая моделирование интерфейса (например, прокси-порты, интерфейсные блоки, направленные функции, вложенные порты) и события изменения значения свойств для дополнительных параметров моделирования.

В настоящее время Rational Rhapsody поддерживает сложные типы отображений между проектами MathWorks Simulink и SysML, иерархию структурированных Simulink-блоков, указанных в схемах внутренних компонентов (IBD) SysML, а также обеспечивает лучшую поддержку поиска решений с переменным шагом, алгоритмов устранения алгебраических циклов, совместной имитации с Simulink, анимированных представлений в Rhapsody и т.д.

На рисунке 3 показано контекстное меню с операциями создания в Rational Rhapsody скелета Simulink-модели из блока.

На рисунке 4 показаны результаты операции во всплывающем окне CruiseCtrlSimDomain, отображающем автоматически сгенерированную Simulink-модель, основанную на IBD. Два графика на рисунке 4 демонстрируют результаты имитации. На первом графике в правом нижнем углу показана желаемая скорость автомобиля (синяя линия) в зависимости от диаграммы состояний его водителя (диаграмма состояний не показана). Зеленая линия отображает реальную скорость автомобиля, на которую влияет поведение двух Simulink-моделей, описывающих алгоритм управления и имитацию помехи, воздействующей на автомобиль. На втором графике в левой верхней части рисунка 4 показана тяга двигателя автомобиля во время имитации Видно, что по мере увеличения желаемой скорости двигатель выдает импульсы тягового усилия, а затем, когда скорость повышается с 80 до 120, двигатель генерирует еще один импульс. Когда желаемая скорость внезапно падает с 120 до 10 и опять повышается до 60, виден отрицательный импульс тяги, тогда как реальная скорость уменьшается примерно до 70.

Интеграция Rhapsody с Simulink может улучшить совместную работу системных инженеров, определяющих общий контекст системы при помощи SysML, и разработчиков, проектирующих алгоритмы и непрерывную логику в Simulink. Кроме того, улучшения удобства использования позволяют выполнять имитацию несколько раз без повторного экспорта, определять сигналы для автоматического построения графиков после имитации, выполнять несколько параметризованных имитаций из электронных таблиц и т.д.

Рисунок 3. Экспорт информации о проекте из SysML и быстрый старт Simulink-имитации с использованием параметров, определенных в Rhapsody
Рисунок 3. Экспорт информации о проекте из SysML и быстрый старт Simulink-имитации с использованием параметров, определенных в Rhapsody

На рисунке 4 показана автоматически сгенерированная Simulink-модель, основанная на IBD из Rhapsody, выполняющего имитацию совместно с MathWorks Simulink. Это позволяет сверять алгоритмы и непрерывную логику с архитектурой, указанной в SysML.

Рисунок 4. Автоматически сгенерированная модель MathWorks Simulink
Рисунок 4. Автоматически сгенерированная модель MathWorks Simulink

Более быстрая настройка имитационного моделирования

Во время анализа и проектирования, особенно на ранних стадиях разработки, завершенными являются только части проекта. Раннее и частое имитационное моделирование помогает обнаружить ошибки тогда, когда их еще можно исправить с наименьшими затратами. При использовании Rational Rhapsody нужно просто щелкнуть кнопкой мыши, чтобы настроить имитацию для диаграмм действий, диаграмм состояний или классов с внутренними частями, чтобы облегчить их проверку, когда другие части проекта могут быть еще не готовы. Операция Simulate (см. рисунок 5) устанавливает область действия имитации и позволяет быстро проверить поведение за одну операцию.

На рисунке 5 показано использование команды Simulate для быстрого запуска части проекта с целью проверки его поведения.

Рисунок 5. Пример команды Simulate
Рисунок 5. Пример команды Simulate

Обновленная поддержка архитектуры DoDAF 2.0 и MODAF 1.2 с UPDM 2

Министерство обороны США ввело обязательное требование использования UPDM 2 во всех DoDAF-проектах, использующих инструменты UML или SysML. В Rational Rhapsody обновлена поддержка UPDM 2, позволяющая собирать данные для DoDAF 2.0.2, а также для British Ministry of Defence Architecture Framework, MODAF 1.2.004 и NATO Architecture Framework, NAF 3.1. Поддерживается также экспорт данных с использованием XMI, что позволяет осуществлять обмен информацией с другими средствами моделирования. Поддержка устаревших профилей DoDAF 1.x и MODAF 1.x больше не предоставляется.


Поддержка разработки в соответствии со стандартами безопасности ISO 26262, IEC 61508, DO-178B и DO-178C

Компании, разрабатывающие продукты, неисправность которых может причинить вред здоровью или привести к гибели людей (например, в авиации, автомобилестроении или производстве медицинского оборудования), обязаны строго следовать стандартам процесса разработки: ISO 26262 – для автомобилестроения, DO-178B или DO-178C – для коммерческой авиации, IEC 61508 – общий стандарт функциональной безопасности. Каждая компания должна предоставить доказательства следования надлежащим процессам производства, такие, например, как наличие возможности проследить процесс от требований до реализации, выполнение тестирования на достаточном уровне и, кроме того, использование инструментальных средств, не являющихся источником ошибок.

Эти дополнительные действия помогают гарантировать безопасность, но при этом увеличивают время и затраты на жизненный цикл разработки. Отраслевые аналитические отчеты показывают значительные преимущества управляемой моделями разработки, а положения о моделировании, добавленные в DO-178C, еще больше повышают важность моделирования в процессе разработки. Rational Rhapsody предоставляет поддержку управляемой моделями разработки (model-driven development – MDD):

  • Использование UML или SysML для визуального проектирования.
  • Имитация для ранней проверки.
  • Генерирование C++, C и Ada-приложений, включая поведение.
  • Основанное на моделях тестирование для автоматизации тестирования.
  • Трассируемость артефактов жизненного цикла, в том числе требований и тестов.

Комплект средств для ISO 26262 и IEC 61508

Комплект Rational Rhapsody Kit for ISO 26262 and IEC 61508 входит в стандартный набор документации Rational Rhapsody. Он включает в себя примеры рабочих процессов по использованию Rational Rhapsody и непрерывному тестированию при помощи Rational Rhapsody TestConductor Add On. Включен сертификат TUV SUD и отчет о сертификации, указывающий, что Rational Rhapsody TestConductor Add On может применяться для безопасной разработки всех SIL-уровней, согласно IEC 61508, и всех ASIL-уровней, согласно ISO 26262. В комплект средств также входят:

  • Rational Rhapsody Kit for ISO 26262 and IEC 61508 Overview – обзор содержимого комплекта.
  • Rational Rhapsody Reference Workflow – образец рабочего процесса по моделированию, генерированию кода и верификации в контексте безопасности.
  • Rational Rhapsody TestConductor Add On Workflow – описывает цели тестирования и действия по тестированию.
  • Rational Rhapsody TestConductor Add On Safety Manual – предоставляет дополнительную информацию для использования Rational TestConductor в рамках стандарта безопасности.
  • Rational Rhapsody TestConductor Add On Validation Suite – содержит контрольные тесты, помогающие аттестовать Rational Rhapsody TestConductor Add On в вашей собственной среде разработки.

Требования и наборы средств проверки для инфраструктур исполнения

Rational Rhapsody Developer for C и Rational Rhapsody Developer for C++ предоставляют инфраструктуры исполнения, позволяющие использовать обычные функции и сервисы среды исполнения, такие как планирование, система обмена сообщениями и обработка событий. Это позволяет разработчикам сосредоточиться на своих приложениях.

Rational Rhapsody содержит документацию и требования к исходному коду в Simplified Micro-C eXecution Framework (SMXF) для C и Simplified eXecution Framework (SXF) для C++. Документация и требования помогают использовать инфраструктуру в приложениях, требующих сертификации. Наборы тестов проверки, использующие Rational Rhapsody TestConductor Add On for the SMXF and SXF, включают в себя совокупность предложений и требований для проверки работы инфраструктуры в вашей среде разработки.

Включение требований в код

При разработке программного обеспечения, которое должно удовлетворять требованиям стандартов безопасности, таких как DO-178B, DO-178C, ISO 26262, IEC 62304 или IEC 61508, очень важно гарантировать обратную трассируемость всего кода приложения до требований. В Rational Rhapsody 8.0 усовершенствовано включение требований в код, обеспечивающее трассируемость автоматически сгенерированного кода для диаграмм состояний и автоматически сгенерированных функций, что помогает обосновать необходимость операции в сгенерированном приложении. При выборе настройки SafetyCriticalforC++Developers или SafetyCriticalforCDevelopers for C++ and C code в проект добавляются рекомендованные пакеты низкоуровневых требований для автоматически сгенерированного кода поведения и функций. Параметр настройки генерирования кода Include Requirements as Comments in Code разрешает включение информации о требованиях в код (см. рисунок 6).

Рисунок 6. Информация о требованиях может быть включена в код для оказания помощи при трассировке кода к требованиям
Рисунок 6. Информация о требованиях может быть включена в код для оказания помощи при трассировке кода к требованиям

Требования можно трассировать до действий входа или выхода и до внутренних переходов состояния для обеспечения согласования необходимости этих разделов кода (см. рисунок 7). При включении требований в код переходы по диаграмме состояния нумеруются с целью обеспечения обратной трассировки из кода к модели. Имеется вариант включения требования к функции в спецификацию (.h), реализацию (.c или cpp) или в оба файла, помогающий следовать вашим рекомендациям по кодированию. Добавлены новые стереотипы для Low Level Requirements (LLR) и High Level Requirements (HLR), обеспечивающие ввод требований на основании их уровня в жизненном цикле.

Рисунок 7. Переходы диаграммы состояний нумеруются, а связанная с требованиями информация включается в код в виде комментариев
Рисунок 7. Переходы диаграммы состояний нумеруются, а связанная с требованиями информация включается в код в виде комментариев

Быстрая разработка проектов для автомобилестроения и поддержка интеграции с AUTOSAR 3.2 и 4.0

Проектировщики автомобильных систем, разрабатывающие решения для AUTOSAR, теперь могут использовать версии 3.2 и 4.0 с Rational Rhapsody для поведенческого моделирования и генерирования кода с целью определения своих систем. Кроме того, в Rational Rhapsody TestConductor Add On включена поддержка модульного тестирования отдельных программных компонентов AUTOSAR. Это позволяет автоматизировать ручные задачи тестирования, визуализировать контрольные тесты при помощи UML Testing Profile и выполнять контрольные тесты с результатами проверки для ускорения реализации высококачественных компонентов ПО и проектов AUTOSAR.

Точки вариации AUTOSAR

Профиль AUTOSAR 4.0 Rhapsody предоставляет возможность редактировать точки вариации и определять их вычисляемые значения после материализации. XML-файл AUTOSAR (ARXML), сгенерированный Rational Rhapsody, отражает вычисленное значение точки вариации.

Прототипы AUTOSAR Blueprints

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

Новый браузер иерархии

Профиль Rational Rhapsody AUTOSAR имеет новое представление, интегрированное в основной браузер и отображающее модель с точки зрения конкретных данных. Для ARPackages предоставляются три готовых представления:

  • Browse Composition Sw Component Type отображает все типы Composition SWC, а также все порты и их содержимое плюс внутренние артефакты поведения.
  • Browse Atomic Sw Component Type отображает весь тип Atomic SWC, а также все порты и их содержимое плюс внутренние артефакты поведения.
  • Browse Systems отображает все системы и содержимое их составных типов.
Рисунок 8. Три варианта представлений для конкретных аспектов проекта
Рисунок 8. Три варианта представлений для конкретных аспектов проекта

Улучшение удобства использования продукта благодаря учету типа (роли) пользователя

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


Улучшения разработки на языке Ada

В Rhapsody Developer for Ada 8.0 улучшена синхронизация модели и Ada-кода.

Запуск Ada-имитаций с помощью диаграмм панели

Rational Rhapsody Developer for Ada теперь предоставляет возможность перенести входные данные в диаграммы панели для выполнения имитации и ранней проверки поведения в жизненном цикле разработки. Диаграммы панели имеются в Rational Rhapsody Tools и Utilities Add On.

Визуализация Ada-кода

Существует много старых проектов на языке Ada, которые все еще поддерживаются и обновляются. Rhapsody Developer for Ada предоставляет возможности реверсивного проектирования, позволяющие импортировать и документировать эти проекты, чтобы упростить понимание архитектуры и дизайна приложения. В версию 8.0 добавлены новые возможности синхронизации, которые позволяют вносить в модель Rational Rhapsody изменения, возникшие в Ada-коде. Реверсивное проектирование для Ada и двунаправленный обмен (round-tripping) теперь поддерживаются и на платформе Linux.

Наборы контейнеров Ada

Предоставляется множество свойств для управления наборами контейнеров, используемых для реализации взаимосвязей в Rhapsody Developer for Ada. Свойство Ada_CG ::Configuration::ContainerSet используется для указания применяемого набора контейнеров. Доступны варианты Booch (по умолчанию), Ada 2005 или User Defined, позволяющий определить свой собственный набор контейнеров.


Обновления для Linux и целевая поддержка операционной системы

Rhapsody Developer 8.0 и Rhapsody Developer for C++, C, and Java 8.0 теперь поддерживают Red Hat Linux 6 и SUSE 11 в 32-разрядном режиме. Red Hat 4 больше не поддерживается. Кроме того, теперь на платформах Windows и Linux поддерживаются Wind River VxWorks 6.9 и Workbench 3.3, но без поддержки синхронизации точек останова. Wind River VxWorks 6.6 и Workbench 3.0 больше не поддерживаются.

Ресурсы

Научиться

  • Оригинал статьи: What's new in IBM Rational Rhapsody 8.0 and Rhapsody Design Manager 4.0 (EN).
  • Для получения дополнительной информации по данному инструменту совместной работы и управляемой моделями разработки встроенных систем начните со справочного центра Rational Rhapsody Information Center, где размещены учебные руководства, рекомендации по началу работы и ссылки на другие ресурсы.
  • Исследуйте различные редакции:
  • Решение IBM® Rational® Rhapsody® Design Manager предназначено для совместной работы, обмена, просмотра и управления проектами и моделями в команде инженеров. Просмотрите также страницу Design Management на сайте Jazz.net.
  • Просмотрите каталог Rational training and certification, содержащий ссылки на курсы по разным темам. Некоторые из них можно пройти в любом месте и в любое время. Многие курсы для начинающих доступны бесплатно.

Получить продукты и технологии

  • Загрузите Rational Rhapsody для бесплатного использования в течение 30 дней.
  • Дополнительная информация о проекте Design Management на Jazz.net.

Обсудить

  • Программное обеспечение Rational на Facebook, в Твиттере (@ibmrational) и на YouTube. Добавляйте свои комментарии и вопросы.

Комментарии

developerWorks: Войти

Обязательные поля отмечены звездочкой (*).


Нужен IBM ID?
Забыли Ваш IBM ID?


Забыли Ваш пароль?
Изменить пароль

Нажимая Отправить, Вы принимаете Условия использования developerWorks.

 


Профиль создается, когда вы первый раз заходите в developerWorks. Информация в вашем профиле (имя, страна / регион, название компании) отображается для всех пользователей и будет сопровождать любой опубликованный вами контент пока вы специально не укажите скрыть название вашей компании. Вы можете обновить ваш IBM аккаунт в любое время.

Вся введенная информация защищена.

Выберите имя, которое будет отображаться на экране



При первом входе в developerWorks для Вас будет создан профиль и Вам нужно будет выбрать Отображаемое имя. Оно будет выводиться рядом с контентом, опубликованным Вами в developerWorks.

Отображаемое имя должно иметь длину от 3 символов до 31 символа. Ваше Имя в системе должно быть уникальным. В качестве имени по соображениям приватности нельзя использовать контактный e-mail.

Обязательные поля отмечены звездочкой (*).

(Отображаемое имя должно иметь длину от 3 символов до 31 символа.)

Нажимая Отправить, Вы принимаете Условия использования developerWorks.

 


Вся введенная информация защищена.


static.content.url=http://www.ibm.com/developerworks/js/artrating/
SITE_ID=40
Zone=Rational
ArticleID=857745
ArticleTitle=Новые возможности IBM Rational Rhapsody 8.0 и Rhapsody Design Manager 4.0
publish-date=02112013