|
Neben dem Projektende (Monat 30), an dem alle Projektziele
erreicht und anhand der in Arbeitspaket 9 gewählten
Beispiele demonstriert werden, ist ein weiterer wichtiger Meilenstein im
Monat 18 geplant (M18), mit dem Ziel
| · |
eine interne Überprüfung der gesteckten Ziele durchzuführen, die den
Gesamtfortschritt der verschiedenen SuReal-Partner demonstriert, |
| · |
die SuReal-Methodologie zu festigen und deren Umsetzung zu initiieren
bzw. zu konkretisieren, |
| · |
die Sichtbarkeit nach außen — beispielsweise über Veröffentlichungen
bei einschlägigen Konferenzen/in einschlägigen Fachblättern bzw. über
vorführbare Werkzeugintegrationen — zu fördern und |
| · |
erste Schritte in Richtung der SuReal-Endziele zu gehen, die sich
an den in den Verwertungsplänen anvisierten Vorhaben orientieren. |
Für die einzelnen Arbeitspakete ergibt sich daraus der
folgende Plan für M18:
| AP 1 |
Erstellung des SuReal-Prozeßmodells und
Demonstration eines ersten Prototypen. |
| AP 2 |
Bereitstellung eines ersten Prototypen des
Transformationsmechanismus, der semantische Definitionen von
Stereotypen ermöglicht, mit einigen Beispiel-Stereotypen. |
| AP 3 |
Bereitstellung eines ersten Prototypen, der
die Abbildung von AMEOS-Modellen auf zeitabhängige Automaten ermöglicht. |
| AP 4 |
Demonstration der SuReal-Beschreibungstechniken
und deren Beziehung untereinander. Typische Beispiele wären
Transformationen in zeitabhängige Automaten und Repräsentationen
verschiedener Automatenspezifikationen in VSE. |
| AP 5 |
| · |
Demonstration von Verfeinerungsbegriffen anhand von Automaten und
VSE-Spezifikationen. |
| · |
Demonstration der VSE-Werkzeugunterstützung zum Nachweis einer Verfeinerung. |
|
| AP 6 |
| · |
Bericht über die theoretische Bestimmung und Optimierung der
Robustheit der Komponentenintegration auf einer Hardware-Software-Plattform. |
| · |
Prototyp einer Software für die Bestimmung der Robustheit sowie ihrer Optimierung. |
| · |
Prototyp der Rückannotation von analysierten Systemeigenschaften an andere Werkzeuge. |
| · |
Demonstration des Datenaustauschs zwischen gekoppelten Werkzeugen. |
|
| AP 7 |
| · |
Demonstration eines ersten Prototypen für Laufzeitanalyse
im schlimmsten Fall für Ada-Code. |
| · |
Demonstration der Anbindung des Binärcodes aus dem Jamaica-Builder
an die Eingabeform von aiT für Java übersetzt in Maschinencode. |
|
| AP 8 |
Bericht (bzw. Demonstration) über erste Experimente
mit neuen numerischen Domains. |
|
