Formale Modellextraktion von SystemC Entwürfen

Abstract:
Die wachsende Beliebtheit der Systembeschreibungssprache SystemC trug während der letzten sieben Jahre kontinuierlich zur Erweiterungen der zugehörigen Bibliothek und zur Definition eines eigenen Standards durch IEEE bei. Allerdings nehmen sowohl die Flexibilität als auch die Mächtigkeit der Sprache Einfluss auf die Komplexität ihrer Analyse. So ist die Abbildung eines SystemC Modells auf ein statisches Modell, dessen Zustandsraum zur Laufzeit statisch ist, nicht immer möglich. In der vorliegenden Arbeit präsentieren wir ein Konzept zur Extraktion des Zustandsraumes zu einem gegebenen Zeitpunkt. Das vorgestellte Verfahren ist eine hybride Technik bestehend aus statischer und dynamischer Analyse. Da sich beide Techniken in diesem Ansatz ergänzen, bleibt die Hierarchie des Zustandsraumes erhalten. Eine Anwendung für diese Art der Analyse findet sich beispielsweise inWerkzeugen für Synthese und Visualisierung.