Text

Course syllabus - Safety and Security Interplay

Scope

7.5 credits

Course code

DVA519

Valid from

Autumn semester 2026

Education level

Second cycle

Progressive Specialisation

A1F (Second cycle, has second-cycle course/s as entry requirements)

Main area(s)

Computer Science

Organisation

Department of Computer Science & Engineering

Ratified

2025-12-19

Literature lists

Course literature is preliminary up to 8 weeks before course start. Course literature can be valid over several semesters.

Objectives

To familiarize the students with developing software systems considering safety and security requirements from the beginning to the end in the life cycle of the system focusing on standards, requirements, modeling and formal verification.

Learning outcomes

After completing the course, the student should be able to:

  1. Formulate assurance-driven requirements that address safety and security in safety-critical systems in accordance with applicable industrial standards,
  2. model relevant aspects to safety and security of software- intensive systems (focus on cyber-physical systems) from requirements and
  3. formally verify the models based on the safety and security logical properties.

Course content

  • General Definitions.
  • Standards and Regulatory Requirements.
  • Processes: Software life cycle - The V model.
  • Assurances.
  • Modeling.
  • SysML/UML.
  • Formal Verification and Debugging.
  • Formal Verification: Model Checking/Theorem Proving.
  • Modeling the system and attacks using Actors.
  • Using Model Checking for Test and Debug.
    The contents will reflect the latest research topics as well as industrial practices. Guest lectures by both academic and industrial experts might be included in the course.

Specific requirements

Cybersecurity fundamentals 7.5 credits at advanced level. In addition Swedish course 3 or Swedish level 3 and English course 6 or English level 2 are required. For courses given entirely in English exemption is made from the requirement in Swedish course 3 or Swedish level 3.

Examination

Laboratory session (LAB1), a series of laboratory exercises that continuously is presented according to instructions, 4.5 credits, examines the learning outcomes 1-3, marks Fail (U), 3, 4 or 5).
Project (PRO1), an assignment that is presented with a report and a demonstration of the project, 3 credits, examines the learning outcomes 1-3, marks Fail (U), 3, 4 or 5.

A student who has a certificate from MDU regarding disability study support, can request adaptions for the examination. It is the examiner who takes decisions on any adaptions, based on the certificate and other conditions.

Grade

Grading scale: 5, 4, 3

Interim Regulations and Other Regulations

The course completely overlaps with DVA499 Safety and Security Interplay.