MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Wang Yi, Morteza Mohaqeqi, Susanne Graf

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or t…