Contact

For more information or support requests, please contact hasdel-support@lists.rwth-aachen.de.

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

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] 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

Contact: Joost-Pieter Katoen

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

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] 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:

Dr. Harold Bruintjes
Dr. Joost-Pieter Katoen
Dr. Thomas Noll

Fondazione Bruno Kessler: