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.
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 …