Consortium
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
Airbus Defence and Space
51 – 61 route de Verneuil
Les Mureaux, France
| Contacts | |
|---|---|
| David Lesens | |
| Phone | +33 1 39 06 61 27 |
| david.lesens [at] astrium.eads.net | |
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
RWTH Aachen University
Ahornstrasse 55, D-52074 Aachen, Germany
| Contacts | ||
|---|---|---|
| Joost-Pieter Katoen | ||
| Phone | +49 241 8021200 | |
| katoen [at] cs.rwth-aachen.de | ||
Fondazione Bruno Kessler
The former Embedded Systems Unit (now Formal Methods for Systems and Software Design) 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
Fondazione Bruno Kessler
Formal Methods Unit
Via Sommarive, 18
38123 Povo/Trento, Italy
| Contacts | |||
|---|---|---|---|
| Dr. Alessandro Cimatti | Dr. Stefano Tonetta | ||
| Phone | +39 0461 314 329 | +39 0461 314 359 | |
| cimatti [at] fbk.eu | tonetta [at] fbk.eu | ||
Project Members
Airbus Defence and Space
- Dr. David Lesens
- Dr. Pierre Moro
- Dr. Thierry Lavayssière
- Dr. Jean-Paul Blanquart
RWTH Aachen University
- Harold Bruintjes
- Dr. Joost-Pieter Katoen
- Dr. Thomas Noll
Fondazione Bruno Kessler
- Dr. Alessandro Cimatti
- Dr. Marco Bozzano
- Dr. Stefano Tonetta
- Dr. Sergio Mover (former)
- Benjamin Bittner (former)
- Gianni Zampedri
- Luca Bonetti