A Framework for the Composition of IoT and CPS Capabilities
Khalid Halba, Edward Griffor, ANTON DAHBURA, Ahmed LBATH
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.
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).
, Griffor, E.
, DAHBURA, A.
and Lbath, A.
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)