Projet MISSION (Horizon 2020, appel à projets 2020)
Action : Staff Exchanges
Panel : Information Science and Engineering
Statut du projet : SIGNED

Spacecraft must work robustly in the presence of uncertainties such as random hardware faults, operator mistakes, space debris, and radiation. Classic space missions address uncertainty via large safety margins and bult-in redundancy, leading to a spiral of increasing cost and complexity. A recent trend is the small-business commercialisation of space using commercial-off-the-shelf components for networked constellations of small satellites. This "New Space" approach reduces component weight, size, price, and lead time, and makes innovation increasingly driven by software. This pertains especially to resource management and data handling, while simpler components and new interactions increase uncertainty, and come with less reliable parts. Thus, overall mission connectivity, efficiency, dependability and safety in the New Space needs to be achieved on a system level - for which there is no systematic approach yet. This is partly rooted in the empirical focus of many teams, and partly in a lack of easy-to-use methods to model, analyse, and guarantee system-level dependability. This interdisciplinary project sets out to solve this space engineering problem by exploiting highly advanced techniques from the forefront of computing science research, especially model-based algorithmics. We strive for sound and efficient software tools for the development of dependable, networked, and resource-aware New Space missions. For this, the MISSION project will develop an integrated model-based technology to establish and maintain system-level properties of critical space mission parameters. A strong consortium of excellent academic and industrial partners in Europe, Argentina, and China has agreed on a joint research and knowledge sharing agenda that will foster a shared culture of research and innovation, to finally deliver an ecosystem of easy-to-use methods and software tools to the New Space industry.

Mots clés : model checking, space terrestrial networking, satellite constellations, probabilistic verification, dependability

Participants :
- Universidad Nacional de Córdoba (Argentine) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- University of Twente (Pays-Bas) — Coordinator, beneficiary, Enseignement supérieur ou secondaire, subvention : 363400.0 €
- RWTH Aachen University (Allemagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 207000.0 €
- Saarland University (Allemagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 363400.0 €
- D3tn gmbh (Allemagne) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 230000.0 €
- Invap sociedad del estado (Argentine) — Partner, organization partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Ascentio technologies sa (Argentine) — Partner, organization partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Gomspace luxembourg sarl (Luxembourg) — Partner, beneficiary, Organismes privés (hors enseignement), subvention : 184000.0 €
- Silverloom srl (Argentine) — Partner, organization partner, Organismes privés (hors enseignement), subvention : 0.0 €
- National University of Río Cuarto (Argentine) — Partner, organization partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Institute of intelligent software guangzhou (Chine) — Partner, organization partner, Recherche, subvention : 0.0 €