The goal of Project AutoTADes is to develop theory and academic tools to simplify the process of designing critical real-time systems.