ANSYS SCADE (2024 R1) (2023) скачать торрент

Издатель: Ansys Inc

Год выпуска: 2023

Язык интерфейса: Мультиязычный

Версия: 2024 R1

Название: ANSYS SCADE

Размер: 2.75 GB

Таблетка: Присутствует

Описание:
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-файлов описания