Faster, more affordable integration of safe-by-construction applications
Asterios Technologies automates and secures the integration of critical embedded applications on single and multicore architectures. The company’s software has been validated and certified for aeronautics, one of the most demanding industries in terms of safety.
Tools for the spatio-temporal integration of real-time embedded applications. ©Asterios
The Asterios® software suite is the result of fifteen years of R&D at the CEA. The multi-patented software tools were initially scaled up and commercialized by startup Krono-Safe, acquired in 2023 by its first customer, Safran Electronics & Defense. Today, Asterios® software has become Safran’s solution of choice for critical systems like engine regulation calculators, braking systems, and IMUs. Asterios Technologies can now market this mature suite of tools to a much wider market encompassing all critical applications.
Asterios® software makes software architects’ and integrators’ work dramatically simpler. Traditionally, application resource sharing is configured at a low level, and compliance with performance and safety requirements is demonstrated later. With Asterios® software, architects and integrators simply describe the desired temporal behavior. With its formal, model-based foundations, the suite then automatically configures hardware resource sharing. Users benefit from certifiable safe-by-construction real-time execution of critical applications on single- and multi-core architectures—and drastic reductions in integration times and costs.
There is currently no direct equivalent to Asterios® software on the market. The suite has all the tools needed to make the switch to multicore architectures with confidence.
Key figure: 100%
With Asterios® software, the temporal and functional behavior of a critical embedded application can be 100% validated even before the ECU is available
Key Markets:
- Aeronautics
- Space
- Defense
- Automotive
- Energies
Technology
- Automated integration of critical embedded applications
- Safe by construction
- Compatible with multi-core processors
Year founded: 2011
Originating institutes: CEA-List