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 first-to-market 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 (S3P) 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.

Safran Electronics and Defense selected this innovative solution to dramatically accelerate the software development processes for critical avionics computers, while guaranteeing the same level of safety and reliability. Safran will apply these new research and technology capacities to command-and-control computers for aerospace engine and brake control.

"Dependability is the keystone to real-time system development in the avionics domain," said Jean-Christophe Jammes, research and technology program manager at Safran Electronics and Defense. "Ensuring a high-level of safety during the real-time integration phase of a multi-rate application today is very long and tedious work, involving tens of people over many months. The work achieved so far by KRONO-SAFE and ANSYS, and used by Safran engineers in the scope of the S3P program, proves that it is possible to significantly reduce this effort with the automation of new activities such as the scheduling and partitioning, while ensuring a high-level of safety by construction. This automated flow also paves a path for the usage and future certification on multi-core platforms, which is still a problematic turn for avionics safety-critical applications today."

"The work so far has established the robustness of our approach on complex safety-critical applications," said Didier Roux, CEO of KRONO-SAFE. "Our goal with ANSYS is now to tightly propose a seamless development flow to our customers. The DO-178C certification of this solution is also undergoing with the help of Safran."

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.

"With SCADE Suite, our customers routinely develop safety-critical applications and take full advantage of its certified automatic code generation capability," said Paolo Colombo, global industry director for aerospace and defense, ANSYS. "The automatic real-time integration provided with ASTERIOS is a natural extension for SCADE Suite to complement this automatic process one step further onto the execution platform."

During the International Paris Air Show, KRONO-SAFE will showcase the automated design flow, which dramatically accelerates the software development process for critical avionics computers, while guaranteeing the same level of safety and reliability. To see a demonstration of KRONO-SAFE and ANSYS' integrated platform solution at the International Paris Air Show, June 20 - 23, please visit booth ILOT S02 in the Concorde Hall.