Modelling and Analysis of Real-Time Systems

• model real-time systems using formal models of timed behaviour.
• state properties of timed system behaviour.
• use simulation tools for analysis of formal real-time models.
• explain various principles underlying automated verification.
• use tools to assist verification of real-time properties.
• understand selected verification techniques and know their advantages and limitations.
• use different abstraction levels during real-time systems development.
• analyze basic scheduling aspects of real-time systems
• implement real-time programs on suitable execution platforms
• use real-time concepts for clear and concise presentation of problems and solutions.

High-level modelling of timed behaviour. Modelling techniques for hybrid systems. Specification and verification of real-time properties. Modelling, simulation and verification tools. Process scheduling. Design principles. Implementation techniques.

02158/02141/02159, Knowledge of general concurrent programming principles: Processes / threads, synchronization, communication. Knowledge of computer science modelling in general and models of concurrency in particular.
Knowledge of temporal logic. Knowledge of basic probability theory.

Lectures and exercise classes. Independent project work.