{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T05:25:25Z","timestamp":1672464325480},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2015,1,22]],"date-time":"2015-01-22T00:00:00Z","timestamp":1421884800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Research and Education"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2015,1,22]]},"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 flexible 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 different 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.<\/jats:p>","DOI":"10.1145\/2724942.2724943","type":"journal-article","created":{"date-parts":[[2015,1,28]],"date-time":"2015-01-28T14:05:51Z","timestamp":1422453951000},"page":"7-12","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A program state machine based virtual processing model in SystemC"],"prefix":"10.1145","volume":"11","author":[{"given":"Tim","family":"Schmidt","sequence":"first","affiliation":[{"name":"University of California, Irvine"}]},{"given":"Kim","family":"Gr\u00fcttner","sequence":"additional","affiliation":[{"name":"OFFIS -- Institute for Information Technology, Oldenburg, Germany"}]},{"given":"Rainer","family":"D\u00f6mer","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}]},{"given":"Achim","family":"Rettberg","sequence":"additional","affiliation":[{"name":"Carl von Ossietzky University Oldenburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2015,1,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1986.4767851"},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0504-8","volume-title":"Embedded System Design: Modeling, Synthesis and Verification","author":"Gajski D. D.","year":"2009","unstructured":"D. D. Gajski , S. Abdi , A. Gerstlauer , and G. Schirner . Embedded System Design: Modeling, Synthesis and Verification . Springer , 1 st edition, 2009 . D. D. Gajski, S. Abdi, A. Gerstlauer, and G. Schirner. Embedded System Design: Modeling, Synthesis and Verification. Springer, 1st edition, 2009.","edition":"1"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4515-6","volume-title":"SpecC: Specification Language and Methodology","author":"Gajski D. D.","year":"2000","unstructured":"D. D. Gajski , J. Zhu , R. D\u00f6mer , A. Gerstlauer , and S. Zhao . SpecC: Specification Language and Methodology . Springer , 1 edition, 2000 . D. D. Gajski, J. Zhu, R. D\u00f6mer, A. Gerstlauer, and S. Zhao. SpecC: Specification Language and Methodology. Springer, 1 edition, 2000."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/789083.1022716"},{"key":"e_1_2_1_5_1","first-page":"09","volume":"2008","year":"2008","unstructured":"K. Gr\u00fcttner and W. Nebel. Modelling Program--State Machines in SystemC. In Forum on Specification and Design Languages 2008 , 09 2008 . K. Gr\u00fcttner and W. Nebel. Modelling Program--State Machines in SystemC. In Forum on Specification and Design Languages 2008, 09 2008.","journal-title":"K. Gr\u00fcttner and W. Nebel. Modelling Program--State Machines in SystemC. In Forum on Specification and Design Languages"},{"key":"e_1_2_1_6_1","first-page":"2008","author":"Hartmann P.","year":"2008","unstructured":"P. Hartmann , H. Kleen , P. Reinkemeier , and W. Nebel . Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS. In Specification, Verification and Design Languages , 2008 . FDL 2008 . Forum on, pages 19--24, Sept 2008. P. Hartmann, H. Kleen, P. Reinkemeier, and W. Nebel. Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS. In Specification, Verification and Design Languages, 2008. FDL 2008. Forum on, pages 19--24, Sept 2008.","journal-title":"In Specification, Verification and Design Languages"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15234-4_18"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.52"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of Design & Verification Conference and Exibition (DVCon'07)","author":"Huss S.","year":"2007","unstructured":"S. Huss and S. Klaus . Assessment of Real-Time Operating Systems Characteristics in Embedded Systems Design by SystemC models of RTOS services . In Proceedings of Design & Verification Conference and Exibition (DVCon'07) , 2007 . S. Huss and S. Klaus. Assessment of Real-Time Operating Systems Characteristics in Embedded Systems Design by SystemC models of RTOS services. In Proceedings of Design & Verification Conference and Exibition (DVCon'07), 2007."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.21"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/968880.969264"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1097871.1098198"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763046"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403408"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1131481.1131610"},{"key":"e_1_2_1_16_1","series-title":"IFIP Advances in Information and Communication Technology","volume-title":"Distributed, Parallel and Biologically Inspired Systems","author":"Zabel H.","year":"2008","unstructured":"H. Zabel and W. M\u00fcller . An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration . In Distributed, Parallel and Biologically Inspired Systems , volume 271 of IFIP Advances in Information and Communication Technology . Springer , 2008 . H. Zabel and W. M\u00fcller. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. In Distributed, Parallel and Biologically Inspired Systems, volume 271 of IFIP Advances in Information and Communication Technology. Springer, 2008."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-9436-1_9"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2724942.2724943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T18:23:09Z","timestamp":1672424589000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2724942.2724943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,22]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,1,22]]}},"alternative-id":["10.1145\/2724942.2724943"],"URL":"https:\/\/doi.org\/10.1145\/2724942.2724943","relation":{},"ISSN":["1551-3688"],"issn-type":[{"value":"1551-3688","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,22]]},"assertion":[{"value":"2015-01-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}