TTM4115 - Design of Reactive Systems 1


Examination arrangement

Examination arrangement: Portfolio assessment
Grade: Letters

Evaluation form Weighting Duration Examination aids Grade deviation
Work 30/100
Work 30/100
Work 40/100

Course content

The course is about methods and languages for developing reactive systems. The main topics are:
- Design of systems according to requirements. 
- Languages for modelling systems, with an emphasis on behavior descriptions.
- Methods and paradigms for to ensure correctness and quality of system designs.

Learning outcome

A. Knowledge:
1) Understand relevant languages for systems engineering, including UML sequence diagrams, state machines and activities.
2) Understand functional and non-functional requirements and how to document them.  
3) Understand the influence of communication mechanisms, concurrency and distribution on the system specification.
4) Understand methods and paradigms for engineering reactive systems, including principles and techniques to ensure quality and correctness.

B. Skills: 
1) Design system specifications that are consistent with requirements.
2) Evaluate the quality of system descriptions.
3) Implement system specifications correctly.

Learning methods and activities

The course uses elements from team-based learning. Traditional lectures and exercises are combined. Throughout the semester, students receive feedback on their learning process by several readiness assurance tests, which also contribute to the final grade.


To learn working on larger projects and in a realistic setting, a term assignment is part of the course. In this assignment, students plan, refine and develop an application.


Portfolio assessment is the basis for the grade in the course. The portfolio consists of a term assignment which counts 40%, the results of the readiness assurance tests which count 30% and the results of graded exercises that count 30%. The results for the parts are given in %-scores. The entire portfolio is assigned a letter grade. The tests and exercises are given in English only.

Course materials

To be announced at the beginning of the term.

Credit reductions

Course code Reduction From To
SIE5020 7.5



Examination arrangement: Portfolio assessment

Term Evaluation form Weighting Examination aids Date Time Room *
Spring Work 40/100
Spring Work 30/100
Spring Work 30/100
* The location (room) for a written examination is published 3 days before examination date.
If more than one room is listed, you will find your room at Studentweb.