11154 - Formal Methods in System Design Modulübersicht

Module Number: 11154 - Phase-out Module
Module Title:Formal Methods in System Design
  Formale Methoden im Systementwurf
Department: Faculty 1 - Mathematics, Computer Science, Physics, Electrical Engineering and Information Technology
Responsible Staff Member:
  • Prof. Dr. rer. nat. Hohlfeld, Oliver
Language of Teaching / Examination:English
Duration:6 semesters
Frequency of Offer: On special announcement
Credits: 6
Learning Outcome:Participants become familiar with state-of-the-art formal methods for design, verification and test of complex hardware / software systems.
Contents:The module contains 2-4  block tutorials at post-graduate level, selected upon demand and availability, list of courses is available and updated (see attachment to programme of studies).
Recommended Prerequisites:Diploma / Master in computer science, computer engineering, electrical engineering.
Mandatory Prerequisites:None
Forms of Teaching and Proportion:
  • Tutorial / 20 Hours
  • Seminar / 20 Hours
  • Self organised studies / 140 Hours
Teaching Materials and Literature:Students get web-access to available materials from all related courses.
Module Examination:Final Module Examination (MAP)
Assessment Mode for Module Examination:
  • Oral examination, 30 min. OR
  • Presentation and interview covering a set of tutorials, 60 min.
The actual form of the examination will be anounced at the beginning of the course.
Evaluation of Module Examination:Performance Verification – graded
Limited Number of Participants:None
Part of the Study Programme:
  • Structural Doctoral Programme / Dependable Systems / PO 2012
Remarks:Module content can be composed according to available tutorials.
Module Components:Block tutorials offered within the PhD net programme of studies, list published and updated.
  • Graph Based Models for Circuits and Systems (BDDs etc.), K. Meer, Brandenburgische Technische Universität Cottbus
  • Petri Nets, M. Heiner, Brandenburgische Technische Universität Cottbus
  • System Specification and Validation, NN, Silesian Technical University, Gliwice (Gleiwitz)
  • Coding Theory, M. Gössel, Universität Potsdam
Components to be offered in the Current Semester:
  • no assignment
Follow-up Module/s: Phase-out module since: 18.01.2022
  • without Follow-up Module/s