 |
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH |
Das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) mit Sitz in Kaiserslautern und Saarbrücken ist auf dem Gebiet innovativer Softwaretechnologien eines der führenden wirtschaftsnahen Forschungseinrichtungen in Deutschland. In der internationalen Wissenschaftswelt zählt das DFKI zu den weltweit wichtigsten „Centers of Excellence“ und ist dafür bekannt, Spitzenforschung rasch in praxisrelevante Anwendungslösungen umzusetzen. Die Deduktionsgruppe am DFKI beschäftigt sich neben der Forschung im Bereich formaler Methoden mit der Umsetzung formaler Methoden in industrienahen Kontexten. Das zentrale Werkzeug ist das im Auftrag des BSI (Bundesamtes für Sicherheit in der Informationstechnik) entwickelte Verification Support Environment (VSE-II). VSE-II erlaubt die Spezifikation von Systemkomponenten und Sicherheitszielen. Durch maschinell unterstützte Beweisführung (Deduktion) werden Sicherheitseigenschaften nachgewiesen und Verfeinerungsschritte verifiziert. Die Hauptanwendungsdomänen liegen in den Bereichen E-Commerce, E-Payment, E-Government, Pervasive Computing, kryptographische Protokolle, SmartCards, PKIs und signaturgesetzkonforme Komponenten. Desweiteren beschäftigt sich die Deduktionsgruppe mit der Spezifikation und Verifikation realzeitbehafteter Softwaresysteme. Im SuReal-Projekt sollen die Erfahrungen der Deduktionsgruppe des DFKI in Bezug auf formale Entwicklungen und Verfeinerungen insbesondere in den Bereichen Realzeit und Toolentwicklung eingebracht werden. Dr. Andreas Nonnengart ist seit Ende 1999 leitendender Wissenschaftler in der Deduktionsgruppe des DFKI. Er promovierte 1995 über Resolutionskalküle für Temporallogiken und forschte seitdem auf dem Gebiet der Programmverifikation und der Verifikation von Realzeitsystemen. In diesem Zusammenhang entwickelte er auch ein auf Deduktion basierendes Model-Checking-Verfahren zur Analyse und Verifikation von hybriden Automaten. Im DFKI ist er in zahlreiche Industrie- und Forschungsprojekte involviert und ist zudem ein vom Bundesamt für Sicherheit in der Informationstechnik akkreditierter Evaluator nach CC (Common Criteria) und ITSEC. Im Rahmen des SuReal-Projekts ist das DFKI an den folgenden Arbeitspaketen beteiligt:
|
