Time-accurate Virtualization

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.

Avatar
Silvano DAL ZILIO
CNRS Researcher

My research interests include formal methods and concurrency semantics.

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 …