Virtual Prototyping und frühe Evaluierung von Systems-on-Chip mit UML2 und SysML

UML2.0 und SysML versuchen, bewährte Techniken aus der Softwaretechnik in das Systems Engineering zu überführen. Dazu wurden neue Modelle und Profile entwickelt, die den Bedürfnissen der Systementwicklung auf hohen Abstraktionsebenen genügen. Bis jetzt liegt dabei der Fokus auf Modellierungsaspekten. Quantitative Performanzanalyse wird nicht ausreichend in frühen Entwurfsphasen adressiert. In diesem Paper präsentieren wir unseren Ansatz zum Virtual Prototyping und zur frühen Entwurfsbewertung von eingebetteten Systemen und Systems-on-Chip (SoC). Der Ansatz umfasst die Beschreibung des Gesamtsystems bzw. der Teilkomponenten einschließlich der zu implementierenden Funktion und der angestrebten Hardwareund Kommunikationsarchitektur mit UML2/SysML und die automatisierte Überführung in ein formales Systemmodell. Auf diesem Modell können Analysen hinsichtlich Performanzaspekten und potentiellen Konflikten hinsichtlich der Spezifikation und auf geteilten Ressourcen durchgeführt werden. Weiterhin können aus dem Modell automatisch Simulationsmodelle in SystemC erzeugt werden, welche durch Monitoring-Schnittstellen die Simulation und damit die Erkennung von Performanzengpässen und Ressourcenkonflikten unterstützen. Dadurch ist es möglich, ein Systemmodell zu einem frühen Entwurfszeitpunkt zu evaluieren. Die gewonnenen Informationen können zur Modifikation des spezifizierten Modells verwendet werden und unterstützen somit eine Exploration des Entwurfsraumes.

[1]  Wolfgang Rosenstiel,et al.  Communication analysis for system-on-chip design , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[2]  Jochen Malte Küster,et al.  Consistent design of embedded real-time systems with UML-RT , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[3]  Wolfgang Rosenstiel,et al.  Communication Analysis for Network-on-Chip Design , 2004 .

[4]  Yau-Tsun Steven Li,et al.  Static Timing Analysis Of Embedded Software , 1997, Proceedings of the 34th Design Automation Conference.

[5]  Reiko Heckel,et al.  A methodology for specifying and analyzing consistency of object-oriented behavioral models , 2001, ESEC/FSE-9.