direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

VATES - Verification and Transformation of Embedded Systems

Short Description


The aim of this project is to develop and combine basic principles and methods for the construction and verification of embedded reactive concurrent real-time software systems. Such systems are verified for the whole process, from specification and source code to compiler generated executable machine code. The necessary verification tasks are performed with automatic support, especially by model checking and the use of automatic theorem-provers (such as the interactive theorem-prover Isabelle/HOL). The embedded safety-critical real-time operating system BOSS is used to demonstrate the practical implementability of the developed methods.

VATES in context of SWT Research


Project Team

Björn BartelsThomas Göthel • Moritz Kleine

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Project Management

Stefan Jähnichen


Sabine Glesner



Steffen Helke


Project Period

2007-2009 (24 months)