Safety critical software

  • 6.0 credits
  • Second cycle (A1N)
  • Main area: Computer Science
  • School of Innovation, Design and Engineering
  • Course code: DVA465

Software is nowadays used to realize advanced functionality in different types of systems.
One of the main issues that industries face today is to develop advanced software-based
systems and to assure that the systems are safe to use. In this course the students will be
introduced to functional safety. The course will give an overview of selected methods for
safety assurance of critical software focusing on activities related to safety analysis, architectures,
verification and validation. After course completion the students will be well aware of
key issues and methods used for development of safety-critical software. Students will also
have acquired an ability to adopt the scientific advances within the areas. Basic knowledge
of functional safety will make the student more attractive on the global job market.

This is a course at advanced level for those with University credits and work experience. It is developed to suit professionals who need to be able to combine work and studies.
Further information about the course at:
Read all about how to apply here:

Autumn semester 2019, Ortsoberoende, week 36 - 3