{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T06:19:51Z","timestamp":1762928391428,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2015,10,20]],"date-time":"2015-10-20T00:00:00Z","timestamp":1445299200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC Discovery","award":["418396- 2012"],"award-info":[{"award-number":["418396- 2012"]}]},{"name":"Canada NSERC Strategic Project","award":["463324-2014 and 430575-2012"],"award-info":[{"award-number":["463324-2014 and 430575-2012"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2015,12,8]]},"abstract":"<jats:p>\n            The goal of\n            <jats:italic>runtime monitoring<\/jats:italic>\n            is to inspect the well-being of a system by employing a\n            <jats:italic>monitor process<\/jats:italic>\n            that reads the state of the system during execution and evaluates a set of properties expressed in some specification language. The main challenge in runtime monitoring is dealing with the costs imposed in terms of resource utilization. In the context of cyber-physical systems, it is crucial for a software monitoring solution to be\n            <jats:italic>time predictable<\/jats:italic>\n            to improve scheduling, as well as support composition of monitoring solutions with an overall predictable behavior. Moreover, a small memory footprint is often required in components of cyber-physical systems, especially in deeply embedded systems. In this article, we propose a novel control-theoretic software monitoring solution for coordinating time predictability and memory utilization in runtime monitoring of systems that interact with the physical world. The controllers attempt to reduce monitoring jitter and maximize memory utilization while simultaneously ensuring the soundness of evaluation of properties. For systems where multiple properties are required to be monitored simultaneously, we construct a buffer sharing mechanism in which controllers dynamically share the memory space to negate the effect of bursts of environment actions, thus reducing jitter due to transient high loads.\n          <\/jats:p>\n          <jats:p>To validate our design choices, we present three case studies: (1) a Bluetooth mobile payment system, which shows a sporadic rate of events during peak hours; (2) a laser beam stabilizer for target tracking, and (3) a monitoring system for air\/fuel ratio in a car engine exhaust and the CAM inlet position in the engine\u2019s cylinders. The experimental results of the case studies demonstrate up to 40% improvement in time predictability of the monitoring solution when compared to a basic event-triggered approach. Moreover, memory utilization reaches an average of 90% when using our dynamic buffer resizing mechanism.<\/jats:p>","DOI":"10.1145\/2744196","type":"journal-article","created":{"date-parts":[[2015,10,24]],"date-time":"2015-10-24T18:27:12Z","timestamp":1445711232000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints"],"prefix":"10.1145","volume":"14","author":[{"given":"Ramy","family":"Medhat","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[{"name":"Department of Computing and Software, McMaster University, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Kumar","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Waterloo, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,20]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394793"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2021296.2021308"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0182-0"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297105.1297069"},{"key":"e_1_2_1_5_1","doi-asserted-by":"crossref","unstructured":"S. Colin and L. Mariani. 2005. Run-Time Verification. LCNS Vol. 3472. Springer-Verlag Chap. 18.","DOI":"10.1007\/11498490_24"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083249"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_36"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","unstructured":"D. Driankov H. Hellendoorn and W. Reinfrank. 1993. An Introduction to Fuzzy Control. Springer-Verlag New York Inc. New York NY.","DOI":"10.5555\/153356"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.12"},{"key":"e_1_2_1_10_1","volume-title":"Temperature control based on traditional PID versus fuzzy controllers. Nortel Networks Control Software Design Documentation","author":"Galan P.","year":"2003","unstructured":"P. Galan. 2003. Temperature control based on traditional PID versus fuzzy controllers. Nortel Networks Control Software Design Documentation (2003)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755743.1755745"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872506"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024412"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0184-4"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647368.723750"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"S. Navabpour B. Bonakdarpour and S. Fischmeister. 2012. Path-aware time-triggered runtime verification. In Runtime Verification (RV). 199--213.","DOI":"10.1007\/978-3-642-35632-2_21"},{"volume-title":"Proceedings of the 15th International Conference on Runtime Verification (RV). 153--168","author":"Navabpour S.","key":"e_1_2_1_18_1","unstructured":"S. Navabpour, B. Bonakdarpour, and S. Fischmeister. 2015. Time-triggered runtime verification of component-based multi-core systems. In Proceedings of the 15th International Conference on Runtime Verification (RV). 153--168."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_38"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1021\/i200032a041"},{"volume-title":"Fuzzy Logic with Engineering Applications","author":"Ross T. J.","key":"e_1_2_1_21_1","unstructured":"T. J. Ross. 2009. Fuzzy Logic with Engineering Applications. Wiley."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_15"},{"key":"e_1_2_1_23_1","article-title":"Optimum settings for automatic controllers","volume":"64","author":"Ziegler J. G.","year":"1942","unstructured":"J. G. Ziegler and N. B. Nichols. 1942. Optimum settings for automatic controllers. Transactions of the ASME 64, 11 (1942).","journal-title":"Transactions of the ASME"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2744196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:16Z","timestamp":1750223236000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,20]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12,8]]}},"alternative-id":["10.1145\/2744196"],"URL":"https:\/\/doi.org\/10.1145\/2744196","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2015,10,20]]},"assertion":[{"value":"2014-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-03-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-10-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}