ANSYS SCADE Suite

Los sistemas de control vitales para la seguridad y de misión crítica funcionan con software creado en SCADE

SCADE Suite es una línea de productos en la familia de software integrado de ANSYS que proporciona un entorno de desarrollo basado en modelos para un software integrado crítico. Con una integración nativa del lenguaje Scade definido formalmente, SCADE Suite es el entorno de diseño integrado para aplicaciones vitales, lo que incluye gestión de requisitos, diseño basado en modelos, simulación, verificación, generación de códigos calificables/certificados e interoperabilidad con otras plataformas y herramientas de desarrollo.

Dónde usar SCADE Suite
SCADE Suite se usa para diseñar un software vital, como sistemas de control de vuelo o control de motores, sistemas de equipos de aterrizaje, pilotos automáticos, sistemas de administración de energía y combustible, pantallas de cabina de mando, sistemas y señalización de interbloqueo de raíles, operación automática de trenes, control de trenes informatizado, sistemas de frenado de emergencia, protección frente a exceso de velocidad, detección de plazas libres en trenes, controles de plantas de energía nuclear, ADAS en coches y otras muchas aplicaciones aeroespaciales, ferroviarias, energéticas, automotoras o industriales.

Diseñado para aplicaciones vitales
SCADE Suite reduce drásticamente los costes de certificación de proyectos simplificando el diseño de aplicaciones de control vitales y automatizando la verificación, la generación de códigos calificables/certificados y la generación de documentos. El generador de códigos KCG de SCADE Suite es calificable como herramienta de desarrollo según DO-178B nivel A o como herramienta DO-330 TQL-1 según DO-178C. Ha recibido cualificación de ISO 26262:2011 en ASIL D y C, así como certificación de IEC 61508 2010 en T3/SIL 3 y EN 50128:2011 a T3/SIL 3/4.

Los kits de certificación KCG de SCADE Suite proporcionan los siguientes materiales que se necesitan según las directrices estándar específicas para las autoridades de certificación:

  • Plan de calificación de herramientas (TQP)
  • Requisitos operativos de herramientas (TOR)
  • Resumen de logros de herramientas (TAS) o Caso de seguridad (SC)
  • Análisis de cumplimiento con los estándares de certificación
  • Procedimiento de instalación de software (SIP)
  • Índice de configuración de herramientas (TCI)
  • y otros documentos específicos de estándares

Los planes de certificación DO-178B y DO-178C para aplicaciones de SCADE Suite proporcionan un conjunto de planes genéricos que apoyan la certificación de aplicaciones desarrolladas con SCADE Suite con niveles A y B.

Capabilities

Diseño avanzado basado en modelos

SCADE Suite proporciona capacidades de simulación y diseño de máquinas de estados y flujo de datos de software en un entorno totalmente integrado que se conecta con las herramientas de administración de configuración, simulación de sistemas y pruebas en tiempo real.

Advanced Model-Based Design
Sincronización con el diseño de arquitectura de software

La integración del sistema SCADE y de SCADE Suite proporciona todas las herramientas necesarias para el proceso de diseño de software completo, desde arquitectura hasta diseño detallado de componentes.

Synchronization with Software Architecture Design
Optimización del tamaño de apilado y elección del momento

El optimizador de tiempo y de apilado de SCADE Suite calcula el tiempo de ejecución en el peor caso (WCET) o el uso de apilado de tareas en una aplicación.

Timing and Stack Size Optimization
Simulación y depuración

Las capacidades de simulación de SCADE Suite se basan en el código generado real, lo que proporciona un potente entorno de depuración visual que permite puntos de interrupción para examinar variables internas y valores resultantes.

Simulating and Debugging
Verificación del diseño

SCADE Suite Design Verifier (DV) es un asistente de verificación que expresa y evalúa formalmente los requisitos de seguridad, suministrando una forma productiva de buscar errores en las primeras fases del proceso de desarrollo.

Design Verification
Generación de códigos automáticos

SCADE Suite KCG es un generador de códigos C y Ada a partir de modelos Scade. Ha sido calificado de herramienta de desarrollo por múltiples autoridades de certificación del sector.

Automatic Code Generation
La mayor compatibilidad con cualificaciones/certificaciones de su clase

SCADE Suite proporciona un entorno completo para aplicaciones integradas de alto nivel de integridad con un generador de códigos calificable/certificado, un paquete de verificación de compiladores de objetivos y planes de desarrollo genérico.

Best-in-class Qualification/Certification Support
Integración de herramientas SCADE

SCADE Suite se integra fácilmente con herramientas para diseño de arquitectura de sistemas, desarrollo de HMI y administración de ciclos de duración de aplicaciones y pruebas, proporcionando un entorno completo para todas las actividades de desarrollo de software integradas.

SCADE Tools Integration
Capacidades de simulación de sistemas

Las capacidades de simulación de sistemas con ANSYS Simplorer le ayudan a crear prototipos de sistemas virtuales completos de su producto, a base de conectar hardware y software en un solo entorno.

Systems Simulation Capabilities

See how our customers are using our software:

Crane Aerospace & Electronics

Crane evaluated a number of model-based development environments before choosing SCADE Suite. The company selected SCADE because it is a purpose-built software development tool qualified to meet the standards of DO-178B up to Level A, the highest level of safety for the aerospace industry. View Case Study

Subaru

Because of the need to continually juggle costs and design requirements, the automotive industry employs AUTOSAR (a development partnership of electronics, semiconductor and software organizations that provides standards to manage growing electronics complexity in this industry) standards and a methodology called model-based development or design (MBD). MBD requires design engineers to use a common design environment that supports model integration and virtual real-time testing of the entire system.

View Case Study
Meggitt

Meggitt’s Use of Simplorer for Hardware/Software Cosimulation

Meggitt had to redesign the controller, including software, in a very short period of time. Using a SCADE-Simplorer co-simulation approach, they were able to hit safety of flight in 7 months, and certify the entire product in just about a year.

View Case Study