Arbeitsplan

Projektbeginn: Mai 2006.
Projektende: Oktober 2008 verlängert bis April 2009.

• Geplante Forschungs- und Entwicklungsarbeiten
• Übersicht über die Arbeitsteilung
• AP 1: Durchgängiger Entwurfsprozeß für Anwendungen mit Realzeitanforderungen
• AP 2: Spezifikationsmechanismen
• AP 3: Modellbasierte Verifikation von Realzeiteigenschaften
• AP 4: Analyse der Beschreibungstechniken auf den verschiedenen Schichten
• AP 5: Verifikation der Verfeinerungsschritte
• AP 6: Zeitverhalten des Gesamtsystems
• AP 7: Verknüpfung von Compiler und Laufzeitanalyse
• AP 8: Genauere numerische Analysen
• AP 9: Evaluierung des Gesamtsystems
• AP 10: Projektkoordination
• Meilensteine