SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)
SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)
复制标题
SFB/TR 14 AVACS – 复杂系统的自动验证和分析
DOI：
10.1524/itit.2007.49.2.118
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
R. Wilhelm
中科院分区：
文献类型：
--
作者：
B. Becker;A. Podelski;W. Damm;M. Fränzle;E. Olderog;R. Wilhelm
跨区域合作研究中心AVACS整合了弗赖堡、奥尔登堡和萨尔布吕肯三个研究中心，并解决了推动复杂系统自动验证和分析边界的挑战。该项目的一个特别重点是复杂运输系统的模型及其安全要求。AVACS由10个子项目组成，每个子项目由来自所有站点的研究人员组成，自2004年1月1日起由德国科学基金会资助。本文概述了AVACS的范围，组织和研究方向，包括关键出版物的指针。2004年1月1日，德国研究联合会将SFB-TR AVACS与奥尔登堡、弗赖堡和萨尔布吕肯的标准学校合并。AVACS是一个复杂的信息传递系统模型，用于分析信息传递过程中的信息传递过程，使信息传递过程更加复杂。在第10个项目中，韦尔登提出了新的验证方法，这些方法既可以定量，也可以定性。这篇文章给出了一个由AVACS的Anwendungsdomäne、Organisation und Forschungsfelder组成的系统，一个在文学方面的新的尝试。
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.
不完整设计的近似符号模型检查
DOI：
10.1007/978-3-540-30494-4_21
发表时间：
2004
期刊：
影响因子：
--
作者：
T. Nopper;C. Scholl
通讯作者：
C. Scholl