The PhD project will focus on the runtime phase of the lifecycle of medical devices after deployment when their behavior is subject to monitoring and continuous assessment. The goal is to create a framework for distributed hierarchical monitoring that allows various deployment scenarios for on- and off-device monitoring. The framework will rely on creation of Digital Twin of the IoT system and will apply novel runtime verification/monitoring techniques based on domain-specific languages for properties to be verified at runtime.
General Info The digital transformation is reshaping the medical industry by introducing high-end products that allow real-time collection and processing of information from numerous interconnected medical devices. Despite the benefits of this transformation, it also brings risks related to the security and privacy of patients. It is challenging to ensure a trustworthy environment among the devices as they consist of hardware parts and modules produced by several vendors thus creating a complex, heterogenous, and insecure environment.
To address the mentioned challenges, the ENTRUST project envisions a Trust Management Framework intended to dynamically manage the lifecycle of connected medical devices, strengthening trust and privacy in the entire ecosystem. The framework will introduce an attestation mechanism to ensure device's correct operation at runtime regardless of its computational power. This will be accompanied by a dynamic trust assessment model capable of identifying the required level of trustworthiness per device and service.
Research Scope of the PhD Project In the scope of ENTRUST, the PhD project will focus on the runtime phase of the lifecycle of the devices when their behavior is subject to monitoring and continuous assessment. Runtime verification/monitoring techniques will be developed based on domain-specific languages for specifying properties to be verified at runtime. The concepts in these languages will be identified after analyzing the needs for building trust profiles and performing device attestation. In this approach, a number of language engineering challenges arise as well: are there reusable fundamental syntactical and semantical building blocks for such languages (for example, logical frameworks like LTL and subjective logic) that can be tailored and reused in different usage scenarios.
We aim at developing a framework for distributed hierarchical monitoring that allows various deployment scenarios for on- and off-device monitoring depending on the available computational resources. Special attention will be paid on identifying and executing actions when suspicious behavior is detected that compromises the device trust profile.
Hosting Research Group You will join the Software Engineering and Technology (SET) group in the Faculty of Mathematics and Computer Science, TU/e. SET performs research in software engineering with a strong focus on methods and tools for time- and cost-efficient development and evolution of high-quality software systems. More information about the group is available at
https://www.tue.nl/en/research/research-groups/computer-science/software-engineering-and-technology-w/