POSITIVERECORDS.RU

Ansys SCADE – это набор инструментов модельно-ориентированной разработки критического по безопасности встраиваемого программного обеспечения.
Использование специальных программных средств и сертифицированных генераторов кода позволяет системным инженерам и разработчикам избежать ошибок в коде и соблюсти строгие стандарты сертификации.
Инструменты Ansys SCADE широко используются во всех отраслях промышленности – от проектирования системы управления самолета или пульта управления атомной станции до создания человеко-машинного интерфейса автомобиля.

Модули Ansys SCADE

Ansys SCADE Architect
Интегрированная среда проектирования систем c высокими требованиями к надежности и безопасности с поддержкой процессов, промышленных стандартов ARP 4754A, ISO 26262 и EN 50126

Основные возможности Ansys SCADE Architect:

» Анализ системных требований
» Редактор Advanced Modeler для анализа требований к системам, функционального проектирования, проектирования архитектур и компонентов системы
» Анализ систем с использованием диаграмм: вариантов использования, последовательностей, деятельности, состояний, функциональных блоков,
внутренних блоков и параметрических диаграмм
» Определение и импорт/экспорт потоков данных
» Табличный способ описания объектов данных, возможность индивидуальной настройки формата таблиц
» Поддержка всех стандартных графических функций и управление стилями диаграмм для визуализации компонентов
» Навигация и поиск по модели
» Поддержка совместной работы
» Проверка соответствия модели заданным правилам моделирования
» Создание отчетов в RTF или HTML
» Разделение и слияние моделей, сопоставление разных версий моделей
» Автоматическое создание документации по управлению интерфейсом (ICD)
» Двунаправленная синхронизация между моделями архитектуры системы и моделями проекта
» Конфигурация среды проектирования систем в соответствии с отраслевыми стандартами и пользовательскими правилами
» Экспорт элементов и требований в Ansys Twin Builder
» Дополнительные пакеты шаблонов проектирования для автомобилестроения и авионики, а также стандартов FACE

Ansys SCADE Display
Решение для разработки встраиваемой графики, индикации и человеко-машинных интерфейсов, а также сертифицированной генерации кода для критических по безопасности систем.
Универсальная графическая среда проектирования индикации и человеко-машинных интерфейсов (HMI), с возможностью сертифицированной генерации кода для критических по безопасности систем.

Основные возможности Ansys SCADE Display:

» Логическое проектирование человеко-машинного интерфейса
» Управление шрифтами, текстурами, прозрачностью
» Библиотеки виджетов
» Использование сторонней 2D- 3D-графики, созданной при помощи OpenGL
» Предварительное прототипирование и тестирование методами белого и черного ящиков
» Автоматическая генерация сертифицированного кода для устранения ошибок кодирования
» Подключение инструментов управления жизненным циклом программного обеспечения
» Трассируемость требований
» Моделирование графических спецификаций в пошаговом или непрерывном режиме
» Возможность загрузки, воспроизведения и записи сценариев
» Анимация графических спецификаций
» Проверка соответствия спецификаций дисплеев принципам проектирования и правилам присвоения имен элементам
» Автоматическая проверка и исправление имен и графики
» Отчеты о предупреждениях и ошибках, выявленных в ходе проверки (в текстовом или CSV-формате)
» Разработка тестовых сценариев и визуализация ожидаемых результатов
» Автоматическое сравнение фактических и ожидаемых результатов на основе изображений
» Интеграция с Ansys Twin Builder через FMI для мультифизического моделирования

Основные возможности Ansys SCADE LifeCycle:

» Комплексный анализ трассируемости требований
» Трассируемость тестовых сценариев
» Двунаправленная навигация по требованиям и тестам
» Соответствие стандартам DO-178B, DO-178C, EN 50128, IEC 61508, ISO 26262 и IEC 60880
» Интеграция с другими инструментами управления жизненным циклом программного обеспечения
» Генерация проектной документации и отчетов в форматах RTF или HTML
» Настройка содержимого и параметров отображения отчетов
» Настройка общих шаблонов отчетов на основе языка сценариев TCL
» Поддержка стандарта SCCI
» Хранение данных в ASCII-формате

Ansys SCADE Suite

Среда модельно-ориентированной разработки алгоритмов управления и логики работы системы, верификации и интеграции систем и ПО, а также сертифицированной генерации кода.

Основные возможности Ansys SCADE Suite:

» Графическое предоставление диаграмм принятия решений
» Возможность сравнения различных версий проектов, моделей, операторов или конечных автоматов с графическим указанием различий и составления отчетов
» Расширенные библиотеки интеграторов, гистерезиса, квантователей, фильтров, триггеров, таблиц истинности, справочных таблиц, матричных операторов и других компонентов
» Импорт ранее разработанного программного кода
» Доступ на чтение/запись файлов проектов и моделей через Eclipse Modeling Framework (EMF) или Tcl API
» Мастер разработки тестовых сценариев
» Двунаправленная синхронизация между моделями архитектуры системы и моделями проекта ПО
» Анализ наихудшего времени выполнения программы (WCET) и используемого размера стека
» Оптимизация времени выполнения программы и/или размера стека
» Анализ производительности кода
» Автоматическое создание подробных отчетов
» Настройка и автоматизация моделирования с помощью языка сценариев Tcl
» Автоматическое выполнение тестовых сценариев
» Совместное моделирование в Simulink и MATLAB
» Экспорт FMU-моделей в Ansys Twin Builder
» Оценка соответствия проекта требованиям безопасности и выявление ошибок на ранней стадии проектирования
» Автоматическая генерация сертифицированного кода и интеграция в коммерческие программные продукты
» Разработка встроенных человеко-машинных интерфейсов
» Управление жизненным циклом программного обеспечения в связке с Ansys SCADE LifeCycle

Ansys SCADE Test

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

Основные возможности Ansys SCADE Test:

» Проектирование графических панелей с использованием встроенной библиотеки виджетов (кнопками, ползунками и др.) и элементами человеко-машинного интерфейса для тестирования приложения
» Единая структура проектов во всех продуктах SCADE для управления файлами и ресурсами
» Управление словарями переменных
» Автоматическое создание исполняемых приложений для Windows, Apple iOS или Android
» Интеграция со средой модельно-ориентированной разработки SCADE Suite, Ansys Twin Builder и другими FMI-совместимыми инструментами
» Разработка и запуск тестовых сценариев для управляющих программ и графических интерфейсов на PC и на целевой платформе, анализ тестовых данных и формирование отчетов о тестировании
» Тестирование в замкнутом контуре с помощью генератора SCADE Test Services API

Ansys SCADE Solutions for ARINC 661 Compliant Systems

Набор инструментов и шаблонов для проектирования и моделирования авиационной индикации в соответствии со стандартом ARINC 661

Основные возможности Ansys SCADE Solutions for ARINC 661 Compliant Systems

» Библиотека стандартных виджетов ARINC 661 с возможностью коррекции и изменений
» Модели SCADE Suite для описания поведенческой логики виджетов
» Модели SCADE Display для описания графических и интерактивных аспектов виджетов
» Руководства по использованию, настройке и адаптации под конечного пользователя библиотеки виджетов
» Автоматизированное проектирование и моделирование виджетов ARINC 661
» Автоматическая генерация исходного кода на языке C из библиотеки моделей виджетов
» Разработка страниц пользовательских приложений в виде моделей
» Автоматическая генерация стандартных двоичных или XML-файлов описания