About The Event
The workshop will bring experts from model based design and testing, formal methods, software engineering, static analysis and automated testing to discuss their techniques and potential applications to critical aerospace software.
The recently funded MFoC project (Madrid Flight on Chip) is devoted to the exploration and development of novel techniques from hardware and software for the incipient revolution in satellite missions. Due to recent dramatic cost reduction in launching satellites, hardware and software costs now massively dominate the costs and times of these missions. This calls (1) for the usage of conventional hardware platforms and (2) for the search, development and application of techniques to accelerate software development processes of on-board software from other areas of software reliability.
Where
IMDEA Software Institute, Madrid
Hill View Room (202)
When
26 November
09:00 to 18:15
Event Speakers
César Sánchez
IMDEA Software Institute, Spain
Claudio Menghi
University of Luxembourg, Luxembourg
Daniel Dietsch
University of Freiburg, Germany
Giovanni Denaro
Università degli Studi di Milano-Bicocca, Italy
Ignacio de Casso
IMDEA Software Institute, Spain
Jan Tretmans
Radboud University, The Netherlands
Jesús Sánchez Cuadrado
Universidad de Murcia, Spain
Léo Henry
École Normale Supérieure de Rennes, France
Miguel Gómez-Zamalloa
Universidad Complutense de Madrid, Spain
Pablo Gómez Abajo
Universidad Autónoma de Madrid, Spain
Patrizio Pelliccione
University of L'Aquila, Italy
Roberto Bagnara
BUGSENG & University of Parma, Italy
Event Schedule
All the talks will be given in the Hill View room (202).
Welcome
César Sánchez
Coffee break (15')
Happening Room (262)
Discussion (15')
Lunch (75')
Place TBD
Coffee break (15')
Happening Room (262)
Discussion (30')
Wrap-up
Contact Us
You can reach Fernando Macias for registration, information or feedback.
Address
IMDEA Software InstituteCampus Montegancedo s/n
28223 Pozuelo de Alarcon, Madrid
Phone Number
