1 IDA, TU Braunschweig SuReal Projektübersicht SuReal – Sicherheitsgarantien unter Realzeitanforderungen (Mai 2006 – Apr. 2009) Gefördert vom BMBF Projektkonsortium.

Präsentation zum Thema: "1 IDA, TU Braunschweig SuReal Projektübersicht SuReal – Sicherheitsgarantien unter Realzeitanforderungen (Mai 2006 – Apr. 2009) Gefördert vom BMBF Projektkonsortium."—  Präsentation transkript:

1 1 IDA, TU Braunschweig SuReal Projektübersicht SuReal – Sicherheitsgarantien unter Realzeitanforderungen (Mai 2006 – Apr. 2009) Gefördert vom BMBF Projektkonsortium besteht aus 8 Partnern: 3 Akademische Partner: TU Dresden, TU München, TU Braunschweig 5 Industriepartner (KMUs): Symtavision, AbsInt, aicas, ScopeSET, DFKI Ziele: Definition eines integrierten Designprozesses Schaffung einer Tool-Kette die diesen Designprozess abdeckt SuReal – Sicherheitsgarantien unter Realzeitanforderungen (Mai 2006 – Apr. 2009) Gefördert vom BMBF Projektkonsortium besteht aus 8 Partnern: 3 Akademische Partner: TU Dresden, TU München, TU Braunschweig 5 Industriepartner (KMUs): Symtavision, AbsInt, aicas, ScopeSET, DFKI Ziele: Definition eines integrierten Designprozesses Schaffung einer Tool-Kette die diesen Designprozess abdeckt

2 2 IDA, TU Braunschweig SuReal Entwicklungsprozess High-level Timing Verification High-level Timing Verification Scheduling Verification Scheduling Verification Technical / Non- Functional Verification Code Verification Requirements Modelling Platform Refinement Platform Refinement Code Generation and Extension Code Generation and Extension Compilation Platform- independent Model Platform-specific Model Annotated Source Code Executable Code

3 3 IDA, TU Braunschweig SuReal-Prozessmaschine 1.Prozessmodellierung 2.Export in a.Handbuch b.ausführbare Werkzeugkette 4.Deployen in die SuReal-Prozessmaschine (Prozessbasierte Werkzeugumgebung) 5.Laufender Prozess a.Integration von Werkzeugen b.aufgabenspezifische Integration des Handbuchs 3.Anpassen der Werkzeugkette an aktuelle Ressourcen

4 4 IDA, TU Braunschweig Demonstrator Live Prozessmaschine mit allen Werkzeugen Zwei Fahrzeuge Folgen einer Linie Fahren hintereinander Einhalten des Mindestabstands Stopp beim Auftreten eines Hindernisses Bus NXT Controller a b