Department of Computing Science |
6 KP |
|
Module components |
Semester courses Sommersemester 2023 |
Examination |
Lecture
|
-
2.01.410 - Formale Methoden: Petrinetze, Prozessalgebren & Co.
- Prof. Dr. Heike Wehrheim
- Cedric Richter
Monday: 14:15 - 15:45, weekly (from 17/04/23) Wednesday: 12:15 - 13:45, weekly (from 12/04/23)
Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.
|
|
Exercises
|
-
2.01.410 - Formale Methoden: Petrinetze, Prozessalgebren & Co.
- Prof. Dr. Heike Wehrheim
- Cedric Richter
Monday: 14:15 - 15:45, weekly (from 17/04/23) Wednesday: 12:15 - 13:45, weekly (from 12/04/23)
Formale Methoden sind Sprachen zur Spezifikation von Systemen, die eine formale Semantik besitzen. In der Vorlesung wollen wir uns mehrere solche Formale Methoden anschauen: Petrinetze und die Prozessalgebra CCS zur Spezifikation von parallelen Systemen sowie Realzeitautomaten zur Spezifikation von zeitkritischen Systemen. Für jede Sprache werden wir ihre Semantik definieren, uns Beispiele anschauen sowie Methoden der Analyse besprechen.
|
|
Hinweise zum Modul |
Prerequisites |
Useful previous knowledge: Course Logic |
Reference text |
|
Prüfungszeiten |
Weekly assignments, oral examination at the end |
Module examination |
Written or oral Exam |
Skills to be acquired in this module |
Formal methods are mathematically well-defined languages for the modelling of systems. The students get to know different formal methods and learn about their usage for the modelling and analysis of systems. For a given task, they choose adequate formalisms and their corresponding analysis technique, apply these and interpret the outcome of the analysis.
Professional competence
The students:
- apply mathematical formalisms to the modelling of systems
- choose an adequate modelling formalism for some given task
- formally specify systems
- choose suitable analysis techniques
- interpret results of analysis runs
Methodogical competence
The students:
- carry out formal correctness proofs
- employ analysis tools
- define the semantics of formal specification languages
Social competence
The students:
- work in groups on tasks and explain solutions to each other
- discuss the advantages and disadvantages of modelling formalisms.
Self-competence
The students:
- organise themselves for the work in the module
|
|