Einleitung

Die  beim Entwurf eingebetteter Systeme eingesetzten Werkzeuge zielen meist auf spezielle Einzelaspekte bzw. Entwicklungsphasen ab, ohne Integration in einen einheitlichen Rahmen, wie er für die Entwicklung komplexer Systeme unabdingbar ist. Das Projekt SuReal strebt daher einen durchgängigen Entwicklungsprozess an, um zu einer einheitlichen und zugleich formal umfassenden Modellierung des zu entwickelnden Systems zu kommen. Dafür sollen die in unterschiedlichen Entwicklungsphasen eingesetzten Tools zusammengeführt werden.

Weitere Informationen zum SuReal-Projekt können auf der Projekt-Homepage[EXTERNAL] gefunden werden.

SuReal wurde 2009 erfolgreich abgeschlossen.


SuReal-Projekt am IDA

Um schon in frühen Entwicklungsphasen Vorhersagen über das Zeitverhalten des Gesamtsystems zu treffen, kommt das am IDA erforschte und von der Firma Symtavision entwickelte Tool SymTA/S zum Einsatz. Zur Steigerung der Anwendbarkeit, besodners im Bereich Automotive, soll das Tool um bestimmte Mechanismen erweitert werden. In Zusammenarbeit mit der Firma Symtavision beschäftigt sich das IDA im Rahmen des Projektes im Wesentlichen mit folgenden Themen:

  • Modelle und Analyseverfahren für komplexe RTEs mit com–Layer
  • Architekturmodelle für automatische Synthese der Kommunikation
  • Bewertung der frühzeitigen Vorhersage des Zeitverhaltens
  • Bestimmung der Sensitivität des Zeitverhalten
  • Systematische Optimierung der Elektronik-Architektur

Beteiligte am IDA

Publikationen

Simon Schliecker, Jonas Rox, Rafik Henia, Razvan Racu, Arne Hamann, und Rolf Ernst, "Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems," in Model-Based Design of Heterogeneous Embedded Systems (Gabriela Nicolescu and Pieter J Mosterman, Ed.), chapter 3, pp. 57-92, CRC Press, November 2009 BibTeX Code anzeigen: Formal Performance Analysis for Real-Time Heterogeneous Embedded Systems Webseite/URL aufrufen: http://www.crcpress.com/product/isbn/9781420067842 
Jörn Chr. Braam, Jonas Rox and Rolf Ernst, "Software and Network Modeling for Early Design Phases," in Automation, Assistence and Embedded Real Time Platforms for Transportation (AAET), (Germany), 2009 BibTeX Code anzeigen: Software and Network Modeling for Early Design Phases   
Jonas Rox and Rolf Ernst, "Modeling Event Stream Hierarchies with Hierarchical Event Models," in Proc. Design, Automation and Test in Europe (DATE 2008), March 2008 BibTeX Code anzeigen: Modeling Event Stream Hierarchies with Hierarchical Event Models   
Jonas Rox and Rolf Ernst, "Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers," in Proceedings of the 20th Euromicro Conference on Real-Time Systems (ECRTS), 2008 BibTeX Code anzeigen: Construction and Deconstruction of Hierarchical Event Streams with Multiple Hierarchical Layers   
Instituts-Anschrift:
Hans-Sommer-Straße 66
38106 Braunschweig

Fon: (0531) 391-3734
Fax: (0531) 391-4587
sekretariat(at)ida.ing.tu-bs.de