Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter Oldenbourg September 25, 2009

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)

  • Bernd Becker , Andreas Podelski , Werner Damm , Martin Fränzle , Ernst-Rüdiger Olderog and Reinhard Wilhelm

The Transregional Collaborative Research Center AVACS integrates the three sites Freiburg, Oldenburg, and Saarbrücken, and addresses the challenge of pushing the borderline for automatic verification and analysis of complex systems. A particular focus of the project is on models of complex transportation systems and their safety requirements. AVACS is organized in ten subprojects, each teaming researchers from all sites, and is funded by the German Science Foundation since January 1, 2004. This article surveys scope, organization, and research directions of AVACS, including pointers to key publications.

Der SFB-TR AVACS mit den Standorten Oldenburg (Sprecherhochschule), Freiburg und Saarbrücken wird seit dem 1.1.2004 von der Deutschen Forschungsgemeinschaft gefördert. AVACS stellt sich der Herausforderung, Modelle komplexer verkehrstechnischer Systeme in Bezug auf die Einhaltung von Sicherheitseigenschaften zu analysieren, um so frühzeitig mögliche Entwurfsfehler aufzudecken. In insgesamt 10 Teilprojekten werden hierzu neue Verifikationsverfahren entwickelt, welche sowohl quantitativ wie auch qualitativ die Grenzen heutiger Technologien erweitern. Dieser Artikel gibt einen Überblick über Anwendungsdomäne, Organisation und Forschungsfelder von AVACS, einschließlich Verweisen auf weiterführende Literatur.

Published Online: 2009-9-25
Published in Print: 2007-3-1

© Oldenbourg Wissenschaftsverlag

Downloaded on 29.3.2024 from https://www.degruyter.com/document/doi/10.1524/itit.2007.49.2.118/html
Scroll to top button