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
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.