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.
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
Reference text
Useful previous knowledge: Course Logic
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.