direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Project VATES

supported by the German Research Foundation (DFG)

Verification and Transformation of Embedded Systems

The goal of the VATES project is the development and combination of foundations and methods for the construction of embedded, reactive, concurrent real-time software systems. Such systems are verified along the whole development chain beginning with abstract specifications and source code till compiler-generated executable machine code. The verification is carried out with machine-assistance, especially model checkers and mechanical proofers (like the interactive Isabelle/HOL theorem prover). The embedded safety-critical real-time operating system BOSS serves as practical case study for the developed methods.

Co-Operation Partner

Project Members

Prof. Dr. Sabine Glesner
Research Assistants
Björn Bartels
Thomas Göthel
External Members
Moritz Kleine

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe