Article
Version 1
Preserved in Portico This version is not peer-reviewed
Trusted Composition of Internet of Medical Things Over Imperfect Networks
Version 1
: Received: 13 May 2024 / Approved: 13 May 2024 / Online: 14 May 2024 (08:28:48 CEST)
How to cite: Ahmad, E.; Larson, B.; Banga, A. S. Trusted Composition of Internet of Medical Things Over Imperfect Networks. Preprints 2024, 2024050908. https://doi.org/10.20944/preprints202405.0908.v1 Ahmad, E.; Larson, B.; Banga, A. S. Trusted Composition of Internet of Medical Things Over Imperfect Networks. Preprints 2024, 2024050908. https://doi.org/10.20944/preprints202405.0908.v1
Abstract
The Internet of Medical Things (IoMT) represents a specialized domain within the Internet of Things, focusing on medical devices that require regulatory approval to ensure patient safety. Trusted composition of IoMT systems aims to ensure high assurance of the entire composed system, despite potential variability in the assurance levels of individual components. Achieving this trustworthiness in IoMT systems, especially when using less-assured, commercial, off-the-shelf networks like Ethernet and WiFi, presents a significant challenge. To address this challenge, this paper advocates a systematic approach that leverages the Architecture Analysis & Design Language (AADL) along with Behavior Language for Embedded Systems with Software (BLESS) specification and behavior. This approach aims to provide high assurance on critical components through formal verification, while using less-assured components in a manner that maintains overall system determinism and reliability. A clinical case study involving an automated opioid infusion monitoring IoMT system is presented to illustrate the application of the proposed approach. Through this case study, the effectiveness of the systemic approach in achieving trusted composition of heterogeneous medical devices over less-assured networks is demonstrated.
Keywords
AADL; BLESS; IoT; IoMT; Medical Device Interoperability; Composition of Medical Devices; Healthcare
Subject
Engineering, Control and Systems Engineering
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment
