Technische Systeme zu konstruieren ist immer eine anspruchsvolle Aufgabe - schließlich erwartet der Anwender, dass alles funktioniert. Wenn etwa morgens der Toaster ausfällt oder die Netzwerkverbindung des Rechners immer wieder abreißt, ist dies ärgerlich. Und natürlich kann unzuverlässige Technologie weit gravierendere Konsequenzen haben. Anwendungen im Verkehr oder der Medizin liefern hierfür viele Beispiele. OFFIS beschäftigt sich mit den Aspekten der Informationsverarbeitung in solchen, oft sicherheitskritischen Systemen, wo Programme, die in eingebetteten Steuerungs- oder Überwachungskomponenten arbeiten, entscheidend zum regulären Betriebsablauf beitragen.
Der hohe Stellenwert der Zuverlässigkeit spiegelt sich auch oft in entsprechenden, verpflichtenden Anforderungen, welche zu erfüllen sind, bevor solche Systeme in Verkehr gebracht werden dürfen. So sind beispielsweise im Eisenbahnbereich Entwicklungsprozess und insbesondere Verifikation und Validierung von informationsverabeitenden Systemen strikt reguliert.
Nun gehört gerade die Konstruktion von solchen Systemen, wo Rechner wesentliche Funktionen in technischen Systemen übernehmen, mit zu den intellektuell anspruchsvollsten Aufgaben, denen sich ein Mensch stellen kann. Allein schon die Teilaufgabe, Programmverhalten erschöpfend zu analysieren, hat einen hohen Schwierigkeitsgrad. Und so bedarf es wohlausgewählter Mittel, die Entwurfssprachen, -werkzeuge und -methodiken abgestimmt in Vorgehensmodellen vereinen, um solche Herausforderungen effektiv und mit der gebotenen Sorgfalt bewältigen zu können.
In diesem Themenfeld hat OFFIS in der Vergangenheit ein umfassendes Spektrum von Kompetenzen aufgebaut. Sie erstrecken sich von Prozessorganisation über Spezifikationssprachen, dedizierte Analysetechniken bis hin zu systematischem Testen und erfassen auch Aspekte der Fehlertoleranz, Normkonformität und Informationssicherheit. Ein besonderes Schwergewicht liegt auf Werkzeugen, welche den Ingenieur bei den Aktivitäten unterstützen.
Diese Kompetenzen wurden in vielerlei Projekten mit namhaften Unternehmen aus den Bereichen der Luftfahrt sowie der Eisenbahn- und Automobiltechnik erprobt und in die Praxis eingeführt. Im Rahmen der Umstrukturierung von OFFIS wurden die Aktivitäten im Technologiecluster "Entwurf zuverlässiger Systeme" gebündelt. Entsprechend der strategischen Rolle eines Clusters werden hier die Kompetenzen anwendungsübergreifend zusammengeführt. Ziel ist die Erstellung einer Technologieplattform, welche flexibel Einzeltechnologien zusammenzustellen erlaubt. Durch Kooperation mit der Carl-von-Ossietzky-Universität und weiteren nationalen und internationalen Forschungsinstituten werden neue, viel versprechende Technologien integriert und für die Anwendung in der Praxis aufbereitet.
