 |
Die Ziele des SuReal-Projektes |
|
SuReal strebt einen durchgängigen Entwicklungsprozeß in Bezug auf die Behandlung von Realzeitaspekten an. Dies soll erreicht werden durch:
SuReal greift in der industriellen Praxis verbreitete Modellbildungen und marktgängige technische Lösungen auf und integriert diese mit formalen Beschreibungs- und Analysetechniken zu einer abgestimmten Entwicklungsmethodik, die insbesondere in Bezug auf die technische Umsetzung die Verfolgung bzw. Verifikation von Realzeitanforderungen möglich macht. Darüberhinaus dient dieser Entwicklungsprozeß der Wiederverwendung, Modifikation und Anpassung von Entwicklungen sowie der Trennung von Schnittstellenbeschreibungen und ihrer Verwirklichung als Voraussetzung für eine unabhängige modulare Entwicklung von Komponenten. Dadurch wird ein Rahmen geschaffen, an dem sich industrielle Entwickler ausrichten können, ohne selbst in der Lage sein zu müssen, komplexe Methoden zu entwickeln und miteinander zu kombinieren. Dies gilt vor allem auch für die Verwendung formaler Methoden bei der Behandlung von Realzeitanforderungen für besonders sicherheitskritische Systemteile. Die sichere Beherrschung von sogenannten harten Echtzeiteigenschaften durch eine einheitliche und umfassende Methodik, basierend auf dem Einsatz formaler Methoden und einer speziell zugeschnittenen Werkzeugunterstützung, ermöglicht eine bedeutende Steigerung der Softwarekompetenz gerade für kleinere und mittlere Unternehmen, die in diesem Segment oft Träger von technischen Innovationen sind. Der Vorsprung Deutschlands in vielen klassischen Ingenieursdisziplinen wird nur zu halten sein, wenn es gelingt, die dort erreichten hohen Qualitäts- und Sicherheitsstandards auf den Softwarebereich zu übertragen. |
