Nicht zuletzt durch das enorme Wachstumspotenzial des Internets angetrieben stützt sich moderne Informationstechnik in Wirtschaft, Banken und der Verwaltung in zunehmendem Maße auf verteilte kooperative Systeme (z.B. Telekommunikation, Web-Dienste, Softwareagenten, Mobile Systeme). Diese stellen nach Art und Umfang bisher nicht gekannte Anforderungen an die technische Robustheit und Sicherheit. Zur technischen Robustheit zählen Eigenschaften wie Fehlertoleranz, Verzögerungsunabhängigkeit sowie Skalierbarkeit, zur Sicherheit Bedürfnisse wie Datenintegrität, Anonymität, Authentizität und Verifizierbarkeit. Um hier die Lücke zwischen Wunsch und technischer Realisierbarkeit zu schliessen, müssen unter anderem neuartige, flexible Interaktionsprotokolle und Synchronisationsverfahren entwickelt werden, die dem Aspekt der Nebenläufigkeit Rechnung tragen und die für die heterogene Kopplung bzw. Integration sowohl von Software- als auch von Hardwarekomponenten geeignet sind.
An der Professur für Grundlagen der Informatik werden innovative Synchronisations- und Interaktionsmodelle sowie methodische Werkzeuge zur formalen Analyse (Verifikation und Test) von verteilten sowie reaktiven Systemen erforscht und entwickelt. Besonderes Interesse gilt dabei den Sicherheitsprotokollen und der Beschreibung von standardisierten Kommunikationsschnittstellen, welche die komponentenorientierte Entwicklung und Implementierung von kooperierenden Informationssystemen ermöglicht.
Forschungsschwerpunkte
- Prozesskalküle, Synchronie und Asynchronie
- Intuitionistische und Modale Logik und Typentheorie, logische Spieltheorie
- Semantik synchroner und visueller Programmiersprachen (UML, Statecharts)
- Abstraktion und Verfeinerung, Constraints und das Kompositionalitätsproblem
- Automatische und interaktive Validierungsverfahren: Modellprüfung, Verzögerungsanalyse, Typprüfung, Theorembeweisen
Kooperationsbeziehungen
- Europäisches Forschungsnetzwerk TYPES (35 akademische und industrielle Forschergruppen aus 11 europäischen Ländern) im 6. Rahmenprogramm
- Universität Sheffield, Großbritannien
- Universität York, Großbritannien
Wissenschaftliche Tagungen
- Intuitionistic Modal Logic and Applications (IMLA'99), Trento, Italien, Juli 1999
- Intuitionistic Modal Logic and Applications (IMLA'02), Kopenhagen, Dänemark, Juli 2002
- Semantic Foundations of Engineering Design Languages (SFEDL'02), Grenoble, Frankreich, April 2002
- Semantic Foundations of Engineering Design Languages (SFEDL'04), Barcelona, Spanien, April 2004
- Synchronous Programming (SYNCHRON 2004), Dagstuhl Tagung, Dezember 2004
| |