Time-Aware Correct-By-Construction Systems Design
Time-aware systems are systems where execution time or timing is a correctness criterion, not only a performance factor. Cyber-physical systems, where physical processes are mixed with computation and networks, are examples of such systems. In this talk, I will give an overview of our current research efforts at KTH and UC Berkeley in this area. In particular, I will discuss three main research areas: i) time-aware programming and modeling languages, where the notion of time is a first class citizen ii) time-aware compilers, where the compiler takes execution time into consideration, both at compile time and run-time, and iii) predictable computer architectures that are designed to make predictable and time-aware computation easier. Both recent research results and ongoing research efforts will be discussed.