Time-accurate Virtualization

October 1, 2017
with the support of SCALIAN Eurogiciel

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.

System Engineering
Silvano DAL ZILIO
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

Related

Publications

Time-accurate Middleware for the Virtualization of Communication Protocols

Communication between devices in avionics systems must be predictable and deterministic, and data must be delivered reliably. To help …
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan
PDF Project