{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T22:53:18Z","timestamp":1777503198283,"version":"3.51.4"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T00:00:00Z","timestamp":1528848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Siemens Corporate Technology"},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1528799"],"award-info":[{"award-number":["1528799"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2018,7,31]]},"abstract":"<jats:p>\n            An emerging trend in Internet of Things (IoT) applications is to move the computation (cyber) closer to the source of the data (physical). This paradigm is often referred to as\n            <jats:italic>edge computing<\/jats:italic>\n            . If edge resources are pooled together, they can be used as decentralized shared resources for IoT applications, providing increased capacity to scale up computations and minimize end-to-end latency. Managing applications on these edge resources is hard, however, due to their remote, distributed, and (possibly) dynamic nature, which necessitates autonomous management mechanisms that facilitate application deployment, failure avoidance, failure management, and incremental updates. To address these needs, we present CHARIOT, which is orchestration middleware capable of autonomously managing IoT systems consisting of edge resources and applications.\n          <\/jats:p>\n          <jats:p>CHARIOT implements a three-layer architecture. The topmost layer comprises a system description language, the middle layer comprises a persistent data storage layer and the corresponding schema to store system information, and the bottom layer comprises a management engine that uses information stored persistently to formulate constraints that encode system properties and requirements, thereby enabling the use of satisfiability modulo theory solvers to compute optimal system (re)configurations dynamically at runtime. This article describes the structure and functionality of CHARIOT and evaluates its efficacy as the basis for a smart parking system case study that uses sensors to manage parking spaces.<\/jats:p>","DOI":"10.1145\/3134844","type":"journal-article","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T14:18:30Z","timestamp":1529072310000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["CHARIOT"],"prefix":"10.1145","volume":"2","author":[{"given":"Subhav","family":"Pradhan","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shweta","family":"Khare","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saideep","family":"Nannapaneni","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniruddha","family":"Gokhale","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sankaran","family":"Mahadevan","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas C.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Lehofer","sequence":"additional","affiliation":[{"name":"Siemens Corporate Technology, Nashville TN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,6,13]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069084"},{"key":"e_1_2_1_2_1","unstructured":"Apache Software Foundation. Apache Zookeeper. Retrieved 2017 from https:\/\/zookeeper.apache.org\/.  Apache Software Foundation. Apache Zookeeper. Retrieved 2017 from https:\/\/zookeeper.apache.org\/."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-011-9201-5"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7355581"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342509.2342513"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.12.038"},{"key":"e_1_2_1_7_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo Mendon\u00e7a"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2011.5747559"},{"key":"e_1_2_1_9_1","unstructured":"Eclipse Foundation. 2017. Xtext. Retrieved 2017 from https:\/\/eclipse.org\/Xtext\/.  Eclipse Foundation. 2017. Xtext. Retrieved 2017 from https:\/\/eclipse.org\/Xtext\/."},{"key":"e_1_2_1_10_1","volume-title":"Computer Aided Verification","author":"Hang Christine"},{"key":"e_1_2_1_11_1","unstructured":"George T. Heineman and William T. Councill (Eds.). 2001. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co. Inc. Boston MA.   George T. Heineman and William T. Councill (Eds.). 2001. Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co. Inc. Boston MA."},{"key":"e_1_2_1_12_1","volume-title":"ZeroMQ: Messaging for Many Applications. O\u2019Reilly Media","author":"Hintjens Pieter"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945570"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC'10)","author":"Hunt Patrick","year":"2010"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-010-0086-1"},{"key":"e_1_2_1_16_1","first-page":"18","article-title":"Paxos made simple","volume":"32","author":"Lamport Leslie","year":"2001","journal-title":"ACM Sigact News"},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the 38th IEEE\/IFIP International Conference On Dependable Systems and Networks. Citeseer.","author":"Laprie Jean-Claude","year":"2008"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0215-x"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988010"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988010"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273473"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 8th International Conference on Autonomic and Autonomous Systems. 57--63","author":"Mehrotra Rajat","year":"2012"},{"key":"e_1_2_1_23_1","unstructured":"MongoDB Incorporated. 2009. MongoDB. Retrieved 2017 from http:\/\/www.mongodb.org.  MongoDB Incorporated. 2009. MongoDB. Retrieved 2017 from http:\/\/www.mongodb.org."},{"key":"e_1_2_1_24_1","article-title":"Mission-based reliability prediction in component-based systems","volume":"7","author":"Nannapaneni Saideep","year":"2016","journal-title":"International Journal of Prognostics and Health Management"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the USENIX Annual Technical Conference. 305--320","author":"Ongaro Diego","year":"2014"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2984464.2984503"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.05.038"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2846696.2846708"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-014-9317-5"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the SAI Intelligent Systems Conference (IntelliSys\u201915)","author":"Shaukat A.","year":"2015"},{"key":"e_1_2_1_31_1","unstructured":"Wilfredo Torres-Pomales. 2000. Software fault tolerance: A tutorial. NASA.  Wilfredo Torres-Pomales. 2000. Software fault tolerance: A tutorial. NASA."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2198662"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2677046.2677052"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2645892.2645901"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3134844","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3134844","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3134844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:25Z","timestamp":1750212685000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3134844"}},"subtitle":["Goal-Driven Orchestration Middleware for Resilient IoT Systems"],"short-title":[],"issued":{"date-parts":[[2018,6,13]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,7,31]]}},"alternative-id":["10.1145\/3134844"],"URL":"https:\/\/doi.org\/10.1145\/3134844","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,13]]},"assertion":[{"value":"2016-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-06-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}