Alcatel-Lucent auf der REConf 2007
Titel des Vortrags: Verifikationsgerechte Spezifikation komplexer Systeme – das Forschungsprojekt „SpecVer"
Track: TelCo
Level: Fortgeschrittene
Tag und Uhrzeit: 7. März, 14 Uhr 45 bis 15 Uhr 30
Abstract: Ziel des Forschungsprojekts „SpecVer“ (gefördert durch die Bayer. Forschungsstiftung, AZ: 645/05) ist die Bereitstellung einer Methodik zur verifikationsgerechten Spezifikation komplexer Systeme. Aktuell wird zur Beschreibung von Anforderungen meist natürliche Sprache verwendet, die nicht formal fassbar ist. Folglich sind die Spezifikation und deren Verfeinerung im Entwurfsprozess nicht mit Werkzeugen verifizierbar. „SpecVer“ zielt darauf ab, die Anforderungen an ein System als formale Eigen-schaften eines formalen Modells der Spezifikation zu erfassen. Dieser Ansatz ermöglicht den Einsatz von Softwarewerkzeugen zur Entwurfsautomatisierung sowie die Anwendung mathematischer Analyseverfahren. Insbesondere die formale Verifikation erlaubt prinzipiell eine vollständige Überprüfung des Spezifikationsmodells bezüglich der Anforderungen. Der in „SpecVer“ entwickelte Ansatz wird prototypisch realisiert und an Beispielen aus der Industrie (Telekommunikation, Automotive) evaluiert. „SpecVer“ wurde im Oktober 2005 für eine Laufzeit von 3 Jahren gestartet. Beteiligt sind Lucent Technologies, Prostep IMP, Audi, das Fraunhofer-Institut für Integrierte Schaltungen, die Universität Erlangen-Nürnberg und die Technische Universität Chemnitz. Der Vortrag stellt das Konzept von „SpecVer“ vor und greift einige Ergebnisse heraus. So wird u.a. der Prototyp eines Werkzeuges zur formalen Erfassung und Verfeinerung von Spezifikationen mittels Tabellen und Grafiken demonstriert.
Speaker: Axel Schneider studierte Elektrotechnik an der Universität Erlangen-Nürnberg und arbeitet seit 1997 bei Alcatel-Lucent (vormals Lucent Technologies) im Bereich „Optische Netzwerke“. 2001 übernahm er die Leitung eines Teams für den Systemtest optischer Übertragungssysteme und war für mehrere internationale Testprojekte verantwortlich. Seit Ende 2004 ist Axel Schneider für die Alcatel-Lucent Forschungsaufgaben in mehreren nationalen und internationalen Forschungsprojekten verantwortlich, darunter auch „SpecVer“. Diese Projekte befassen sich u.a. mit formalen Spezifikations- und Verifikationstechniken und deren Anwendungsmöglichkeiten in der industriellen Praxis. Axel Schneider ist außerdem seit 2001 an der Georg-Simon-Ohm-Fachhochschule Nürnberg als Lehrbeauftragter für das Fach „Software-Qualität/Test“ tätig..
