ANSYS and KRONO-SAFE: intergrated software platform for critical aerospace applications
Aerospace customers can design and develop safety-critical software for the latest generation of aerospace computers thanks to a new integrated solution available from KRONO-SAFE and ANSYS. This solution ensures criticality, safety and security certifiability for high-dependability applications for the aerospace and defense industry.
To build safer airplanes, while optimizing fleet maintenance and cost, new aerospace computers must be built to handle both traditional safety critical control and command applications, as well as modern maintenance and monitoring capabilities. KRONO-SAFE’s integrated real-time operating system platform, ASTERIOS, with ANSYS’ embedded software, ANSYS SCADE Suite, provides aerospace customers a real-time integration flow suitable for safety-critical avionics multi-rate applications on single or multi-core platforms. This avionic automated design flow combines SCADE Suite for safe and automated development of application software and ASTERIOS for safe and automated real-time integration, extended to multi-core platforms.
The combined solution was developed within the Smart, Safe and Secure Platform research and development project. The S3P project aims at developing a safe, secure and smart software development and execution platform to facilitate the development, deployment and exploitation of IoT devices, gateway and applications quickly and economically.
SCADE Suite automates and reduces the development and certification costs of critical embedded applications, such as control, algorithms and graphical interfaces, and includes unique capabilities for automatic code generation and certification under the DO-178C aeronautics safety standard. The integration between ANSYS and KRONO-SAFE brings an optimal integration of the code generated on KRONO-SAFE’s critical real-time execution platform. SCADE Suite models are integrated unchanged in ASTERIOS, with high-level real-time specifications, to automatically produce an optimal multi-rate scheduling while ensuring by construction the partitioning, data synchronization and determinism of the system.