Single-Course English 5 ECTS

Modelling and Analysis of Real-Time Systems

Overall Course Objectives

To make the participants able to construct safe and reliable, real-time computer-based systems using formal modelling and verification techniques.

Learning Objectives

  • 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.

Course Content

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.

Recommended prerequisites

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.

Teaching Method

Lectures and exercise classes. Independent project work.


See course in the course database.





13 weeks




DTU Lyngby Campus

Course code 02224
Course type Candidate
Semester start Week 5
Semester end Week 19
Days Wed 13-17

7.500,00 DKK