A public, scientific and technical establishment with both industrial and commercial responsibilities, ONERA reports to the French Ministry of Defence and enjoys financial independence. It operates more than 1700 people. ONERA conducts research in the disciplines and techniques involved in design of an aircraft or spacecraft: aerodynamics, flight dynamics, energetics, structural strength, materials, optics and laser, acoustics, radar and electromagnetism, electronics, embedded systems, robotics, information processing.

Researchers involved in the ASTEC project are based at ONERA Toulouse centre. They belong to the modelling and information processing department (DTIM). They work on methods, techniques and tools for the specification, verification and validation of critical embedded systems. They have strong experience in system modelling, safety modelling and analysis, formal verification of properties and testing from formal specification. They also have solid background on real avionics due to a strong cooperation with Airbus for many years.

Small and Medium sized Enterprise
Alt France



ITEA 2 Call 6

Multi-Concerns Interactions System Engineering


ITEA 2 Call 3

Open Platform for the Engineering of Embedded Systems



ITEA 2 Call 1

Embedded Software Product-based ASSurance