@inproceedingsTim2014, Author = {Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg}, Title = {A Program State Machine Based Virtual Processing Model in SystemC}, Year = {2014}, Month = {11}, Series = {ACM SIGBED Review (ISSN: 1551-3688) Special Interest Group on Embedded Systems}, Booktitle = {The 4th Embedded Operating Systems Workshop (EWiLi'14)}, type = {inproceedings}, note = {The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to describe behavioral and structural hierarchy, concurrency, synchronization, state transitions and timing. With the rising software complexity of today's embedde}, Abstract = {The Program State Machine (PSM) Model of Computation offers a rich set of modeling elements to describe behavioral and structural hierarchy, concurrency, synchronization, state transitions and timing. With the rising software complexity of today's embedded systems, the use of Real-Time Operating Systems (RTOS) has become state-of-the-art for nearly all System-on-Chip designs. Regrettably, the PSM model itself has insufficient support for the specification of the preemptive dynamic scheduling behavior of an RTOS. In this paper, we propose a model for dynamically dispatching PSM models on a virtual processing element. Our model aims to abstract from the targeted RTOS and the processor core through execution time annotations and a exible preemptive scheduler model. Mapping a PSM model to a set of scheduled virtual processing elements only requires minor model transformation and enables early exploration of dif- ferent processing element mappings and scheduling policies. Our virtual processing model for PSMs is realized on top of the SystemC library. We evaluate the proposed virtual processing model using a Canny edge detection filter.} @COMMENTBibtex file generated on