Security Engineering (Course)

Lecturer: Prof. Dr. Stefan Lucks

The development of safe and reliable systems is a challenging task for both system architects and software developer.
Due to the raising awareness of the politics and mass media, IT-security is becoming an increasingly important aspect of the IT industry.

The course introduces the programming language Ada'05,which is considered particularly suitable for implementing secure and reliable systems. In addition, methods from the field of software engineering are presented, which serve the safety, reliability and maintainability of software systems.

Class Meeting: Tuesday 13:30, Lecture Hall, Karl-Haußknecht-Str. 7

Start: October 09, 2018



  • John Barnes: Programming in Ada 2012
  • John McCormick, Peter Chapin: Building High Integrity Applications with SPARK

More Resources:


Oral examination

Target audience:

Master Computer Science for Digital Media, Computer Science and Media