ITEA is the Eureka Cluster on software innovation
ITEA is the Eureka Cluster on software innovation
ITEA 4 page header grey golden ratio


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

Project participation

ITEA 2 Call 6
Alt Alt Alt


Multi-Concerns Interactions System Engineering

ITEA 2 Call 3
Alt Alt Alt Alt Alt
Winner Appreciation Award 2013
project header


Open Platform for the Engineering of Embedded Systems

ITEA 2 Call 1
Alt Alt Alt


Embedded Software Product-based ASSurance