In:
it - Information Technology, Walter de Gruyter GmbH, Vol. 49, No. 2 ( 2007-3-1), p. 118-126
Kurzfassung:
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.
Materialart:
Online-Ressource
ISSN:
2196-7032
,
1611-2776
DOI:
10.1524/itit.2007.49.2.118
Sprache:
Englisch
Verlag:
Walter de Gruyter GmbH
Publikationsdatum:
2007
ZDB Id:
2102301-3
ZDB Id:
144419-0
ZDB Id:
165820-7
ZDB Id:
2028598-X
ZDB Id:
6242-X
ZDB Id:
1146417-3
Permalink