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

Rainer Leonhard 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 Leonhard Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker

F&E-Zentralverwaltung

Publikation: Beitrag in Buch/Bericht/Tagungsband › Konferenzbeitrag › Begutachtung

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.

Originalsprache	Englisch
Titel	HLDVT'10 - IEEE International High Level Design Validation and Test Workshop, Conference Proceedings
Herausgeber (Verlag)	IEEE
Seiten	97-102
Seitenumfang	6
ISBN (Print)	9781424478057
DOIs	https://doi.org/10.1109/HLDVT.2010.5496654
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	High Level Design Validation and Test Workshop (HLDVT) - Anaheim, USA/Vereinigte Staaten Dauer: 11 Juni 2010 → 12 Juni 2010

Publikationsreihe

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

Konferenz

Konferenz	High Level Design Validation and Test Workshop (HLDVT)
Land/Gebiet	USA/Vereinigte Staaten
Ort	Anaheim
Zeitraum	11.06.2010 → 12.06.2010

Zugriff auf Dokument

10.1109/HLDVT.2010.5496654

Andere Dateien und Links

Link zur Publikation in Scopus

Zitieren

Findenig, R. L., 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 (S. 97-102). Artikel 5496654 (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT). IEEE. https://doi.org/10.1109/HLDVT.2010.5496654

@inproceedings{78ab90609f7e43d686fefd49f2db7974,

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 = "Findenig, {Rainer Leonhard} 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",

publisher = "IEEE",

pages = "97--102",

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

note = "High Level Design Validation and Test Workshop (HLDVT) ; Conference date: 11-06-2010 Through 12-06-2010",

}

Findenig, RL, 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, IEEE, S. 97-102, High Level Design Validation and Test Workshop (HLDVT), Anaheim, USA/Vereinigte Staaten, 11.06.2010. https://doi.org/10.1109/HLDVT.2010.5496654

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

Publikation: Beitrag in Buch/Bericht/Tagungsband › Konferenzbeitrag › Begutachtung

TY - GEN

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

AU - Findenig, Rainer Leonhard

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

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

PB - IEEE

T2 - High Level Design Validation and Test Workshop (HLDVT)

Y2 - 11 June 2010 through 12 June 2010

ER -

Findenig RL, 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. IEEE. 2010. S. 97-102. 5496654. (Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT). doi: 10.1109/HLDVT.2010.5496654

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

Abstract

Publikationsreihe

Konferenz

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitieren