Website
Module Guide since WS 2016/17

Modul CS3250-KP08

Safe Software (SichereSW)

Duration:


1 Semester
Turnus of offer:


each winter semester
Credit points:


8
Course of studies, specific field and terms:
  • Bachelor Computer Science 2019 (optional subject), Canonical Specialization Web and Data Science, 5th semester
  • Bachelor Computer Science 2019 (optional subject), major subject informatics, arbitrary semester
  • Bachelor Computer Science 2019 (compulsory), Canonical Specialization SSE, 5th semester
  • Bachelor Media Informatics 2020 (optional subject), computer science, 5th or 6th semester
  • Bachelor Computer Science 2016 (optional subject), major subject informatics, arbitrary semester
  • Bachelor Computer Science 2016 (compulsory), Canonical Specialization SSE, 5th semester
  • Bachelor IT-Security 2016 (compulsory), IT-Security, 5th semester
Classes and lectures:
  • Safe Software (exercise, 2 SWS)
  • Safe Software (lecture, 4 SWS)
Workload:
  • 30 Hours exam preparation
  • 120 Hours private studies
  • 90 Hours in-classroom work
Contents of teaching:
  • Measures for improving software safety
  • Definition of central techniques such as static analysis, model checking, testing, runtime verification
  • Techniques for program analysis
  • Operation of model checkers
  • Test procedures
  • Verification at runtime
  • Application of the techniques
  • Theorem proving
  • Tools
Qualification-goals/Competencies:
  • The students can describe and classify measures for the improvement of software safety.
  • They can explain the principles of central verification techniques.
  • They can compare various methods for software testing.
  • They can motivate the use of various techniques for improving software safety.
  • They can assess the effect of these techniques on the safety of certain software.
  • They are familiar with common tools for the verification of software and they can familiarize themselves with new developments.
Grading through:
  • Written or oral exam as announced by the examiner
Requires:
Responsible for this module:
Teachers:
Literature:
  • A.R. Bradley, Z. Manna: The Calculus of Computation - Springer, 2007
  • F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis - Springer 2010
  • C. Baier, J.-P. Katoen: Principles of Model Checking - MIT Press, 2008
  • D. Peled: Software Reliability Methods - Springer, 2001
Language:
  • English, except in case of only German-speaking participants
Notes:

Prerequisites for attending the module:
- None

Prerequisites for the exam:
- Successful completion of homework assignments during the semester

Letzte Änderung:
3.8.2021