Reliable Innovative Systems

2021/2022

Content, progress and pedagogy of the module

PURPOSE
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

Knowledge

  • 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

Skills

  • 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

Competences

  • 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

Exam

Prerequisite for enrollment for the exam

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

Exams

Name of examReliable Innovative Systems
Type of exam
Oral exam based on a project
ECTS15
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 cs-sn@cs.aau.dk or 9940 8854

Facts about the module

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

Organisation

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