Abstract
Simplifying programming, deployment, and configuration of heterogeneous networked IoT devices requires networking, hardware, representation of knowledge and concepts, design and programming skills. In fact, IoT applications are mostly built by adopting different existing paradigms and technologies on a case-by-case basis. As a result, programming tools hinder adaptability and interoperability of applications with their rigidity.
In this paper, we propose a rule-based system that configures and programs IoT devices automatically. The rule base holds formal specifications about hardware platforms, networking protocols, physical world concepts, and applications. Provided with a high-level application goal, the proposed system generates and delivers symbolic application code to the operating devices, which are then able to run it without any further translation. The tool also supports automatic configuration of IoT heterogeneous entities. Based on hardware specifications in the knowledge base, the system outputs the best configuration, i.e. the best way for connecting sensors and actuators to a specific board for a given purpose.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Al Farooq, A., Al-Shaer, E., Moyer, T., Kant, K.: IoTC2: a formal method approach for detecting conflicts in large scale IoT systems. In: 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pp. 442–447, April 2019
Berrani, S., Yachir, A., Aissani, M.: Towards a new framework for service composition in the internet of things. In: Demigha, O., Djamaa, B., Amamra, A. (eds.) CSA 2018. LNNS, vol. 50, pp. 57–66. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-98352-3_7
Calegari, R., Denti, E., Mariani, S., Omicini, A.: Logic programming as a service (LPaaS): intelligence for the IoT. In: 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), pp. 72–77, May 2017. https://doi.org/10.1109/ICNSC.2017.8000070
Fortino, G., Russo, W., Savaglio, C., Shen, W., Zhou, M.: Agent-oriented cooperative smart objects: from IoT system design to implementation. IEEE Trans. Syst. Man Cybern.: Syst. 48(11), 1939–1956 (2018). https://doi.org/10.1109/TSMC.2017.2780618
Gaglio, S., Lo Re, G., Martorella, G., Peri, D.: DC4CD: a platform for distributed computing on constrained devices. ACM Trans. Embed. Comput. Syst. 17(1), 27:1–27:25 (2017). https://doi.org/10.1145/3105923
Kovatsch, M., Hassan, Y.N., Mayer, S.: Practical semantics for the internet of things: physical states, device mashups, and open questions. In: 2015 5th International Conference on the Internet of Things (IOT), pp. 54–61, October 2015. https://doi.org/10.1109/IOT.2015.7356548
Lee, Y., Nair, S.: A smart gateway framework for IoI services. In: 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), pp. 107–114, December 2016. https://doi.org/10.1109/iThings-GreenCom-CPSCom-SmartData.2016.44
Nagowah, S.D., Ben Sta, H., Gobin-Rahimbux, B.: An overview of semantic interoperability ontologies and frameworks for IoT. In: 2018 Sixth International Conference on Enterprise Systems (ES), pp. 82–89, October 2018. https://doi.org/10.1109/ES.2018.00020
Nguyen, X.T., Tran, H.T., Baraki, H., Geihs, K.: FRASAD: a framework for model-driven IoT application development. In: 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), pp. 387–392, December 2015. https://doi.org/10.1109/WF-IoT.2015.7389085
Patel, P., Cassou, D.: Enabling high-level application development for the internet of things. J. Syst. Softw. 103, 62–84 (2015). https://doi.org/10.1016/j.jss.2015.01.027. http://www.sciencedirect.com/science/article/pii/S0164121215000187
Rana, A.I., Jennings, B.: Semantic aware processing of user defined inference rules to manage home networks. J. Netw. Comput. Appl. 79, 68–87 (2017). https://doi.org/10.1016/j.jnca.2016.11.020. http://www.sciencedirect.com/science/article/pii/S1084804516302892
Santana, E.F.Z., Chaves, A.P., Gerosa, M.A., Kon, F., Milojicic, D.S.: Software platforms for smart cities: concepts, requirements, challenges, and a unified reference architecture. ACM Comput. Surv. 50(6), 78:1–78:37 (2017). https://doi.org/10.1145/3124391
Soukaras, D., Patel, P., Song, H., Chaudhary, S.: IoTSuite: a ToolSuite for prototyping internet of things applications, January 2015
Tao, M., Ota, K., Dong, M.: Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes. Future Gener. Comput. Syst. 76, 528–539 (2017). https://doi.org/10.1016/j.future.2016.11.012. http://www.sciencedirect.com/science/article/pii/S0167739X1630615X
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Gaglio, S., Giuliana, L., Lo Re, G., Martorella, G., Montalto, A., Peri, D. (2019). A Rule-Based System for Hardware Configuration and Programming of IoT Devices. In: Alviano, M., Greco, G., Scarcello, F. (eds) AI*IA 2019 – Advances in Artificial Intelligence. AI*IA 2019. Lecture Notes in Computer Science(), vol 11946. Springer, Cham. https://doi.org/10.1007/978-3-030-35166-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-35166-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-35165-6
Online ISBN: 978-3-030-35166-3
eBook Packages: Computer ScienceComputer Science (R0)