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
• Подробный отчет о действиях слияния и различиях до и после сеансов слияния

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

Пакет 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 является признанным стандартом 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
• Модель тормозной системы самолета: комплексный промышленный пример, который предоставляет руководство по использованию и развертыванию определенных конфигураций.