{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T16:39:51Z","timestamp":1784738391741,"version":"3.55.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["5005-67322"],"award-info":[{"award-number":["5005-67322"]}],"id":[{"id":"10.13039\/501100001711","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":[[2012,12]]},"abstract":"<jats:p>Cyber-Physical Systems (CPS) require a high degree of reliability and robustness. Hence it is important to assert their correctness with respect to extra-functional properties, like power consumption, temperature, etc. In turn the physical quantities may be exploited for assessing system implementations. This article develops a methodology for utilizing measurements of physical quantities for testing the conformance of a running CPS with respect to a formal description of its required behavior allowing to uncover defects. We present foundations and implementations of this approach and demonstrate its usefulness by conformance testing power measurements of a wireless sensor node with a formal model of its power consumption.<\/jats:p>","DOI":"10.1145\/2362336.2362351","type":"journal-article","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T15:42:48Z","timestamp":1357918968000},"page":"1-23","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Conformance testing for cyber-physical systems"],"prefix":"10.1145","volume":"11","author":[{"given":"Matthias","family":"Woehrle","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kai","family":"Lampka","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11561163_8"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the Lecture Notes on Concurrency and Petri Nets. Lecture Notes in Computer Science","volume":"3098","author":"Bengtsson J."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450089"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 9th International Conference on Computer Aided Verification (CAV '97)","author":"Henzinger T. A."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Hessel A. Larsen K. G. Mikucionis M. Nielsen B. Pettersson P. and \n      \n      \n      Skou A\n      \n  \n  . \n  2008\n  . Testing real-time systems using \n  UPPAAL. In Formal Methods and Testing Lecture Notes in Computer Science vol. \n  4949\n  . 77--117.   Hessel A. Larsen K. G. Mikucionis M. Nielsen B. Pettersson P. and Skou A. 2008. Testing real-time systems using UPPAAL. In Formal Methods and Testing Lecture Notes in Computer Science vol. 4949. 77--117.","DOI":"10.1007\/978-3-540-78917-8_3"},{"key":"e_1_2_1_8_1","unstructured":"Kim G. Larsen Marius Mikucionis B. N. 2009. Uppaal Tron User Manual. CISS BRICS Aalborg University Aalborg Denmark.  Kim G. Larsen Marius Mikucionis B. N. 2009. Uppaal Tron User Manual. CISS BRICS Aalborg University Aalborg Denmark."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_6"},{"key":"e_1_2_1_10_1","volume-title":"Adjunct Proceedings of the 6th European Workshop on Sensor Networks (EWSN'09)","author":"Lim R."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025255"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031518"},{"key":"e_1_2_1_13_1","unstructured":"Strehl K. 2000. Symbolic methods applied to formal verification and synthesis in embedded systems design. Ph.D. thesis ETH Zurich.  Strehl K. 2000. Symbolic methods applied to formal verification and synthesis in embedded systems design. Ph.D. thesis ETH Zurich."},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of IFIP TC6\/WG6.1 6th Interantional Workshop on Protocol Test Systems VI. 257--276","author":"Tretmans J.","year":"1994"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_5"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04368-0_21"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362351","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2362336.2362351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:16Z","timestamp":1750277656000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2362336.2362351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["10.1145\/2362336.2362351"],"URL":"https:\/\/doi.org\/10.1145\/2362336.2362351","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,12]]},"assertion":[{"value":"2010-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}