VISEK Kompetenzzentrum Engineering sicherheitskritischer Systeme

Ziele

Das Virtuelle Software-Engineering-Kompetenzzentrum ViSEK bietet Unternehmen einen schnellen und einfachen Zugriff auf die neuesten und für sie am besten geeigneten Methoden zur ingenieurmäßigen Software-Entwicklung. Ziel ist der Aufbau eines Netzwerks in Form eines Portals, in dem Expertenwissen von derzeit sieben Partnern systematisch in sogenannten Wissensbausteinen abgelegt ist. Inhalt dieser Bausteine sind neben Beschreibungen von Methoden auch konkrete Erfahrungen aus der Praxis.

OFFIS konzentriert seine Aktivitäten in ViSEK auf die Qualitätsverbesserung des System- und Software-Engineering-Prozesses für sicherheitskritische Systeme und wird insbesondere branchenspezifische generische Prozessmodelle für die Anwendungsbereiche Automobiltechnik, Bahntechnik sowie Luft- und Raumfahrttechnik entwickeln. OFFIS bringt hierbei substantielle Erfahrung auf den Gebieten modellbasierter Entwurfsprozesse und modellbasierter Verifikation ein und wird die Ausprägung von Prozessmodellen unter dem besonderen Aspekt der Verbesserung der Entwicklungsqualität und Sicherheit von Anwendungen in den genannten Domänen durch Einführung von modellbasierten Entwurfsprozessen und darauf aufsetzenden Validationstechniken legen. Hierbei geht es unter anderem um eine Vermeidung tiefer Iterationsschleifen, Verbesserung der Nachvollziehbarkeit von Entwurfsentscheidungen über alle Sichten und Schritte, Durchgängigkeit durch den gesamten Entwurfsprozess und insbesondere Analysemethoden zur Gewährleistung der Sicherheitsanforderungen.

OFFIS wird insbesondere auch seine Zusammenarbeit mit Zertifizierungsstellen in den Bereichen Luft- und Raumfahrt (JAA) sowie Bahntechnik (EBA) intensivieren, in denen aufgrund besonderer Sicherheitsanforderungen formale Methoden imEntwurfsprozess gefordert werden.

Personen

Laufzeit

Start: 01.11.2001
Ende: 31.12.2003

Website des Projekts