@inproceedings{Tim2014,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 nearlyall System-on-Chip designs. Regrettably, the PSM modelitself 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.}}@COMMENT{Bibtex file generated on }