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.