Descargar ANSYS SCADE 2024 R1

Descargar ANSYS SCADE 2024 R1 es un conjunto de herramientas de desarrollo basado en modelos para software integrado crítico para la seguridad. Mediante el uso de herramientas de software dedicadas y generadores de códigos certificados, los ingenieros y desarrolladores

 

de sistemas pueden evitar errores de codificación y cumplir con estrictos estándares de certificación. Las herramientas Ansys SCADE se utilizan ampliamente en todas las industrias, desde el diseño de sistemas de control de aviones o el control remoto de plantas de energía nuclear antes de la creación del hombre. -Interfaz de máquina del coche.

Descargar ANSYS SCADE 2024 R1

Módulos Ansys SCADE
Ansys SCADE Architect Un
entorno de diseño integrado para sistemas con altos requisitos de confiabilidad y seguridad con soporte de procesos, estándares industriales ARP 4754A, ISO 26262 y EN 50126

 

Características clave de Ansys SCADE Architect
-Análisis de requisitos
del sistema -Editor de modelado avanzado para análisis de requisitos del sistema, diseño funcional, diseño arquitectónico y componentes del sistema
-Análisis del sistema mediante diagramas: casos de uso, secuencias, actividades, estados, bloques de funciones,
bloques internos y diagramas paramétricos
-Definir e importar/exportar flujos de datos
-Forma tabular de describir objetos de datos, la capacidad de personalizar el formato de las tablas
-Soporte para todas las funciones gráficas estándar y control de estilos de gráficos para visualizar componentes
-Navegación y búsqueda de modelos
-Soporte de colaboración
-Modelo verificación de cumplimiento con reglas de modelado especificadas
-Informes en RTF o HTML
-División y fusión de modelos, haciendo coincidir diferentes versiones de modelos
-Creación automática de documentación de control de interfaz (ICD)
-Sincronización bidireccional entre sistemas de modelos de arquitectura y modelos de proyecto
-Configuración del entorno de diseño de sistemas de acuerdo con estándares de la industria y reglas personalizadas
-Exportación de elementos y requisitos a Ansys Twin Builder
-Paquetes de patrones de diseño adicionales para automoción y aviónica y estándares FACE

 

Ansys SCADE Display
Solution para el desarrollo de gráficos integrados, pantallas e interfaces hombre-máquina, así como generación de código certificado para sistemas críticos para la seguridad.
Un entorno de diseño gráfico versátil para pantallas e interfaces hombre-máquina (HMI), con la capacidad de generar código certificado para sistemas críticos para la seguridad.

 

Características clave de Ansys SCADE Display
-Diseño lógico de la interfaz hombre-máquina
-Administrar fuentes, texturas y transparencia
-Bibliotecas de widgets
-Uso de gráficos 2D-3D de terceros creados con OpenGL -Creación previa de
prototipos y pruebas utilizando métodos de caja blanca y negra
-Generación automática de código certificado para eliminar errores de codificación
-Conexión de herramientas de gestión del ciclo de vida del software
-Trazabilidad de requisitos
-Modelado de especificaciones gráficas en modo incremental o continuo
-Capacidad para descargar, reproducir y grabar scripts
-Animar especificaciones gráficas
-Verificación del cumplimiento de las especificaciones de visualización con el diseño principios y reglas de nomenclatura para elementos
-Verificación y corrección automática de nombres y gráficos
-Reportes de advertencias y errores detectados durante la verificación (en formato texto o CSV)
-Desarrollo de scripts de prueba y visualización de resultados esperados
-Comparación automática de resultados reales y esperados basados ​​en imágenes
-Integración con Ansys Twin Builder vía FMI para simulación multifísica

 

Características clave de Ansys SCADE LifeCycle
-Análisis integral de trazabilidad de requisitos
-Trazabilidad de casos de prueba
-Navegación bidireccional a través de requisitos y pruebas
-Cumplimiento de los estándares DO-178B, DO-178C, EN 50128, IEC 61508, ISO 26262 e IEC 60880
-Integración con otro software Herramientas de gestión del ciclo de vida
-Generación de documentación e informes del proyecto en formatos RTF o HTML
-Configuración del contenido y parámetros de visualización de los informes
-Configuración de plantillas de informes comunes basadas en el lenguaje de secuencias de comandos TCL
-Soporte para el estándar SCCI
-Almacenamiento de datos en formato ASCII

 

Ansys SCADE Suite
Un entorno para el desarrollo basado en modelos de algoritmos de control y lógica de sistemas, verificación e integración de sistemas y software, así como generación de código certificado.

 

Características clave de Ansys SCADE Suite
-Presentación gráfica de diagramas de decisión
-Capacidad para comparar diferentes versiones de proyectos, modelos, operadores o máquinas de estado con indicación gráfica de diferencias e informes
-Bibliotecas ampliadas de integradores, histéresis, cuantificadores, filtros, activadores, tablas de verdad , tablas de búsqueda, operadores matriciales y otros componentes
-Importación de código de programa previamente desarrollado
-Acceso de lectura/escritura a archivos de proyecto y modelo a través de Eclipse Modeling Framework (EMF) o Tcl API
-Asistente de desarrollo de casos de prueba
-Sincronización bidireccional entre modelos de arquitectura del sistema y modelos de proyectos de software
-Análisis del peor tiempo de ejecución del programa (WCET) y el tamaño de pila utilizado
-Optimización del tiempo de ejecución del programa y/o tamaño de la pila
-Análisis del rendimiento del código
-Generación automática de informes detallados
-Configuración y automatización de simulaciones utilizando el lenguaje de programación Tcl
-Automáticamente ejecución de scripts de prueba
-Cosimulación de Simulink y MATLAB
-Exportación de modelos FMU a Ansys Twin Builder
-Evaluación del cumplimiento del proyecto con requisitos de seguridad y detección de errores en una etapa temprana de diseño
-Generación automática de código certificado e integración en productos de software comerciales
-Desarrollo de Interfaces hombre-máquina integradas
-Gestión del ciclo de vida del software junto con Ansys SCADE LifeCycle

 

Ansys SCADE Test
Una herramienta para desarrollar y ejecutar escenarios de prueba basados ​​en requisitos de software, verificación y validación de software integrado e interfaces hombre-máquina, y documentación de los resultados de las pruebas.

 

Características clave de Ansys SCADE Test
-Diseño de paneles gráficos utilizando la biblioteca incorporada de widgets (botones, controles deslizantes, etc.) y elementos de la interfaz hombre-máquina para probar la aplicación
-Una estructura de proyecto única en todos los productos SCADE para la gestión archivos y recursos
-Gestión de diccionarios de variables
-Creación automática de aplicaciones ejecutables para Windows, Apple iOS o Android
-Integración con el entorno de desarrollo basado en modelos SCADE Suite, Ansys Twin Builder y otras herramientas compatibles con FMI
-Desarrollo y lanzamiento de scripts de prueba para programas de control e interfaces gráficas en la PC y en la plataforma de destino, análisis de datos de prueba e informes sobre las pruebas -Pruebas de
circuito cerrado con generador de API de servicios de prueba SCADE
-Soluciones Ansys SCADE para sistemas compatibles con ARINC 661
-Kit de herramientas y plantillas de simulación y diseño de indicadores de aviación ARINC 661

 

Características clave de las soluciones Ansys SCADE para sistemas compatibles con ARINC 661
-Biblioteca de widgets estándar ARINC 661 con posibilidad de corrección y modificación
-Modelos SCADE Suite para describir la lógica de comportamiento de los widgets
-Modelos SCADE Display para describir los aspectos gráficos e interactivos de los widgets
– Guías para usar, personalizar y adaptar al usuario final la biblioteca de widgets
-Diseño y modelado de widgets asistido por computadora ARINC 661
-Generar automáticamente código fuente C a partir de la biblioteca de modelos de widgets
-Desarrollar páginas de aplicaciones personalizadas como modelos
-Generar automáticamente binario estándar o XML archivos de descripción