Recent on Silvano DAL ZILIO

Japetus

dalzilio [at] laas [dot] fr (Silvano DAL ZILIO) — Wed, 31 Dec 2025 00:00:00 +0000

Jan 2022 — Oct 2025.

The JAPETUS project, funded by France Relance and CNES, aims to demonstrate the feasibility of a hyper-reactive Earth observation solution based on a constellation of nanosatellites. The project relies on several major innovations, including mission planning algorithms tailored to the project’s specific constraints.

Daedalus

dalzilio [at] laas [dot] fr (Silvano DAL ZILIO) — Sun, 31 Oct 2021 00:00:00 +0000

Oct 2018 — Oct 2021.

“In a perfect world, models would always be correct and verification tools would answer all our questions. In the Daedalus project, we are preparing for an imperfect world.”

Daedalus (Debugging Architecture Description Languages ) is a project funded by RTRA STAE. Its main objective is to bridge the gap between: (1) automatic generation of code that is correct by construction; and (2) automatic verification of behavioral models.

MOISE

dalzilio [at] laas [dot] fr (Silvano DAL ZILIO) — Thu, 31 Jan 2019 00:00:00 +0000

Dec 2015 — Apr 2019.

MOISE is a project on methods and tools for model-based collaborative system engineering (requirement engineering, multi-view modeling and verification, system engineering in extended enterprise).

This project was supported by PIA (Projet Investissements d’Avenir) and the Embedded Systems technology domain at IRT Saint-Exupéry.

Synapse

dalzilio [at] laas [dot] fr (Silvano DAL ZILIO) — Thu, 31 Jan 2019 00:00:00 +0000

March 2016 — Dec 2019.

Synapse is a project developping new technologies for Earth Observation space systems (smart programming of constellations, onboard and ground autonomous processing, ground infrastructures for big data processing).

This project is supported by PIA (Projet Investissements d’Avenir) and the Embedded Systems technology domain at IRT Saint-Exupéry.