Formal Modeling and Analysis of Medical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Formal Modeling and Analysis of Medical Systems

Mahsa Zarneshan
  • Function : Author
  • PersonId : 1103673
Marjan Sirjani
  • Function : Author
  • PersonId : 1030394


Medical systems are composed of medical devices and apps which are developed independently by different vendors. A set of communication patterns, based on asynchronous message-passing, has been proposed to loosely integrate medical devices and apps. These patterns guarantee the point-to-point quality of communication service (QoS) by local inspection of messages at its constituent components. These local mechanisms inspect the property of messages to enforce a set of parametrized local QoS properties. Adjusting these parameters to achieve the required point-to-point QoS is non-trivial and depends on the involved components and the underlying network. We use Timed Rebeca, an actor-based formal modeling language, to model such systems and asses their QoS properties by model checking. We model the components of communication patterns as distinct actors. A composite medical system using several instances of patterns is subject to state-space explosion. We propose a reduction technique preserving QoS properties. We prove that our technique is sound and show the applicability of our approach in reducing the state space by modeling a clinical scenario made of several instances of patterns.
Fichier principal
Vignette du fichier
495623_1_En_24_Chapter.pdf (342.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03273989 , version 1 (29-06-2021)





Mahsa Zarneshan, Fatemeh Ghassemi, Marjan Sirjani. Formal Modeling and Analysis of Medical Systems. 22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩. ⟨hal-03273989⟩
23 View
7 Download



Gmail Facebook Twitter LinkedIn More