Facts about the course

ECTS Credits:
15
Responsible faculty:
Faculty of Computer Science, Engineering and Economics
Campus:
Halden  
Course Leader:
Øystein Haugen
Teaching language:
English
Duration:
½ year

ITI43517 Modelling Cyber-Physical Systems (Spring 2020)

The course is connected to the following study programs

Elective course in the master programme in applied computer science full time and part time.

Lecture Semester

Second semester (spring) in the full time programme.

Second or fourth semester (spring) in the part time programme.

The student's learning outcomes after completing the course

Knowledge

The student

  • understands the challenges associated with cyber-physical systems

  • has experienced the relevance of good software design principles

Skills

The student has the capability to

  • model and implement reactive systems with concurrency

  • perform analysis of consistency of models of systems with concurrency

  • connect sensors, actuators and controlling components in a functioning system

  • 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 in «Internet of Things»

  • can assess realistically what errors may occur in cyber-physical systems and how to minimize their vulnerability

  • has some insight into formal semantics of sequence diagrams

Content

The course focus on how reactive systems can be built with emphasis on modeling. The models are executable and based on state machines. The requirements of these concurrent systems are modeled as sequence diagrams, and it is emphasized that the requirements and design are consistent.

In particular, we emphasize reactive systems using the Internet of Things, and we use a running example where the functionality is enhanced during the course following an agile method.

Towards the end of the course, we show how systems can be made more resilient to unexpected incidents and errors. Security of cyber-physical systems and how to perform risk-analysis of such systems will be covered.

Forms of teaching and learning

Project work, lectures and guided lab and exercises.

For each instance of the course, we create new project tasks. We teach the project teams how to give and take constructive feedback.

Workload

3 compact sessions of 2 full days each and 1 full day session. Between the sessions the students will work on the mandatory project and supervision will be offered. Approx 400 hours.

Coursework requirements - conditions for taking the exam

  • Mandatory project: There will be one project, with deliverable at each teaching session (2 deliverables). Project group size should be 2-4 people, but with few students, single person project will be possible. The students should expect to spend 100 hours on the project.

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

Examination

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

The exam is assessed by the course instructor and an internal or external examiner.

Course evaluation

This course is evaluated by a

  • Mid-term evaluation (compulsory)

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 of the faculty of Computer Sciences.

Literature

A number of articles and lecture notes constitute the curriculum. The articles and notes will be posted on the learning platform.

Last updated from FS (Common Student System) Mar. 28, 2024 2:30:56 AM