{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:22Z","timestamp":1750306282232,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","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"}],"funder":[{"name":"China Scholarship Council, German BMBF project ECU","award":["13N11936"],"award-info":[{"award-number":["13N11936"]}]},{"name":"China SYSU \u201cthe Fundamental Research Funds for the Central Universities\u201d","award":["15lgjc32"],"award-info":[{"award-number":["15lgjc32"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2016,7,21]]},"abstract":"<jats:p>\n            Runtime monitoring is of great importance as a safeguard to guarantee the correctness of system runtime behaviors. Two state-of-the-art methods, dynamic counters and\n            <jats:italic>l<\/jats:italic>\n            -repetitive function, were recently developed to tackle the runtime monitoring for real-time systems. While both are reported to be efficient in monitoring arbitrary events, the monitoring performance between them has not yet been evaluated. This article evaluates both methods in depth, to identify their strengths and weaknesses. New methods are proposed to efficiently monitor the many-to-one connections that are abstracted as AND and OR components on multiple inputs. Representative scenarios are used as our case studies to quantitatively demonstrate the evaluations. Both methods are implemented in hardware F\n            <jats:sc>pga<\/jats:sc>\n            . The timing overhead and resource usages of implementing the two methods are evaluated.\n          <\/jats:p>","DOI":"10.1145\/2890503","type":"journal-article","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T21:47:58Z","timestamp":1464126478000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams"],"prefix":"10.1145","volume":"15","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0928-4460","authenticated-orcid":false,"given":"Biao","family":"Hu","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Huang","sequence":"additional","affiliation":[{"name":"Sun Yat-Sen University and Technische Universit\u00e4t M\u00fcnchen, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Chen","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long","family":"Cheng","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alois","family":"Knoll","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Garching, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,23]]},"reference":[{"volume-title":"FM 2011: Formal Methods. Springer, 88--102","author":"Bonakdarpour B.","key":"e_1_2_1_1_1","unstructured":"B. Bonakdarpour , S. Navabpour , and S. Fischmeister . 2011. Sampling-based runtime verification . In FM 2011: Formal Methods. Springer, 88--102 . B. Bonakdarpour, S. Navabpour, and S. Fischmeister. 2011. Sampling-based runtime verification. In FM 2011: Formal Methods. Springer, 88--102."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0182-0"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289816.1289860"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"R. Henia A. Hamann M. Jersak R. Racu K. Richter and R. Ernst. 2005. System level performance analysis - the SymTA\/S approach. In Computers and Digital Techniques. IEEE 148--166.  R. Henia A. Hamann M. Jersak R. Racu K. Richter and R. Ernst. 2005. System level performance analysis - the SymTA\/S approach. In Computers and Digital Techniques. IEEE 148--166.","DOI":"10.1049\/ip-cdt:20045088"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228436"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775951"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039412"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629351"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9055-1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1755809"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744196"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843716"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.17"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.80"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","unstructured":"M. Neukirchner S. Quinton R. Ernst and K. Lampka. 2013b. Multi-mode monitoring for mixed-criticality real-time systems. In Hardware\/Software Codesign and System Synthesis (CODES-ISSS\u201913). ACM 1--10.   M. Neukirchner S. Quinton R. Ernst and K. Lampka. 2013b. Multi-mode monitoring for mixed-criticality real-time systems. In Hardware\/Software Codesign and System Synthesis (CODES-ISSS\u201913). ACM 1--10.","DOI":"10.1109\/CODES-ISSS.2013.6659021"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-008-9015-1"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2013.6531094"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193230"},{"volume-title":"Real-Time Systems Symposium (RTSS\u201903)","author":"Richter K.","key":"e_1_2_1_20_1","unstructured":"K. Richter , R. Racu , and R. Ernst . 2003b. Scheduling analysis integration for heterogeneous multiprocessor SoC . In Real-Time Systems Symposium (RTSS\u201903) . IEEE, 236--245. K. Richter, R. Racu, and R. Ernst. 2003b. Scheduling analysis integration for heterogeneous multiprocessor SoC. In Real-Time Systems Symposium (RTSS\u201903). IEEE, 236--245."},{"volume-title":"International Symposium on Circuits and Systems. IEEE, 101--104","author":"Thiele L.","key":"e_1_2_1_21_1","unstructured":"L. Thiele , S. Chakraborty , and M. Naedele . 2000. Real-time calculus for scheduling hard real-time systems . In International Symposium on Circuits and Systems. IEEE, 101--104 . L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time calculus for scheduling hard real-time systems. In International Symposium on Circuits and Systems. IEEE, 101--104."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088593"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2146417.2146418"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2890503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2890503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:55Z","timestamp":1750221535000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2890503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,23]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7,21]]}},"alternative-id":["10.1145\/2890503"],"URL":"https:\/\/doi.org\/10.1145\/2890503","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2016,5,23]]},"assertion":[{"value":"2015-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2016-05-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}