{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T16:21:16Z","timestamp":1783009276586,"version":"3.54.5"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T00:00:00Z","timestamp":1494460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"crossref","award":["2016M591162"],"award-info":[{"award-number":["2016M591162"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1239498"],"award-info":[{"award-number":["CNS-1239498"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["51605242"],"award-info":[{"award-number":["51605242"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2017,11,30]]},"abstract":"<jats:p>\n            In Cyber-Physical Systems (CPS), cyber and physical components must work seamlessly in tandem. Runtime verification of CPS is essential yet very difficult, due to deployment environments that are expensive, dangerous, or simply impossible to use for verification tasks. A key enabling factor of runtime verification of CPS is the ability to integrate real-time simulations of portions of the CPS into live running systems. We propose a verification approach that allows CPS application developers to opportunistically leverage real-time simulation to support runtime verification. Our approach, termed B\n            <jats:sc>race<\/jats:sc>\n            B\n            <jats:sc>ind<\/jats:sc>\n            , allows selecting, at runtime, between actual physical processes or simulations of them to support a running CPS application. To build B\n            <jats:sc>race<\/jats:sc>\n            B\n            <jats:sc>ind<\/jats:sc>\n            , we create a real-time simulation architecture to generate and manage multiple real-time simulation environments based on existing simulation models in a manner that ensures sufficient accuracy for verifying a CPS application. Specifically, B\n            <jats:sc>race<\/jats:sc>\n            B\n            <jats:sc>ind<\/jats:sc>\n            aims to both improve simulation speed and minimize latency, thereby making it feasible to integrate simulations of physical processes into the running CPS application. B\n            <jats:sc>race<\/jats:sc>\n            B\n            <jats:sc>ind<\/jats:sc>\n            then integrates this real-time simulation architecture with an existing runtime verification approach that has low computational overhead and high accuracy. This integration uses an aspect-oriented adapter architecture that connects the variables in the cyber portion of the CPS application with either sensors and actuators in the physical world or the automatically generated real-time simulation. Our experimental results show that, with a negligible performance penalty, our approach is both efficient and effective in detecting program errors that are otherwise only detectable in a physical deployment.\n          <\/jats:p>","DOI":"10.1145\/3063382","type":"journal-article","created":{"date-parts":[[2017,5,11]],"date-time":"2017-05-11T12:51:05Z","timestamp":1494507065000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems"],"prefix":"10.1145","volume":"16","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2572-2355","authenticated-orcid":false,"given":"Xi","family":"Zheng","sequence":"first","affiliation":[{"name":"Deakin University, VIC, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christine","family":"Julien","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hongxu","family":"Chen","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rodion","family":"Podorozhny","sequence":"additional","affiliation":[{"name":"Texas State University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Franck","family":"Cassez","sequence":"additional","affiliation":[{"name":"Macquarie University, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,5,11]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2012.01.003"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp11063115"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1515\/aee-2016-0034"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of Summer Computer Simulation Conference (SCSC\u201907)","author":"Bednar R."},{"issue":"1","key":"e_1_2_1_5_1","first-page":"25","article-title":"The what, where, and why of real-time simulation","volume":"1","author":"B\u00e9langer J.","year":"2010","journal-title":"Planet RT"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of Electric Vehicle Symposium (EVS-25\u201910)","author":"Chen H. X.","year":"2010"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_2_1_9_1","unstructured":"Robocup Federation. Robocup Normal League. Retrieved at http:\/\/www.robocup.org\/leagues\/5.  Robocup Federation. Robocup Normal League. Retrieved at http:\/\/www.robocup.org\/leagues\/5."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521898"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the Real-Time Linux Workshop.","author":"Gholkar A."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722188"},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the International Symposium on Parameterized and Exact Computation (IPEC\u201905)","author":"M. Harakawa","year":"2005"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/225058.225162"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-005-3998-9"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of Comsware. IEEE, 791--798","author":"Hunkeler U."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBAC-PAD.2010.33"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3934\/mbe.2014.11.1411"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2014.05.002"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.35"},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of International Symposium on Computer Aided Control System Design. IEEE, 115--119","author":"Kwon W. H.","year":"1999"},{"key":"e_1_2_1_24_1","unstructured":"LabVIEW RealTime. 2016. LabVIEW RealTime. Retrieved from http:\/\/www.ni.com\/labview\/realtime\/. (2016).  LabVIEW RealTime. 2016. LabVIEW RealTime. Retrieved from http:\/\/www.ni.com\/labview\/realtime\/. (2016)."},{"key":"e_1_2_1_25_1","volume-title":"LabView User Manual.","year":"2016"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019690.28073.04"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESLsyn.2011.5952295"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/26.103043"},{"key":"e_1_2_1_29_1","unstructured":"Modelisar 2016. Modelisar. Retrived at http:\/\/www.modelisar.org. (2016).  Modelisar 2016. Modelisar. Retrived at http:\/\/www.modelisar.org. (2016)."},{"key":"e_1_2_1_30_1","unstructured":"PXI 2016. What\u2019s PXI. Retrived at http:\/\/www.ni.com\/pxi\/whatis\/. (2016).  PXI 2016. What\u2019s PXI. Retrived at http:\/\/www.ni.com\/pxi\/whatis\/. (2016)."},{"key":"e_1_2_1_31_1","unstructured":"PXIPrice. 2016. PXI Sample Price. Retrived at http:\/\/sine.ni.com\/nips\/cds\/view\/p\/lang\/en\/nid\/210825. (2016).  PXIPrice. 2016. PXI Sample Price. Retrived at http:\/\/sine.ni.com\/nips\/cds\/view\/p\/lang\/en\/nid\/210825. (2016)."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the 32nd Conference on Winter Simulation. Society for Computer Simulation International, 232--238","author":"Rabbath Camille Alain","year":"2000"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/PICA.1995.515182"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185505.2185519"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502541"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASS.2015.15"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593902.2593907"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3063382","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3063382","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3063382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:36:33Z","timestamp":1750217793000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3063382"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,11]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2017,11,30]]}},"alternative-id":["10.1145\/3063382"],"URL":"https:\/\/doi.org\/10.1145\/3063382","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,11]]},"assertion":[{"value":"2016-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}