Fast and accurate UML state chart modeling using TLM+ control flow abstraction

Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

Abstract

The execution speed of classical HW-centric State Charts can be improved by at least one magnitude when migrating from a clock based execution to a transaction event based execution. Applying control flow abstraction, e.g. migrating from transaction event triggers to block transfer triggers, gives a further improvement in execution speed. Timing accuracy is preserved by separation of time and control using a resource model. The paper presents the methodology of control flow abstraction and the implementation consisting of code generation from UML, the resource model control interfaces, and the resource model implementation. An industrial example concludes the paper.

OriginalspracheEnglisch
TitelHLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings
Seiten97-102
Seitenumfang6
DOIs
PublikationsstatusVeröffentlicht - 2010
Veranstaltung2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10 - Anaheim, CA, USA/Vereinigte Staaten
Dauer: 11 Juni 201012 Juni 2010

Publikationsreihe

NameProceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT
ISSN (Print)1552-6674

Konferenz

Konferenz2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10
Land/GebietUSA/Vereinigte Staaten
OrtAnaheim, CA
Zeitraum11/06/1012/06/10

Fingerprint

Untersuchen Sie die Forschungsthemen von „Fast and accurate UML state chart modeling using TLM+ control flow abstraction“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren