Onera

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.
Type
Small and Medium sized Enterprise
Country
France
Website
http://www.onera.fr

Projects

MERgE

ITEA 2 Call 6

Multi-Concerns Interactions System Engineering

OPEES

ITEA 2 Call 3

Open Platform for the Engineering of Embedded Systems

ES_PASS

ES_PASS

ITEA 2 Call 1

Embedded Software Product-based ASSurance