Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A Framework for the Composition of IoT and CPS Capabilities

Published

Author(s)

Khalid Halba, Edward Griffor, ANTON DAHBURA, Ahmed LBATH

Abstract

By 2030, over half-trillion devices will be connected to the internet. With so many devices with a wide range of capabilities, there is a need for a framework for innovation and reuse of IoT and CPS capabilities. Such framework should facilitate capabilities composition from the ground up and provide stakeholders means to reliably model and verify composite capabilities. An IoT and CPS Composition Framework (ICCF) is proposed to achieve this goal. ICCF is based on the NIST CPS framework composition guidelines, the intuitive composition semantics inspired from the mPlane protocol, and the strong formal verification capabilities of the Temporal Logic of Actions (TLA) formal descriptors and tools. This effort demonstrates why such framework, semantics, and formal specification language and tools form a powerful and intuitive composition framework that satisfies different stakeholders concerns. To achieve this purpose, semantics and formal specification of the composition within a smart building composite capability of well-being was provided, a prototype model in a formal verification tool was run, an analysis of the results of symbolic execution quantitatively and qualitatively was performed, and an assessment of the trustworthiness of the framework and the results obtained was done. Lastly, an outlook on implementation efforts in the domains of smart transportation and smart health is provided.
Proceedings Title
COMPSAC 2021: Intelligent and Resilient Computing for a Collaborative World 45th Anniversary Conference. The 4th IEEE International Workshop on Smart IoT Sensors & Social Systems for eHealth & Well-Being Applications (SIS-SS 2021).
Conference Dates
July 12-16, 2021
Conference Location
Madrid, ES

Keywords

Framework, IoT, CPS, ICCF, Capability, Algebra, Composition, Trustworthiness.

Citation

Halba, K. , Griffor, E. , DAHBURA, A. and Lbath, A. (2021), A Framework for the Composition of IoT and CPS Capabilities, COMPSAC 2021: Intelligent and Resilient Computing for a Collaborative World 45th Anniversary Conference. The 4th IEEE International Workshop on Smart IoT Sensors & Social Systems for eHealth & Well-Being Applications (SIS-SS 2021). , Madrid, ES, [online], https://doi.org/10.1109/COMPSAC51774.2021.00176, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=932634 (Accessed September 18, 2021)
Created September 9, 2021, Updated September 14, 2021