{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:48:48Z","timestamp":1750308528642,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,23]],"date-time":"2016-05-23T00:00:00Z","timestamp":1463961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,5,23]]},"DOI":"10.1145\/2906363.2906368","type":"proceedings-article","created":{"date-parts":[[2016,5,13]],"date-time":"2016-05-13T18:21:10Z","timestamp":1463163670000},"page":"50-59","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Introducing MoC Drivers for the Integration of Sensor-Actuator Behaviors in Model-Based Design Flows of Embedded Systems"],"prefix":"10.1145","author":[{"given":"Omair","family":"Rafique","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Kaiserslautern, Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,5,23]]},"reference":[{"key":"e_1_3_2_1_2_1","first-page":"32","volume-title":"Formal Methods and Models for Codesign (MEMOCODE)","author":"Bai Y.","year":"2014","unstructured":"Y. Bai , K. Schneider , N. Bhardwaj , B. Katti , and T. Shazadi . From clock-driven to data-driven models . In Formal Methods and Models for Codesign (MEMOCODE) , pages 32 -- 41 , Lausanne, Switzerland , 2014 . IEEE Computer Society . Y. Bai, K. Schneider, N. Bhardwaj, B. Katti, and T. Shazadi. From clock-driven to data-driven models. In Formal Methods and Models for Codesign (MEMOCODE), pages 32--41, Lausanne, Switzerland, 2014. IEEE Computer Society."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1965724.1965743"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","volume-title":"Concurrency Theory (CONCUR)","author":"Benveniste A.","year":"1999","unstructured":"A. Benveniste , B. Caillaud , and P. Le Guernic . From synchrony to asynchrony . In J. Baeten and S. Mauw, editors, Concurrency Theory (CONCUR) , volume 1664 of LNCS , pages 162 -- 177 , Eindhoven, The Netherlands , 1999 . Springer . A. Benveniste, B. Caillaud, and P. Le Guernic. From synchrony to asynchrony. In J. Baeten and S. Mauw, editors, Concurrency Theory (CONCUR), volume 1664 of LNCS, pages 162--177, Eindhoven, The Netherlands, 1999. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11554-013-0326-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1556444.1556449"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879020"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/952532.952668"},{"key":"e_1_3_2_1_9_1","volume-title":"EECS Department","author":"Eker J.","year":"2003","unstructured":"J. Eker and J. Janneck . CAL language report. ERL Technical Memo UCB\/ERL M03\/48 , EECS Department , University of California at Berkeley , Berkeley, California, USA , December 2003 . J. Eker and J. Janneck. CAL language report. ERL Technical Memo UCB\/ERL M03\/48, EECS Department, University of California at Berkeley, Berkeley, California, USA, December 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_11_1","first-page":"3255","volume-title":"International Conference on Acoustics, Speech and Signal Processing (ICASSP)","author":"Engels M.","year":"1995","unstructured":"M. Engels , G. Bilsen , R. Lauwereins , and J. Peperstraete . Cyclo-static dataflow . In International Conference on Acoustics, Speech and Signal Processing (ICASSP) , pages 3255 -- 3258 , Detroit, Michigan, USA , 1995 . IEEE Computer Society. M. Engels, G. Bilsen, R. Lauwereins, and J. Peperstraete. Cyclo-static dataflow. In International Conference on Acoustics, Speech and Signal Processing (ICASSP), pages 3255--3258, Detroit, Michigan, USA, 1995. IEEE Computer Society."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391616"},{"key":"e_1_3_2_1_13_1","first-page":"471","volume-title":"Information Processing","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The semantics of a simple language for parallel programming. In J. Rosenfeld, editor , Information Processing , pages 471 -- 475 , Stockholm, Sweden , 1974 . North-Holland. G. Kahn. The semantics of a simple language for parallel programming. In J. Rosenfeld, editor, Information Processing, pages 471--475, Stockholm, Sweden, 1974. North-Holland."},{"key":"e_1_3_2_1_14_1","first-page":"993","volume-title":"Information Processing","author":"Kahn G.","year":"1977","unstructured":"G. Kahn and D. MacQueen . Coroutines and networks of parallel processes. In B. Gilchrist, editor , Information Processing , pages 993 -- 998 . North-Holland , 1977 . G. Kahn and D. MacQueen. Coroutines and networks of parallel processes. In B. Gilchrist, editor, Information Processing, pages 993--998. North-Holland, 1977."},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Compilers, Architecture and Synthesis for Embedded Systems (CASES)","author":"Kim B.","year":"2013","unstructured":"B. Kim , L. Phan , O. Sokolsky , and I. Lee . Platform-dependent code generation for embedded real-time software . In Compilers, Architecture and Synthesis for Embedded Systems (CASES) , pages 1 -- 10 , Montr\u00e9al, Qu\u00e9bec, Canada , 2013 . IEEE Computer Society . B. Kim, L. Phan, O. Sokolsky, and I. Lee. Platform-dependent code generation for embedded real-time software. In Compilers, Architecture and Synthesis for Embedded Systems (CASES), pages 1--10, Montr\u00e9al, Qu\u00e9bec, Canada, 2013. IEEE Computer Society."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1506409.1506426"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"e_1_3_2_1_20_1","first-page":"204","volume-title":"Asilomar Conference on Signals, Systems and Computers (ACSSC)","author":"Parks T.","year":"1995","unstructured":"T. Parks , J. Pino , and E. Lee . A comparison of synchronous and cyclo-static dataflow . In Asilomar Conference on Signals, Systems and Computers (ACSSC) , pages 204 -- 210 , Washington, District of Columbia, USA , 1995 . IEEE Computer Society. T. Parks, J. Pino, and E. Lee. A comparison of synchronous and cyclo-static dataflow. In Asilomar Conference on Signals, Systems and Computers (ACSSC), pages 204--210, Washington, District of Columbia, USA, 1995. IEEE Computer Society."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463596.2486154"},{"key":"e_1_3_2_1_23_1","volume-title":"Real-Time Computing Systems and Applications (RTCSA)","author":"Rafique O.","year":"2013","unstructured":"O. Rafique , M. Gesell , and K. Schneider . Targeting different abstraction layers by model-based design methods for embedded systems: A case study . In Real-Time Computing Systems and Applications (RTCSA) , Taipei, Taiwan , 2013 . IEEE Computer Society . O. Rafique, M. Gesell, and K. Schneider. Targeting different abstraction layers by model-based design methods for embedded systems: A case study. In Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, 2013. IEEE Computer Society."},{"key":"e_1_3_2_1_25_1","first-page":"340","volume-title":"Automation and Test in Europe (DATE)","author":"Stefanov T.","year":"2004","unstructured":"T. Stefanov , C. Zissulescu , A. Turjan , B. Kienhuis , and E. Deprettere . System design using Kahn process networks: The Compaan\/Laura approach. In Design , Automation and Test in Europe (DATE) , pages 340 -- 345 , Paris, France , 2004 . IEEE Computer Society. T. Stefanov, C. Zissulescu, A. Turjan, B. Kienhuis, and E. Deprettere. System design using Kahn process networks: The Compaan\/Laura approach. In Design, Automation and Test in Europe (DATE), pages 340--345, Paris, France, 2004. IEEE Computer Society."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.006"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31205-2_14"},{"key":"e_1_3_2_1_28_1","first-page":"319","volume-title":"Parallel and Distributed Processing (PDP)","author":"Wauters P.","year":"1996","unstructured":"P. Wauters , M. Engels , R. Lauwereins , and J. Peperstraete . Cyclo-dynamic dataflow . In Parallel and Distributed Processing (PDP) , pages 319 -- 326 , Washington, District of Columbia, USA, 1996 . IEEE Computer Society . P. Wauters, M. Engels, R. Lauwereins, and J. Peperstraete. Cyclo-dynamic dataflow. In Parallel and Distributed Processing (PDP), pages 319--326, Washington, District of Columbia, USA, 1996. IEEE Computer Society."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500886"}],"event":{"name":"SCOPES '16: 19th International Workshop on Software and Compilers for Embedded Systems","sponsor":["EDAA European Design Automation Association","SIGBED"],"location":"Sankt Goar Germany","acronym":"SCOPES '16"},"container-title":["Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2906363.2906368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:55:50Z","timestamp":1750272950000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2906363.2906368"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,23]]},"references-count":27,"alternative-id":["10.1145\/2906363.2906368","10.1145\/2906363"],"URL":"https:\/\/doi.org\/10.1145\/2906363.2906368","relation":{},"subject":[],"published":{"date-parts":[[2016,5,23]]},"assertion":[{"value":"2016-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}