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


Study BoardStudy Board of Computer Science
DepartmentDepartment of Computer Science
FacultyTechnical Faculty of IT and Design