Taimoor, Najma and Rehman, Semeen (2023) On the Validation of Multi-Level Personalised Health Condition Model. In: 2022 25th Euromicro Conference on Digital System Design (DSD). IEEE, pp. 599-606. ISBN 9781665474054 ISSN 2639-3859 (Print), 2771-2508 (Online) (doi:10.1109/DSD57027.2022.00086)

Full text not available from this repository. (Request a copy)

Abstract

This paper presents a verification-based methodology to validate the model of personalised health conditions. The model identifies the values that may result in unsafe, unreachable, in-exhaustive, and overlapping states those can otherwise threaten the patient's life as a result of producing false alarms by accepting suspicious behaviour of the target health condition. Contemporary approaches to validating a model employ various testing, simulation and model checking techniques to recognise such vulnerabilities. However, these approaches are neither systematic nor exhaustive and thus fail to identify those false values or computations that estimate the health condition at run-time based on the sensor or input data received from various IoT medical devices. We have demonstrated our validation methodology by validating our example multi-level model that describes three different scenarios of Diabetes health conditions.

Item Type:	Conference Proceedings
Title of Proceedings:	2022 25th Euromicro Conference on Digital System Design (DSD)
Uncontrolled Keywords:	multi-level modelling, safe and secure healthcare, personalised healthcare
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Faculty / School / Research Centre / Research Group:	Faculty of Engineering & Science Faculty of Engineering & Science > Internet of Things and Security Research Centre (ISEC) Faculty of Engineering & Science > School of Computing & Mathematical Sciences (CMS)
Last Modified:	25 Apr 2023 13:53
URI:	http://gala.gre.ac.uk/id/eprint/41766

Actions (login required)

View Item