2018-annual-report

MadridFlightOnChip
Consortium Madrid for Next-Generation Flight Systems Based on
Multiprocessor System-on-a-Chip Technology
73
Funding: Regional Government of Madrid
Duration: 2019–2021
Principal Investigators: Assoc. Res. Prof. César Sánchez – Asst. Res.
Prof. Alessandra Gorla
annual report
20
Madrid Flight on Chip (MFoC) is a research and innovation project linked to
the RIS3 Smart Specialization Platform and co-funded by the Comunidad
de Madrid. It consists on a platform for the development of space missions,
particularlyg research and demostrator satelites. IMDEA Software will focus
on developing innovation in the area of software validation, specifically
adapted to these missions.
MFoC is a consortium involving groups from academic partners, Universidad
Carlos III de Madrid and IMDEA Software, and also from the industrial
partners CENTUM Solutions, GENERA Soluciones Tecnológicas, Knowledge
Centric Solutions, MARM Desarrollo de Sistemas, and SENER Ingeniería y
Sistemas, which is the project coordinator.
TEZOS
TEZOS collaboration multi-annual research, training, and dissemination program
Funding: TEZOS Foundation
Duration: 2019–2023
Principal Investigator: Assoc. Res. Prof. César Sánchez – Assoc. Res. Prof. Manuel Carro
The Tezos Foundation has developed a new partnership with IMDEA Software Institute to further maintain and
advance the Tezos codebase and Tezos-related technologies. The Tezos Foundation is committed to funding
world-class research that will contribute to the Tezos protocol and ecosystem. To that end, this project will
greatly contribute to the research, development, and long-term success of Tezos.
IMDEA’s program will focus on the technology surrounding the Tezos cryptographic ledger and smart contracts,
which will help advance developments in privacy, correctness, robustness, and scalability.