For more information or support requests, please contact


European Space Agency

European Space Research and Technology Centre funds the HASDEL project.

European Space Research and Technology Centre
Keplerlaan 1
NL 2201 AZ Noordwijk
The Netherlands

Airbus Defence and Space

Airbus Defence and Space is the prime contractor of the HASDEL project. Tasks: production of the requirements baseline, performance evaluation, model synthesis

Contact: David Lesens

Airbus Defence and Space
51 - 61 route de Verneuil
Les Mureaux, France
Phone: +33 1 39 06 61 27
E-mail: david.lesens [at]

RWTH Aachen University

RWTH Aachen University is the research subcontractor of the HASDEL project. Tasks: production of the technical specification, software specification elicitation, model validation

Contact: Joost-Pieter Katoen

RWTH Aachen University
Ahornstrasse 55, D-52074 Aachen, Germany
Phone: +49 241 8021200
E-mail: katoen [at]

Fondazione Bruno Kessler

The Embedded Systems Unit at Fondazione Bruno Kessler (Italy) is the research subcontractor in the HASDEL Project. Tasks: architectural design, implementation of the tool-set, detailed design, coding and validation

Contact: Dr. Alessandro Cimatti

Fondazione Bruno Kessler
Embedded Systems Group
Via Sommarive, 18
38123 Povo/Trento, Italy
Phone: (39) 461-314320
E-mail: cimatti [at]

Project Members

Airbus Defence and Space:

RWTH Aachen University:

Fondazione Bruno Kessler: