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: | |
Follow-up Module/s: |
Phase-out module since: 18.01.2022
- without Follow-up Module/s
|