Title :
Fast and accurate UML State Chart modeling using TLM+ control flow abstraction
Author :
Findenig, Rainer ; Leitner, Thomas ; Veiten, M. ; Ecker, Wolfgang
Author_Institution :
Upper Austrian Univ. of Appl. Sci., Hagenberg, Austria
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.
Keywords :
Unified Modeling Language; hardware-software codesign; program compilers; transaction processing; TLM control flow abstraction; UML state chart modeling; classical HW centric state charts; clock based execution; code generation; resource model control interface; timing accuracy; transaction event based execution; Accuracy; Automata; Clocks; Hardware; Programming; Protocols; Software prototyping; Switches; Timing; Unified modeling language;
Conference_Titel :
High Level Design Validation and Test Workshop (HLDVT), 2010 IEEE International
Conference_Location :
Anaheim, FL
Print_ISBN :
978-1-4244-7805-7
DOI :
10.1109/HLDVT.2010.5496654