Consortium

European Space Agency

European Space Research and Technology Centre funds the HASDEL project.

esa_logo
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_defense_and_space
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

rwth_logo
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

fbk
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

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

Fondazione Bruno Kessler