You are here

HASDEL - Hardware-Software Dependability for Launchers

Project researchers

Head of Unit
Senior Researcher
Researcher
Researcher
Postdoc

HASDEL (Hardware Software Dependability for Launchers) is an ESA project, conducted by a consortium coordinated by Airbus Defence and Space with FBK and RWTH, aiming at analysing the specific needs of launcher systems in the domain of RAMS (Reliability, Availability, Maintainability and Safety) analysis and at extending the COMPASS (Correctness, Modelling and Performance of Aerospace Systems) toolset with these specific needs

Contacts: