Onera

Description

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.

Project involvement

11011

MERgE

Programme call
ITEA 2 Call 6
Status
Completed
Project leader
Charles Robinson
08019

OPEES

Programme call
ITEA 2 Call 3
Status
Completed
Project leader
Gaël Blondelle
06042

ES_PASS

Programme call
ITEA 2 Call 1
Status
Completed
Project leader
Maurice Heitz

Organisation information

Type
Small and Medium sized Enterprise
Country
France
Website
http://www.onera.fr