Welcome to the Reactive Systems Group at Saarland University

We are located on the fifth floor of building E 1 3 on the Saarbrücken campus of Saarland University (how to reach us).

Summer term 2012

• Core lecture course: Embedded Systems. Embedded systems are computer systems that are encapsulated into larger products, and that are normally not directly visible to the user. Embedded systems are responsible for the information processing in transportation systems (e.g., airplanes, trains, cars), telecommunication equipment (e.g., mobile phones), and consumer electronics products (e.g., TVs, DVD-players). In this course we will study the theoretical foundations and practical tools that are needed to build reliable and efficient embedded systems.

Michael Gerke wins the NRW Young Scientist Award 2011!

For his outstanding research on the automatic verification of real-time protocols, Michael Gerke has received the NRW Young Scientist Award 2011 in the category Dynamic Intelligent Systems (Computer Science and Embedded Systems).

Congratulations, Michael!

Winter term 2011/2012

• Proseminar: Softwarezuverlässigkeit. In diesem Proseminar geben wir einen Überblick zu Methoden zur Verbesserung von Softwarezuverlässigkeit. Beginnend bei Verfahren wie automatisiertem Testen, besprechen wir dann formale Softwaremodelle, Prozessalgebren und Spezifikationen bis hin zu automatischer Softwareverifikation. Ein Fokus liegt auch auf dem Erlernen wissenschaftlichen Arbeitens.

• Core lecture course: Verification. How can one ensure that computer programs actually do what they are intended to do? Simply testing the program on a few inputs is insufficient to prove the absence of bugs. In this lecture course, we will take a look at automated methods to verify the functional correctness of systems. The goal of these methods is to deliver a formal proof of correctness for a given system. We will cover the theory and practice of both deductive methods for program verification and state space exploration methods like model checking for concurrent programs.