Today’s control systems are implemented in software and often require the concurrent execution of periodic and aperiodic activities interacting through a set of shared memory buffers storing global data. Most of the times, controllers are designed assuming an ideal and predictable behavior of the execution environment; in other cases, a constant delay is only considered in the loop to take computer interferences into account.