Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg
The 4th Embedded Operating Systems Workshop (EWiLi'14)
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.
11 / 2014
ACM SIGBED Review (ISSN: 1551-3688) Special Interest Group on Embedded Systems
ARAMiS ARAMiS – Automotive, Railway and Avionic Multicore System