ANSYS SCADE 2022 R1 Win64 Год/Дата Выпуска: 2021 Версия: 2022 R1 Разработчик: Ansys Inc. Сайт разработчика: www.ansys.com Разрядность: 64bit Язык интерфейса: Мультиязычный (русский отсутствует) Таблэтка: Присутствует (TeAM SolidSQUAD-SSQ) Системные требования: Windows 10 (64-bit Professional, Enterprise and Education editions) Windows 7 (64-bit Professional and Enterprise versions) Windows Server 2012 R2 Standard Edition (64-bit) 39 Гб на жестком диске, многопроцессорность, память > 2 Гб, подробнее > http://www.ansys.com/Support/Platform+Support Описание: 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-файлов описания
Скриншоты
[only-soft.org].t156999.torrent
Торрент:
Зарегистрирован
[ 2022-01-18 17:40 ]
19 KB
Статус:
√проверено
Скачан:
1 раз
Размер:
1,88 GB
Оценка:
(Голосов: 0)
Поблагодарили:
0
ANSYS SCADE 2022 R1 Win64 [2021, MULTILANG -RUS] скачать торрент бесплатно и без регистрации
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете голосовать в опросах Вы не можете прикреплять файлы к сообщениям Вы можете скачивать файлы