Transforming Medical Resource Utilization Process to Verifiable Timed Automata Models in Cyber-Physical Systems

Parveen, Rizwan; Goveas, Neena

doi:10.1007/978-3-030-94876-4_7

Cited by 1 publication

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this work, we propose a verifiable and extensible model for automating the medical resource utilization process. This work is based on our previous work [Parveen and Goveas (2022)] In particular, we model important pre-and post-conditions of resource allocation and release in timed automata model [Bouyer and Laroussinie (2008)] to ensure verifiability. Additionally, we incorporate essential timing parameters (idle time, waiting time, and treatment duration) in our patient-caregiver allocation model.…”

Section: Introductionmentioning

confidence: 99%

Modelling and Verification of Resource Allocation for Healthcare Systems

Parveen,

Ruchkin,

Laurel

et al. 2024

Preprint

View full text Add to dashboard Cite

Efficient use and timely availability of healthcare resourcesplay a critical role in today’s society. A key factor in managing theseresources is their automated and flexible allocation and deallocation. Wepresent a formal approach to model the medical resource allocation process as timed automata. This approach aims to improve treatment pro-cesses and alleviate staff workload by allocating resources strategically for a specific duration and releasing them synchronously. We ensure that the model satisfies important domain-specific requirements and is structured in a modular fashion. Further, we demonstrate the applicability of our approach in a clinical scenario involving combinations of patients,caregivers, and medical resources. In this scenario, we verify the cor-rectness of this model’s temporal properties. Finally, we show how ourmodel can be extended with new components without compromising itsessential properties.

show abstract

Section: Introductionmentioning

confidence: 99%