Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL

Gegenstand des laufenden Projektes ist die Entwicklung einer durchgängigen Methodik zur Erstellung integrierte HW/SW-Systeme mit harten Echtzeitanforderungen und deren Umsetzung durch ein entsprechendes Rapid-Prototyping-System. Ausgehend von einer formalen Spezifikation des funktionalen Verhaltens sowie der Echtzeitanforderungen auf der Basis von annotierten SDL/MSCSpezifikationen soll eine automatische Berechnung der Entwurfsentscheidungen (HW/SW-Partitionierung, Prioritätenvergabe, etc) erfolgen. Im nächsten Schritt wird die partitionierte Spezifikation automatisch auf eine Rapid-Prototyping-Plattform abgebildet. Mit Hilfe einer durchgängigen spezifikationsbasierten Meß- und Bewertungsmethodik werden die Entwurfsvorgang auf einem Prototypensystem validiert. Eine umfangreiche Entwurfsstudie, die automatische Umsetzung eines Multimediasystems, rundet das Projekt ab. In der letzten Phase des Projektes sollen die Systemsynthese und die Implementierungssynthese weiterentwickelt und systematisch bewertet werden. Eine komplette automatisierte Meßmethodik für Hardware- und Softwarekomponenten ist zu entwickeln und in den Entwurfsprozeß zu integrieren. Auf der Basis der Spezifikation und der automatischen Implementierung des zeitkritischen Multimediadienstes wird eine umfangreiche Entwurfsstudie zur Beurteilung der Qualität der Methodik und der Werkzeuge durchgeführt.

DFG Programme Priority Programmes

Subproject of SPP 1020:  Rapid Prototyping für integrierte Steuerungssysteme mit harten Zeitbedingungen