{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:15Z","timestamp":1750306695971,"version":"3.41.0"},"reference-count":41,"publisher":"Association for Computing Machinery (ACM)","issue":"4s","license":[{"start":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T00:00:00Z","timestamp":1396310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bio-Mimetic Robot Research Center"},{"DOI":"10.13039\/501100003626","name":"Defense Acquisition Program Administration","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003626","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002994","name":"Ministry of Knowledge Economy","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002994","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003662","name":"Korea Evaluation Institute of Industrial Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003662","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004085","name":"Ministry of Education, Science and Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004085","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003621","name":"Ministry of Science, ICT and Future Planning","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003621","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:p>As the number of processors in a chip increases and more functions are integrated, the system status will change dynamically due to various factors such as the workload variation, QoS requirement, and unexpected component failure. A typical method to deal with the dynamics of the system is to decide the mapping decision at runtime, based on the local information of the system status. It is very challenging to guarantee any real-time performance of a certain application in such a dynamically varying system. To solve this problem, we propose a hybrid specification of dataflow and FSM models to specify the dynamic behavior of a system distinguishing inter- and intra-application dynamism. At the top level, each application is specified by a dataflow task and the dynamic behavior is modeled as a control task that supervises the execution of applications. Inside a dataflow task, we specify the dynamic behavior using a similar way as FSM-based SADF in which an application is specified by a synchronous dataflow graph for each mode of operation. It enables us to perform compile-time scheduling of each graph to maximize the throughput varying the number of allocated processors, and store the scheduling information. When a change in system state is detected at runtime, the number of allocated processors to the active tasks is determined dynamically utilizing the stored scheduling information of those tasks in order to meet the real-time requirements. The proposed technique is implemented in the HOPES design environment. Through preliminary experiments with a simple smartphone example, we show the viability of the proposed methodology.<\/jats:p>","DOI":"10.1145\/2584658","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T12:32:32Z","timestamp":1398774752000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Dynamic Behavior Specification and Dynamic Mapping for Real-Time Embedded Systems"],"prefix":"10.1145","volume":"13","author":[{"given":"Hanwoong","family":"Jung","sequence":"first","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chanhee","family":"Lee","sequence":"additional","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin-Haeng","family":"Kang","sequence":"additional","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sungchan","family":"Kim","sequence":"additional","affiliation":[{"name":"Chonbuk National University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunok","family":"Oh","sequence":"additional","affiliation":[{"name":"Hanyang University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soonhoi","family":"Ha","sequence":"additional","affiliation":[{"name":"Seoul National University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391664"},{"key":"e_1_2_1_2_1","unstructured":"Arm Ltd. 2014. RealView armulator. http:\/\/www.arm.com\/products\/tools\/software-tools\/rvds\/index.php.  Arm Ltd. 2014. RealView armulator. http:\/\/www.arm.com\/products\/tools\/software-tools\/rvds\/index.php."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.950795"},{"key":"e_1_2_1_5_1","first-page":"155","article-title":"Ptolemy: A framework for simulating and prototyping heterogeneous systems","volume":"4","author":"Buck Joseph T.","year":"1994","unstructured":"Joseph T. Buck , Soonhoi Ha , Edward A. Lee , and David G. Messerschmitt . 1994 . Ptolemy: A framework for simulating and prototyping heterogeneous systems . Int. J. Comput. Simul. 4 , 155 -- 182 . Joseph T. Buck, Soonhoi Ha, Edward A. Lee, and David G. Messerschmitt. 1994. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Int. J. Comput. Simul. 4, 155--182.","journal-title":"Int. J. Comput. Simul."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2007.26"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.2003301"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the Design Automation and Test in Europe Conference and Exhibition (DATE'11)","author":"Chou Chen-Ling","year":"2011","unstructured":"Chen-Ling Chou and Radu Marculescu . 2011 . FARM: Fault-aware resource management in noc-based multiprocessor platforms . In Proceedings of the Design Automation and Test in Europe Conference and Exhibition (DATE'11) . 1--6. Chen-Ling Chou and Radu Marculescu. 2011. FARM: Fault-aware resource management in noc-based multiprocessor platforms. In Proceedings of the Design Automation and Test in Europe Conference and Exhibition (DATE'11). 1--6."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2012.6271791"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337511"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"key":"e_1_2_1_12_1","volume-title":"Noxim: Network-on-chip simulator","author":"Fazzino Fabrizio","year":"2008","unstructured":"Fabrizio Fazzino , Maurizio Palesi , and David Patti . 2008 . Noxim: Network-on-chip simulator . http:\/\/sourceforge.net\/projects\/noxim. Fabrizio Fazzino, Maurizio Palesi, and David Patti. 2008. Noxim: Network-on-chip simulator. http:\/\/sourceforge.net\/projects\/noxim."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017778"},{"volume-title":"Handbook of Signal Processing Systems","author":"Geilen Marc","key":"e_1_2_1_14_1","unstructured":"Marc Geilen and Twan Basten . 2010. Kahn process networks and a reactive extension . In Handbook of Signal Processing Systems , Springer , 967--1006. Marc Geilen and Twan Basten. 2010. Kahn process networks and a reactive extension. In Handbook of Signal Processing Systems, Springer, 967--1006."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1255456.1255461"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1155\/2007\/47580"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE'04)","author":"Hu Jingcao","year":"2004","unstructured":"Jingcao Hu , and Radu Marculescu . 2004 . Energy-aware communication and task scheduling for network-on-chip architectures under real-time constraints . In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE'04) . 234--239. Jingcao Hu, and Radu Marculescu. 2004. Energy-aware communication and task scheduling for network-on-chip architectures under real-time constraints. In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE'04). 234--239."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763189"},{"key":"e_1_2_1_21_1","unstructured":"J. E. D. E. 2011. Failure mechanisms and models for semiconductor devices. http:\/\/www.jedec.org\/standards-documents\/docs\/jep-122e.  J. E. D. E. 2011. Failure mechanisms and models for semiconductor devices. http:\/\/www.jedec.org\/standards-documents\/docs\/jep-122e."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the IFIP Congress. 471--475","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The semantics of a simple language for parallel programming . In Proceedings of the IFIP Congress. 471--475 . Gilles Kahn. 1974. The semantics of a simple language for parallel programming. In Proceedings of the IFIP Congress. 471--475."},{"key":"e_1_2_1_23_1","volume-title":"Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia'03)","author":"Kim Dohyung","year":"2003","unstructured":"Dohyung Kim , Minyoung Kim , and Soonhoi Ha . 2003 . A case study of system level specification and software synthesis of multi-mode multimedia terminal . In Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia'03) . Dohyung Kim, Minyoung Kim, and Soonhoi Ha. 2003. A case study of system level specification and software synthesis of multi-mode multimedia terminal. In Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia'03)."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1367045.1367048"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879014"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-013-0753-3"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1870973"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039390"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.33"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2380403.2380422"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1899721.1899923"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2390191.2390200"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/92.931229"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.31"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2011.6045491"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695924"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2007.53"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581226"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2010.0030"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024815"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.39"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2584658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2584658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:01:43Z","timestamp":1750230103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2584658"}},"subtitle":["HOPES Approach"],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":41,"journal-issue":{"issue":"4s","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["10.1145\/2584658"],"URL":"https:\/\/doi.org\/10.1145\/2584658","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2014,4]]},"assertion":[{"value":"2013-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}