Sicherheitsgarantien unter Realzeitanforderungen

 

SuReal ist ein mittelfristig angelegtes Forschungs- und Entwicklungs­projekt, das vom Bundes­ministerium für Bildung und Forschung gefördert wird. Beteiligt am Projekt sind Unternehmen, Hochschulen und außer­universitäre Einrichtungen aus 5 Bundes­ländern.

Ziel des Projektes ist es, sogenannte eingebettete Systeme, wie sie beispiels­weise in Automobilen, Flugzeugen, Handys und modernen Haushalts­geräten Verwendung finden, sicherer zu machen.

Derzeit ist die Behandlung von bestimmten Sicherheits­aspekten bei der Entwicklung von eingebetteten Systemen durch weitgehend isolierte Ansätze und Insel­lösungen gekennzeichnet. Im Rahmen des SuReal-Projekts soll deshalb ein durchgängiger Entwicklungs­prozeß erarbeitet werden, bei dem sicherheits­kritische Aspekte stets berücksichtigt werden und jederzeit formal überprüft werden können.

Dazu greift SuReal in der industriellen Praxis verbreitete Modellbildungen und marktgängige technische Lösungen auf und integriert diese mit formalen Beschreibungs- und Analyse­techniken zu einer abgestimmten Entwicklungs­methodik.

Hierdurch wird ein Rahmen geschaffen, an dem sich industrielle Entwickler ausrichten können, ohne gezwungen zu sein, komplexe Analyse­methoden zu entwickeln und miteinander zu kombinieren.

Letztendlich soll es kleinen und mittelgroßen Softwareunternehmen ermöglicht werden, den Einsatz derartiger formaler Methoden zu unter­stützen und diese zu vermarkten.

AbsInt
Angewandte Informatik GmbHDeutsches Forschungszentrum
für Künstliche Intelligenz GmbHTechnische Universität DresdenInstitut für Datentechnik
und Kommunikationsnetze
an der TU BraunschweigScopeSet Technology Deutschland GmbHaicas GmbHTechnische Universität MünchenSymtavision Stand: 01/2008
Siegel des Bundesministeriums
für Bildung und Forschung