Real Time Scheduling
Real-time systems are systems that interact with their environment in such a way that for certain inputs the corresponding outputs have to occur within given time bounds. Many embedded systems, in particular those in safety critical applications, are of this type. The practical importance of this class of systems has led to a large body of research on the specification, verification and analysis of real-time systems. We develop distribution and scheduling techniques taking the constraints of distributed computer architectures into account, in particular the combination of caches and pipelines.
Programming Languages
