Возможности Ansys SCADE Architect

Проектирование системной и программной архитектуры

SCADE Architect Advanced Modeler обладает следующими возможностями:

Функциональный и архитектурный дизайн

• Функциональная и архитектурная декомпозиция с помощью блок-схем
• Простое и интуитивно понятное определение системной архитектуры через концепцию повторно используемых/уникальных блоков
• Управление повторным использованием компонентов с помощью блочных реплик и возможность независимо распределять элементы для каждой реплики компонента
• Комплексная визуализация иерархии компонентов в дереве проекта
• Распределение функций по компонентам, выполняемое локально по функциям или компонентам, или посредством перетаскивания в таблицах распределения
• Механизм аннотации для добавления пользовательских свойств к объектам модели

Управление данными

• Определение словарей данных
• Импорт/экспорт словарей данных в Microsoft Excel или файлов значений, разделенных запятыми
• Распространение данных по иерархии блоков
• Визуализация пути распространения данных
• Проверки согласованности распространения данных
• Таблицы объектов модели (порты ввода-вывода, соединители, данные, распределения) с неограниченными иерархическими уровнями и настраиваемыми столбцами, предназначенные для быстрого и эффективного управления длинными списками данных
• Возможность поиска по содержимому таблицы

Представление системных ограничений

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

Модельно-ориентированное проектное решение

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

Поддержка совместной работы

• Возможность импорта моделей SysML из IBM Rhapsody и NoMagic MagicDraw и Sparx Systems Enterprise Architect
• Извлечение частей системы для третьих лиц, обеспечение защиты IP модели системы и автоматическая повторная синхронизация модификаций, внесенных с обеих сторон
• Управление библиотеками моделей только для чтения и поддержка реорганизации библиотек, позволяющая многопользовательское сотрудничество
• Доступ для чтения / записи к моделям SCADE Architect через OCL, TCL или API модели Java
• Возможность разработки конкретного импорта/экспорта через API модели
• Поддержка прослеживаемости требований: отслеживаемость требований, доступная с помощью интегрированного SCADE LifeCycle ALM Gateway

Проверка проектирования архитектуры системы и программного обеспечения

SCADE Architect позволяет верифицировать проект системы с помощью инструментов для проверки согласованности модели и сравнения/слияния моделей.

Проверка согласованности модели

• Автоматическая проверка правил моделирования, применимых ко всей модели или ее частям
• Набор предопределенных правил для общих шаблонов использования для быстрого исправления нарушенных правил
• Режим Live Checker для оперативной проверки правил
• Добавление собственных правил через API (в OCL, TCL, Java)
• Настраиваемые конфигурации проверки, которые можно использовать для разных частей модели или на разных этапах проектирования.
• Создание отчетов в формате RTF или HTML с прямыми гиперссылками на элементы модели для выявления нарушений

Модель Diff/Merge

• Анализ различий между версиями модели системы
• Фильтры для отображения отличий моделей
• Возможности объединения для выборочного или массового копирования изменений или выборочного игнорирования изменений
• Пользовательский контроль над стратегией сопоставления, применимой к Diff-анализу
• Древовидное представление различий, позволяющее легко понять удаление, вставку и изменение объектов модели SCADE Architect
• Подробный отчет о действиях слияния и различиях до и после сеансов слияния

Создание и синхронизация ICD с разработкой программного обеспечения

SCADE Architect позволяет легко создавать документы управления интерфейсом и уточнять программные компоненты в среде разработки программного обеспечения на основе моделей SCADE Suite.

Автоматизированное производство документов контроля интерфейса (ICD)

• Создание таблиц из распространяемых данных, представляющих интерфейсы блоков
• Столбцы пользовательских запросов (OCL, TCL, Java), позволяющие автоматически извлекать связанную информацию из модели, например: производитель и потребители данных, свойства из пути передачи данных и т. Д.
• Импорт/экспорт таблицы в Microsoft Excel и файлов значений, разделенных запятыми
• Настройка данных для представления сообщений со специальными свойствами протокола связи, что позволяет таблицам представлять исчерпывающие ICD

Синхронизация с программными компонентами

• Эволюция системного дизайна и компонентов программного обеспечения в параллельном режиме и повторная синхронизация по запросу на выбранных этапах проекта
• Двунаправленная синхронизация между структурными моделями системы и поведенческими моделями программного обеспечения
• Гибкое повторное использование синхронизации (модульная синхронизация) через иерархию библиотек SCADE Architect и SCADE Suite
• Последовательное и эффективное управление вводом-выводом, определениями и изменениями данных
• Устранено дублирование усилий при синхронизации определенных интерфейсов.

Анализ системных требований

SCADE Architect Advanced Modeler обладает следующими возможностями:

Анализ сценариев использования системы

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

Анализ системного сценария

• Представление сценария работы операционной системы на схемах последовательностей
• Возможность связывать и переходить к действиям в диаграммах действий и состояниям в диаграммах конечного автомата.

Анализ состояний системы

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

Анализ активности системы

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

Конфигурация среды проектирования системы

SCADE Architect Configurator позволяет разработчикам методов и инструментальных средств настраивать SCADE Architect Advanced Modeler в соответствии с конкретными потребностями группы пользователей. Конфигурация для домена относится к использованию отраслевых стандартов, таких как IMA, FACE и AUTOSAR, либо к стандартам компании или проекта.

SCADE Architect Configurator обладает следующими возможностями:

• Определение предметно-ориентированных объектов, полученных из элементов дизайна SCADE Architect
• Определение предметно-зависимых объектов, свойств и ограничений между объектами в упрощенной диаграмме классов
• Настройка моделера для конкретной предметной области с выделенными палитрами пользовательского интерфейса, страницами свойств и меню
• Настройка значка объектов, графических стилей и таблиц из предварительного просмотра Конфигуратора для немедленного повторного использования в настроенном SCADE Architect
• Автоматическое создание подключаемых модулей конфигурации для развертывания разработчиков моделей для конкретной предметной области
• Возможность применять предопределенные или пользовательские правила к метамоделям с помощью SCADE Architect Checker

Решения для интерфейсов FACE, AADL, авионики

Пакет SCADE Avionics расширяет SCADE Architect решениями, специально предназначенными для проектирования систем авионики. Он включает решения для технического стандарта FACE, для AADL и для интерфейсов авионики.

Решение для FACE

Future Airborne Capability Environment (FACE) TM - это стандарт, который способствует инновациям и быстрой интеграции портативных возможностей. Он определяет мощную методологию моделирования программного интерфейса и архитектуру программного обеспечения во время выполнения. Чтобы проектировщики могли эффективно разрабатывать модели данных, предоставляемых FACE UoP (USM) для своих единиц переносимости (UoP), и создавать код для соответствующих единиц соответствия (UoC), рекомендуется использовать надежные инструменты и процессы.

Решение SCADE для FACE предоставляет полный набор решений для эффективной реализации приложений в среде Future Airborne Capability Environment (FACE):

• SCADE Architect адаптирован к конкретной конфигурации FACE. Это позволяет пользователям выполнять моделирование данных FACE. Функциональность импорта / экспорта туда и обратно предоставляется для любого файла FACE, включая общую модель данных. Экспортированный файл FACE проходит тестирование модели данных с помощью FACE Conformance Test Suite (CTS).
• Проекты SCADE Architect и SCADE Suite синхронизированы (инкрементный импорт и экспорт), что обеспечивает единообразное определение единицы переносимости (UoP) как в «системном представлении», так и «программном представлении».
• Адаптер транспортных служб FACE обертывает код, сгенерированный SCADE Suite KCG, поверх API транспортных служб. Автоматически сгенерированный код C, make-файлы и объектные файлы проходят тестирование сегментов переносимых компонентов с помощью FACE Conformance Test Suite.

Решение для AADL

AADL является признанным стандартом SAE в сообществе системного моделирования и широко используется для оборонных приложений. AADL предназначен для встроенных систем реального времени, моделируя как программные, так и аппаратные ресурсы и предоставляя подробные спецификации для проверки нефункциональных требований к системе, таких как производительность, безопасность, затраты и т. д.

Решение SCADE для AADL предоставляет графический инструмент моделирования AADL, совместимый со стандартом AADL. Инструмент SCADE AADL импортирует и экспортирует стандартные файлы AADL, включая определения наборов свойств. Простой в использовании графический интерфейс пользователя позволяет моделировать и понимать модели AADL посредством прямого, прямого и полного определения компонентов как отдельных объектов.

Поддержка AADL в пакете авионики SCADE предлагает:

• Полная совместимость со стандартом AADL v2.2
  • Позволяет импортировать устаревшие модели
  • Возможность экспорта в сторонние анализаторы
• Легкость использования
  • Выразительность AADL упрощена до конкретных компонентов
  • Интуитивно понятный графический интерфейс и диаграммы
• Экосистема инструментов SCADE
  • Двунаправленная синхронизация с SCADE Suite для разработки, проверки и сертификации программных компонентов
  • Прослеживаемость через шлюз SCADE ALM
  • Та же IDE, что и для моделирования SysML и FACE (поддерживается смешанный дизайн)

Решение для интерфейсов авионики

Решение интерфейсов авионики позволяет настраивать пользовательский интерфейс SCADE Architect Advanced Modeler для методологии, основанной на функциональном, программном и независимом от платформы уровнях. Эта конфигурация позволяет определять интегрированную модульную авионику или любую другую архитектуру авионики.

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

Решение SCADE для интерфейсов авионики состоит из:

• Модели конфигурации
  • Авионика: настраивает SCADE Architect Advanced Modeler для методологии, основанной на трех независимых уровнях: функциональном, программном и платформенном.
  • A429, A664, CAN: независимые конфигурации, позволяющие реализовать связи между уровнями системы авионики в соответствии со стандартными протоколами связи ARINC 429, ARINC 664-P7 и CAN.
  • A653: специализация конфигурации авионики для обработки специальных свойств ARINC 653
• Автоматическое создание таблиц ARINC 653 и проверка использования ресурсов: проверка пропускной способности канала связи ARINC 664-P7
• Модель тормозной системы самолета: комплексный промышленный пример, который предоставляет руководство по использованию и развертыванию определенных конфигураций.