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.

Recommended previous knowledge

TDT4100 Object-Oriented Programming and TTM4100 Communication - Services and Networks, or equivalent.

Course materials

To be announced at the beginning of the term.

Credit reductions