System Engineering | Silvano DAL ZILIO

Daedalus

Oct 20218 — 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

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 Projet Investissements d’Avenir and the Embedded Systems technology domain at IRT Saint-Exupéry.

Synapse

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 Projet Investissements d’Avenir and the Embedded Systems technology domain at [IRT Saint-Exupéry](http://www.irt -saintexupery.com/expertise/embedded-systems/).

Time-accurate Virtualization

May 2017 — Oct 2017.

This project is a direct collaboration with SCALIAN Eurogiciel to work on a middleware for communication protocol virtualization that is faithfull with respect to timing constraints.

Ingequip

Dec 2013 — Nov. 2016

Ingequip is a project on Methods and tools for equipment engineering (system-hardware-software co-design, component-based development methods, formal verification methods).

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

ITEmIS

Oct 2008 — Dec 2011.

ITEmIS (Integrated Embedded Systems and Information Systems) is a project funded by ANR. The goal of the project is to define an abstract reference system architecture, a methodology, and a set of algorithms (transformed into tools, mechanisms, protocols and correctness verification algorithms) for realizing large systems of systems, integrating multiple levels, from information systems to mobile, embedded systems.

CESAR

Mar 2009 — Jun 2012.

CESAR stands for Cost-efficient methods and processes for safety relevant embedded systems; it is a European funded project from ARTEMIS JOINT UNDERTAKING (JU).

OpenETCS

Apr 2012 — Dec 2015.

The purpose of the openETCS project is to follow an open approach (Open Proofs and Open Source) for developping an integrated modeling, validation and testing framework for the ETCS, the European Train Control System.

Spices

Sep 2006 — Nov 2009.

SPICES is a EUREKA-ITEA project on Support for Predictable Integration of mission Critical Embedded Systems.

Topcased

Sep 2006 — Nov 2009.

Topcased, Toolkit in OPen-source for Critical Application SystEms Development, is a project funded by Aerospace Valley. The goal of the project is to build an open source CASE environment for critical applications and systems development.