ITI42020 Models and Digital Twins for the Internet of Things (Spring 2027)

Facts about the course

ECTS Credits:
10
Responsible faculty:
Faculty of Computer Sciences, Engineering and Economics
Campus:
Halden
Course Leader:
Maben Rabi
Teaching language:
English
Duration:
½ year

Table of contents

The course is affiliated to the following study programme

Mandatory course in the master programme in applied computer science with specialisation in internet of things, full-time and part-time.

Recommended previous knowledge

Recommended pre-knowledge:

  • at least 80 ECTS credits in computer science, of which at least 20 ECTS credits in programming.
  • ITI41920 Automation and IoT or equivalent

Teaching semester

Second semester (spring) in the full-time and part-time programme.

Content

The course focuses on how reactive systems can be built with emphasis on modeling. The models are executable. The requirements of these concurrent systems are specified e. g. as sequence diagrams, and it is emphasized that the requirements and design must be consistent. The models are seen as "Digital Twins", and it is shown how they are useful in theory and practice, and how their evolution should be managed.

The student's learning outcomes on passing the course

Knowledge

The student understands

  • the challenges associated with cyber-physical systems
  • the relevance of good software design principles
  • how evolution and maintenance should be organized
  • the value of abstraction

Skills

The student has the capability to

  • model and implement reactive systems with concurrency
  • perform analysis of consistency of models of systems with concurrency
  • give and take constructive criticism of the system design and functioning
  • receive the experience of building a cyber-physical system and making it execute

General competence

The student

  • can build systems on «Internet of Things»
  • can assess realistically what errors may occur in cyber-physical systems and how to minimize their vulnerability
  • has some insight into precise descriptions and their semantics

Teaching and learning methods

The course has three intensive teaching sessions, each session is two full working days consisting of lectures and guided lab and exercises.

In between the teaching session there is supervised project work. For each instance of the course, we create new project tasks. We teach the project teams how to give and take constructive feedback.

Workload

Approx. 280 hours.

Coursework requirements - conditions for taking the exam

  • There will be up to four lab assignments. The students should expect to spend 100 hours on these assignments
  • Plenary presentation and evaluation of the project. The project should normally result in an executable model that should be demonstrated at the plenary presentation.

Coursework requirements must be accepted to qualify for the exam.

Exam

Individual oral exam

Individual oral exam based on the course curriculum and mandatory exercises. Approximately 30 minutes duration. No supporting materials allowed.

Assessment on the A - F grading scale.

Examiners

One external and one internal examiner, or two internal examiners will be involved in the assessment.

Course evaluation

This course is evaluated by a:

  • Final course evaluation

The responsible for the course compiles a report based on the feedback from the students and his/her own experience with the course. The report is discussed by the study quality committee at the Department of Computer Science and Communication.

Reading list

The current reading list for 2024 Spring can be found in Leganto
Last updated from FS (Felles studentsystem) Oct. 15, 2026 4:25:45 AM