The ReTiS Lab is active on many research topics related to several aspects of embedded and cyber-physical systems, support for time-critcal applications, operting systems, and cloud computing.