|ANSYS SCADE Vision|
An AI based solution that automates the identification of potential vulnerabilities in autonomous vehicle perception systems.
|ANSYS Twin Builder|
Build, Validate and Deploy Complete Systems Simulations and Digital Twins for Predictive Maintenance
Predicts the illumination and optical performance of systems to save on prototyping time and costs while improving product’s efficiency.
|IBM Doors Next|
An efficient web-based project requirements management tool for complex systems providing a scalable solution to optimize communication, collaboration and verification of requirements.
Predictive validation of vehicle systems such as intelligent headlamp units, sensors, human-machine interfaces (HMIs) for ADAS and AD with a visually realistic, real-time and interactive driving simulator, sound dimension and physics-based simulation.
|Wind River Workbench|
Complete suite of developer tools for software running on Wind River platforms, including end-to-end, open standards–based suite for device software design, development, debugging, test, and management.
|Wind River Diab Compiler|
Boosts application performance, reduces memory footprint, and produces high-quality, object code in environments where conformance and compliance to safety standards is a must.
|ANSYS SCADE Suite|
Integrated design environment for critical applications including requirements management, model-based design, simulation, verification, qualifiable/certified code generation and interoperability with other development tools and platforms.
|ANSYS SCADE Solutions for ARINC 661|
Design and prototype of ARINC 661 compliant systems, embedded Cockpit Display Systems (CDS) and User Applications (UA) with the SCADE Solutions for ARINC 661 and significantly decrease overall avionics software development and modifications costs.
|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 with native support for the OpenGL® SC1 & SC2 (Safety Critical) and ES1 & ES2 (Embedded system) standards
|GNAT Pro Safety-Critical|
Ideal environment for any high-reliability / safety-critical embedded application, GNAT Pro Safety-Critical facilitates formal compliance with domain-specific safety standards like RTCA DO-178B / DO-178C.
Powerful and simple-to-use Integrated Development Environment (IDE) with extensive navigation and analysis tools to generate a variety of useful information including call graphs, source dependencies, project organization, and complexity metrics.
|GNAT Ada Compiler|
Includes an Ada front-end, the GCC code generator, the binder, linker, and run-time library. The software has the ability to build standalone static and dynamic libraries ad provides interfacing to C, C++, and Java.
Automated Code Review and Validation Software that assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle.