|ANSYS medini analyze||
Provides manufacturers of electronic components and systems in aerospace domain with dedicated support for functional safety analysis
|Wind River VxWorks Cert Platform||
RTOS for safety-critical applications that require RTCA DO-178, EUROCAE ED-12, or IEC 61508 certification evidence in a single integrated environment, with complete platform integration, including powerful tools for debugging, code analysis, and test.
|Wind River VxWorks 653||
Complete multi-core ARINC 653–a compliant platform for the IMA marketplace provides robust time and space partitioning to ensure fault containment and the ability to upgrade applications with minimal test and integration demands.
|ANSYS SCADE Suite||
Integrated design environment for critical applications including requirements management, model-based design, simulation, verification, certified code generation and interoperability with other development tools and platforms.
|ANSYS SCADE Solutions for ARINC 661||
SCADE Solutions for ARINC 661 Compliant Systems is a toolset that enables you to prototype and design ARINC 661 compliant systems, embedded Cockpit Display Systems (CDS) and User Applications (UA).
|ANSYS SCADE Lifecycle||
Systems and Software Lifecycle Management software features requirements traceability via application lifecycle management (ALM) tools, traceability from models, configuration and change management, and automatic documentation generation.
|ANSYS SCADE Display||
Design robust embedded displays for human-machine interfaces (HMIs) with SCADE Display, a native support for the OpenGL® SC1 & SC2 (Safety Critical) and ES1 & ES2 (Embedded system) standards.