eldorado.tu-dortmund.de/items/5effe237-365b-4382-8410-4f05bf0f07f8
Property-based timing analysis of distributed real-time systems
possible evolutions of the system. The dissertation is structured into five main chapters. In Chapter 2, real-time systems and classical task models used in the literature are introduced. In this dissertation [...] abstraction levels without translating the task into a different task model. Furthermore, in Chapter 2, we introduce scheduling algorithms as a systematic approach to derive task schedules from system evolutions …
