direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

VATES (Verification and Transformation of Embedded Systems) - Konstruktion und Verifikation eingebetteter Software am Beispiel des Echtzeit-Betriebssystems BOSS

Kurzbeschreibung

Lupe

Ziel des Projekts ist die Entwicklung und Kombination von Grundlagen und Methoden zur Konstruktion und Verifikation eingebetteter reaktiver nebenläufiger echtzeitfähiger Software-Systeme. Derartige Systeme werden für die gesamte Kette von Spezifikation und Quellcode bis zum von Compilern generierten, ablauffähigen Maschinencode verifiziert. Die dabei anfallenden Verifikationsaufgaben werden mit maschineller Unterstützung, insbesondere durch Model Checking und den Einsatz maschineller Beweiser (insbesondere mit dem interaktiven Theorembeweiser Isabelle/HOL) durchgeführt. Das eingebettete sicherheitskritische Echtzelt-Betriebssystem BOSS dient als Beispiel zum Praxistest der entwickelten Methoden.

VATES im Kontext der SWT-Forschungsarbeiten

Lupe

Projektteam

Björn BartelsThomas Göthel • Moritz Kleine

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Projektleitung

Stefan Jähnichen

Webseite

Sabine Glesner

Webseite

Ansprechpartner

Steffen Helke

Webseite

Projektdauer

2007 - 2011 (Phase 1)
2012 - 2015 (Phase 2)