Table of contents

The course is connected to the following study programs

Teaching language

English

Prerequisites

Master's degree in ICT or similar.

Recommended previous knowledge

Knowledge in systems engineering.

Learning outcomes

After completing the course, the student is expected to:

-Understand the research questions and research methods in system modelling

-Know the advantages and disadvantages of using digital models

-Be able to create and use models in the scientific field of their PhDtopic

-Have a deep understanding of the reality behind models in their scientific field

-Be able to compare different models in their scientific field

Contents

-Modelling and meta-modelling a system domain: Approach and tools.

-Models, systems, and reality: Similarities and differences.

-Modelling system behaviour: Notations and architectures, e.g. process algebras,mobile calculi, event-based vs. state-based formalisms.

-System modelling languages and domain-specific languages: Notations, frameworks,and tools.

-Correctness of models: Validation and verification.

-Simulations: Realization of models and programming.

-Model analysis: Evaluation of model properties

Teaching and learning methods

Lectures, project work, supervision.

Examinations

Project report and oral examination. Grading pass/fail.

Student evaluation

The course will be evaluated in accordance with the quality system for education, chapter 4.1.

Offered as a free-standing course

Yes

Admission Requirement if given as a free-standing course

Master's degree in ICT or similar.

Other information

Responsible faculty: Engineering and Science
Last updated from FS (Felles studentsystem) Oct. 15, 2026 2:27:57 PM