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

Rainer Findenig; Thomas Leitner; Michael Velten; Wolfgang Ecker

doi:10.1109/HLDVT.2010.5496654

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

Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker

Default

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings
Pages	97-102
Number of pages	6
DOIs	https://doi.org/10.1109/HLDVT.2010.5496654
State	Published - 2010
Event	2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10 - Anaheim, CA, United States Duration: 11 Jun 2010 → 12 Jun 2010

Publication series

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

Conference

Conference	2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10
Country/Territory	United States
City	Anaheim, CA
Period	11/06/10 → 12/06/10

Access to Document

10.1109/HLDVT.2010.5496654

Cite this

Findenig, R., Leitner, T., Velten, M., & Ecker, W. (2010). Fast and accurate UML state chart modeling using TLM⁺ control flow abstraction. In HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings (pp. 97-102). Article 5496654 (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT). https://doi.org/10.1109/HLDVT.2010.5496654

@inproceedings{be346ef45a904c67aa30d99f58657648,

title = "Fast and accurate UML state chart modeling using TLM+ control flow abstraction",

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.",

author = "Rainer Findenig and Thomas Leitner and Michael Velten and Wolfgang Ecker",

year = "2010",

doi = "10.1109/HLDVT.2010.5496654",

language = "English",

isbn = "9781424478057",

series = "Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT",

pages = "97--102",

booktitle = "HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings",

note = "2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10 ; Conference date: 11-06-2010 Through 12-06-2010",

}

Findenig, R, Leitner, T, Velten, M & Ecker, W 2010, Fast and accurate UML state chart modeling using TLM⁺ control flow abstraction. in HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings., 5496654, Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT, pp. 97-102, 2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10, Anaheim, CA, United States, 11/06/10. https://doi.org/10.1109/HLDVT.2010.5496654

Fast and accurate UML state chart modeling using TLM⁺ control flow abstraction. / Findenig, Rainer; Leitner, Thomas; Velten, Michael et al.
HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings. 2010. p. 97-102 5496654 (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Findenig, Rainer

AU - Leitner, Thomas

AU - Velten, Michael

AU - Ecker, Wolfgang

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77958147000&partnerID=8YFLogxK

U2 - 10.1109/HLDVT.2010.5496654

DO - 10.1109/HLDVT.2010.5496654

M3 - Conference contribution

AN - SCOPUS:77958147000

SN - 9781424478057

T3 - Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

SP - 97

EP - 102

BT - HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings

T2 - 2010 15th IEEE International High Level Design Validation and Test Workshop, HLDVT'10

Y2 - 11 June 2010 through 12 June 2010

ER -

Findenig R, Leitner T, Velten M, Ecker W. Fast and accurate UML state chart modeling using TLM⁺ control flow abstraction. In HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings. 2010. p. 97-102. 5496654. (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT). doi: 10.1109/HLDVT.2010.5496654