Reliable Innovative Systems


Content, progress and pedagogy of the module

That the students work on creating advanced computer science models of a problem and use these to develop innovative solutions balanced in relation to the reliability of the solution

Learning objectives


  • be able to explain concepts, results and theory in an advanced field of computer science
  • have knowledge of empirical and formal-based methods for securing and assessing the reliability of a system


  • apply knowledge from a domain in computer science to select and argue for a model specification in an advanced computer science field
  • be able to model a computer science problem from such a model specification and use that model to understand the problem
  • argue for an appropriate choice of method (empirical or formal-based) to assess the reliability of the solution developed for the problem


  • identify a problem within a research or application area of computer science
  • contribute to solving the problem using a model specification based on theories of computer science
  • analyze and evaluate the contributions to the solution
  • analyze and evaluate applications of relevant computer science models for solving this problem
  • assess the reliability of the developed solution based on either an empirical, statistical, or mathematically oriented method

Type of instruction

The project work is supported by digital resources on empirical / qualitative and mathematical methods for assessing the reliability of a solution

Extent and expected workload

It is expected that the student uses 30 hours per ECTS, which for this activity means 450 hours


Prerequisite for enrollment for the exam

  • An approved PBL competency profile is a prerequisite for participation in the project exam


Name of examReliable Innovative Systems
Type of exam
Oral exam based on a project
Assessment7-point grading scale
Type of gradingExternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Additional information

Contact: The Study board for Computer Science at or 9940 8854

Facts about the module

Danish titlePålidelige innovative systemer
Module codeDSNCSITK220
Module typeProject
Duration1 semester
Language of instructionEnglish
Empty-place SchemeYes
Location of the lectureCampus Aalborg
Responsible for the module


Education ownerMaster of Science (MSc) in Computer Science (IT)
Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyThe Technical Faculty of IT and Design