Fast and accurate UML State Chart modeling using TLM+ control flow abstraction

Rainer Leonhard Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationHLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings
PublisherIEEE
Pages97-102
Number of pages6
ISBN (Print)9781424478057
DOIs
Publication statusPublished - 2010
EventHigh Level Design Validation and Test Workshop (HLDVT) - Anaheim, United States
Duration: 11 Jun 201012 Jun 2010

Publication series

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

Conference

ConferenceHigh Level Design Validation and Test Workshop (HLDVT)
CountryUnited States
CityAnaheim
Period11.06.201012.06.2010

Fingerprint Dive into the research topics of 'Fast and accurate UML State Chart modeling using TLM+ control flow abstraction'. Together they form a unique fingerprint.

Cite this