research-article

Public Access

CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems

Authors:

Subhav Pradhan,

Abhishek Dubey,

Saideep Nannapaneni,

Aniruddha Gokhale,

Sankaran Mahadevan,

Douglas C. Schmidt,

Martin LehoferAuthors Info & Claims

ACM Transactions on Cyber-Physical Systems, Volume 2, Issue 3

Article No.: 16, Pages 1 - 37

https://doi.org/10.1145/3134844

Published: 13 June 2018 Publication History

Abstract

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 edge computing. 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.

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.

References

[1]

Sandro Santos Andrade and Raimundo José de Araújo Macêdo. 2009. A non-intrusive component-based approach for deploying unanticipated self-management behaviour. In Proceedings of the ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009 (SEAMS’09). IEEE, 152--161.

Digital Library

[2]

Apache Software Foundation. Apache Zookeeper. Retrieved 2017 from https://zookeeper.apache.org/.

[3]

Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, and Emil Lupu. 2012. Self-management framework for mobile autonomous systems. Journal of Network and Systems Management 20, 2 (2012), 244--275.

Digital Library

[4]

Kyle Benson, Charles Fracchia, Guoxi Wang, Qiuxi Zhu, Serene Almomen, John Cohn, Luke D’arcy, Daniel Hoffman, Matthew Makai, Julien Stamatakis, et al. 2015. SCALE: Safe community awareness and alerting leveraging the internet of things. IEEE Communications Magazine 53, 12 (2015), 27--34.

Digital Library

[5]

Flavio Bonomi, Rodolfo Milito, Jiang Zhu, and Sateesh Addepalli. 2012. Fog computing and its role in the internet of things. In Proceedings of the 1st Edition of the MCC Workshop on Mobile Cloud Computing. ACM, 13--16.

Digital Library

[6]

Rafael Capilla, Jan Bosch, Pablo Trinidad, Antonio Ruiz-Cortés, and Mike Hinchey. 2014. An overview of dynamic software product line architectures and techniques: Observations from research and industry. Journal of Systems and Software 91 (2014), 3--23.

Digital Library

[7]

Leonardo Mendonça de Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, 337--340.

Digital Library

[8]

A. Dubey, G. Karsai, and N. Mahadevan. 2011. Model-based software health management for real-time systems. In Proceedings of the 2011 IEEE Aerospace Conference. IEEE, 1--18.

Digital Library

[9]

Eclipse Foundation. 2017. Xtext. Retrieved 2017 from https://eclipse.org/Xtext/.

[10]

Christine Hang, Panagiotis Manolios, and Vasilis Papavasileiou. 2011. Synthesizing cyber-physical architectural models with real-time constraints. In Computer Aided Verification. Springer, 441--456.

Digital Library

[11]

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.

Digital Library

[12]

Pieter Hintjens. 2013. ZeroMQ: Messaging for Many Applications. O’Reilly Media, Inc.

[13]

Oliver Höftberger and Roman Obermaisser. 2014. Runtime evaluation of ontology-based reconfiguration of distributed embedded real-time systems. In Proceedings of the 2014 12th IEEE International Conference on Industrial Informatics (INDIN’14). IEEE, 538--544.

[14]

Patrick Hunt, Mahadev Konar, Flavio Paiva Junqueira, and Benjamin Reed. 2010. ZooKeeper: Wait-free coordination for internet-scale systems. In Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (USENIXATC'10). USENIX Association, 11--11.

Digital Library

[15]

Tolga Kurtoglu, Irem Y. Tumer, and David C. Jensen. 2010. A functional failure reasoning methodology for evaluation of conceptual system architectures. Research in Engineering Design 21, 4 (2010), 209--234.

[16]

Leslie Lamport. 2001. Paxos made simple. ACM Sigact News 32, 4 (2001), 18--25.

[17]

Jean-Claude Laprie. 2008. From dependability to resilience. In Proceedings of the 38th IEEE/IFIP International Conference On Dependable Systems and Networks. Citeseer.

[18]

Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, and Gabor Karsai. 2013. Deliberative, search-based mitigation strategies for model-based software health management. Innovations in Systems and Software Engineering 9, 4 (2013), 293--318.

Digital Library

[19]

Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai. 2011a. Application of software health management techniques. In Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’11). ACM, New York, NY, 1--10.

Digital Library

[20]

Nagabhushan Mahadevan, Abhishek Dubey, and Gabor Karsai. 2011b. Application of software health management techniques. In Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'11). ACM, 1--10.

Digital Library

[21]

Panagiotis Manolios, Daron Vroon, and Gayatri Subramanian. 2007. Automating component-based system assembly. In Proceedings of the 2007 International Symposium on Software Testing and Analysis. ACM, 61--72.

Digital Library

[22]

Rajat Mehrotra, Abhishek Dubey, Sherif Abdelwahed, and Rowland Krisa. 2012. RFDMon: A real-time and fault-tolerant distributed system monitoring approach. In Proceedings of the 8th International Conference on Autonomic and Autonomous Systems. 57--63. http://www.thinkmind.org/download.php?articleid=icas_2012_3_10_20052.

[23]

MongoDB Incorporated. 2009. MongoDB. Retrieved 2017 from http://www.mongodb.org.

[24]

Saideep Nannapaneni, Abhishek Dubey, Sherif Abdelwahed, Sankaran Mahadevan, Sandeep Neema, and Ted Bapty. 2016. Mission-based reliability prediction in component-based systems. International Journal of Prognostics and Health Management 7, 001 (2016). https://www.phmsociety.org/node/1832.

[25]

Diego Ongaro and John Ousterhout. 2014. In search of an understandable consensus algorithm. In Proceedings of the USENIX Annual Technical Conference. 305--320.

Digital Library

[26]

Subhav Pradhan, Abhishek Dubey, Aniruddha Gokhale, and Martin Lehofer. 2016a. Platform for designing and managing resilient and extensible CPS: WiP abstract. In Proceedings of the 7th International Conference on Cyber-Physical Systems. IEEE Press, 39.

Digital Library

[27]

Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William A. Emfinger, Daniel Balasubramanian, William Otte, and Gabor Karsai. 2016b. Achieving resilience in distributed software systems via self-reconfiguration. Journal of Systems and Software 122, C (2016), 344--363.

Digital Library

[28]

Subhav M. Pradhan, Abhishek Dubey, Aniruddha Gokhale, and Martin Lehofer. 2015. CHARIOT: A domain specific language for extensible cyber-physical systems. In Proceedings of the Workshop on Domain-Specific Modeling. ACM, 9--16.

Digital Library

[29]

Alberto Schaeffer-Filho, Emil Lupu, and Morris Sloman. 2014. Federating policy-driven autonomous systems: Interaction specification and management patterns. Journal of. Network and Systems Management. (2014), 1--41.

Digital Library

[30]

A. Shaukat, G. Burroughes, and Y. Gao. 2015. Self-reconfigurable robotics architecture utilising fuzzy and deliberative reasoning. In Proceedings of the SAI Intelligent Systems Conference (IntelliSys’15), 2015.

[31]

Wilfredo Torres-Pomales. 2000. Software fault tolerance: A tutorial. NASA.

[32]

Marisol García Valls, Iago Rodríguez López, and Laura Fernández Villar. 2013. iLAND: An enhanced middleware for real-time reconfiguration of service oriented distributed real-time systems. IEEE Transactions on Industrial Informatics 9, 1 (2013), 228--236.

[33]

Luis M. Vaquero and Luis Rodero-Merino. 2014. Finding your way in the fog: Towards a comprehensive definition of fog computing. SIGCOMM Computer Communincation Review 44, 5 (Oct. 2014), 27--32.

Digital Library

[34]

Dale Willis, Arkodeb Dasgupta, and Suman Banerjee. 2014. ParaDrop: A multi-tenant platform to dynamically install third party services on wireless gateways. In Proceedings of the 9th ACM Workshop on Mobility in the Evolving Internet Architecture. ACM, 43--48.

Digital Library

Cited By

Jung KMitra GGopalakrishnan SPattabiraman K(2024)ImmunoPlane: Middleware for Providing Adaptivity to Distributed Internet-of-Things Applications2024 IEEE/ACM Ninth International Conference on Internet-of-Things Design and Implementation (IoTDI)10.1109/IoTDI61053.2024.00006(13-24)Online publication date: 13-May-2024
https://doi.org/10.1109/IoTDI61053.2024.00006
Sofia RSalomon JFerlin-Reiter SGarcés-Erice LUrbanetz PMueller HTouma REspinosa AContreras LTheodorou VPsaromanolakis NMamatas LTsaoussidis VFu XYuan Tdel Rio AJiménez DStam AParaskevoulakou EKaramolegkos PVieira VMartrat JPrusiel IMatzakou DSoldatos JRemon DJahn M(2024)A Framework for Cognitive, Decentralized Container OrchestrationIEEE Access10.1109/ACCESS.2024.340686112(79978-80008)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3406861
Perifanis NKitsios F(2022)Edge and Fog Computing Business Value Streams through IoT Solutions: A Literature Review for Strategic ImplementationInformation10.3390/info1309042713:9(427)Online publication date: 11-Sep-2022
https://doi.org/10.3390/info13090427
Show More Cited By

Index Terms

CHARIOT: Goal-Driven Orchestration Middleware for Resilient IoT Systems
1. Computer systems organization
  1. Dependable and fault-tolerant systems and networks
    1. Reliability
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
  2. Software organization and properties
    1. Extra-functional properties
      1. Software reliability

Recommendations

Chariot: A High Compatible Architecture to Improve Virtual Machine Reliability
NAS '13: Proceedings of the 2013 IEEE Eighth International Conference on Networking, Architecture and Storage

Currently, the virtualization technologies can integrate multiple operating systems into a high-performance server to maximize the utilization of the server's resources. This server can serves more users. However, the driver faults in virtual machine ...
Achieving Autonomicity in IoT systems via Situational-Aware, Cognitive and Social Things
PCI '14: Proceedings of the 18th Panhellenic Conference on Informatics

The Internet of Things (IoT) will exponentially increase the scale and the complexity of existing computing and communication systems. In a world of multi-stakeholder information and assets provision on top of millions of real-time interacting and ...
CHARIOT: a domain specific language for extensible cyber-physical systems
DSM 2015: Proceedings of the Workshop on Domain-Specific Modeling

Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing devices is facilitating a paradigm shift by allowing us to transition from traditional statically configured vertical silos ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Cyber-Physical Systems

ACM Transactions on Cyber-Physical Systems Volume 2, Issue 3

Special Issue on the Internet of Things: Part 2

July 2018

181 pages

ISSN:2378-962X

EISSN:2378-9638

DOI:10.1145/3232714

Editor:
Tei-Wei Kuo
National Taiwan University, and Academia Sinica, Taiwan

Issue’s Table of Contents

Copyright © 2018 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 13 June 2018

Accepted: 01 August 2017

Revised: 01 April 2017

Received: 01 August 2016

Published in TCPS Volume 2, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

Siemens Corporate Technology
National Science Foundation

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
607
Total Downloads

Downloads (Last 12 months)75
Downloads (Last 6 weeks)8

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Jung KMitra GGopalakrishnan SPattabiraman K(2024)ImmunoPlane: Middleware for Providing Adaptivity to Distributed Internet-of-Things Applications2024 IEEE/ACM Ninth International Conference on Internet-of-Things Design and Implementation (IoTDI)10.1109/IoTDI61053.2024.00006(13-24)Online publication date: 13-May-2024
https://doi.org/10.1109/IoTDI61053.2024.00006
Sofia RSalomon JFerlin-Reiter SGarcés-Erice LUrbanetz PMueller HTouma REspinosa AContreras LTheodorou VPsaromanolakis NMamatas LTsaoussidis VFu XYuan Tdel Rio AJiménez DStam AParaskevoulakou EKaramolegkos PVieira VMartrat JPrusiel IMatzakou DSoldatos JRemon DJahn M(2024)A Framework for Cognitive, Decentralized Container OrchestrationIEEE Access10.1109/ACCESS.2024.340686112(79978-80008)Online publication date: 2024
https://doi.org/10.1109/ACCESS.2024.3406861
Perifanis NKitsios F(2022)Edge and Fog Computing Business Value Streams through IoT Solutions: A Literature Review for Strategic ImplementationInformation10.3390/info1309042713:9(427)Online publication date: 11-Sep-2022
https://doi.org/10.3390/info13090427
Costa BBachiega Jde Carvalho LAraujo A(2022)Orchestration in Fog Computing: A Comprehensive SurveyACM Computing Surveys10.1145/348622155:2(1-34)Online publication date: 18-Jan-2022
https://dl.acm.org/doi/10.1145/3486221
Song HDautov RFerry NSolberg AFleurey F(2022)Model-based fleet deployment in the IoT–edge–cloud continuumSoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01006-z21:5(1931-1956)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1007/s10270-022-01006-z
Sun YChen SFang YXu WLuo QRui L(2022)An Efficient and Distributed Data Storage and Sharing Method Based on BlockchainProceedings of the 12th International Conference on Computer Engineering and Networks10.1007/978-981-19-6901-0_44(421-430)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-981-19-6901-0_44
Berger CEichhammer PReiser HDomaschka JHauck FHabiger G(2021)A Survey on Resilience in the IoTACM Computing Surveys10.1145/346251354:7(1-39)Online publication date: 17-Sep-2021
https://dl.acm.org/doi/10.1145/3462513
Song HDautov RFerry NSolberg AFleurey FSyriani ESahraoui H(2020)Model-based fleet deployment of edge computing applicationsProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410951(132-142)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410951
Talusan JWilbur MDubey AYasumoto K(2020)On Decentralized Route Planning Using the Road Side Units as Computing Resources2020 IEEE International Conference on Fog Computing (ICFC)10.1109/ICFC49376.2020.00009(1-8)Online publication date: Apr-2020
https://doi.org/10.1109/ICFC49376.2020.00009
Talusan JWilbur MDubey AYasumoto K(2020)Route Planning Through Distributed Computing by Road Side UnitsIEEE Access10.1109/ACCESS.2020.30266778(176134-176148)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.3026677
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents