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

摘要

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.