loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Mohamed Oussama Ben Salem 1 ; Olfa Mosbahi 2 ; Mohamed Khalgui 2 and Georg Frey 3

Affiliations: 1 University of Carthage, Tunisia ; 2 University of Carthage, eHealth Technologies Consortium and eHTC, Tunisia ; 3 Saarland University, Germany

ISBN: 978-989-758-068-0

Keyword(s): Distributed Control System, Reconfiguration, Shared Resource, Simulation, Verification, Model Checking, Computer-assisted Surgery.

Related Ontology Subjects/Areas/Topics: Biomedical Engineering ; Cardiovascular Technologies ; Cloud Computing ; Computing and Telecommunications in Cardiology ; e-Health ; e-Health for Public Health ; Evaluation and Use of Healthcare IT ; Health Engineering and Technology Applications ; Health Information Systems ; Medical and Nursing Informatics ; Platforms and Applications ; Telemedicine

Abstract: This research paper deals with the modeling, simulation and model checking of reconfigurable discrete-event control systems to be distributed on networked devices. A system is composed of software tasks with shared resources to control physical processes. A reconfiguration scenario is assumed to be a run-time automatic operation that modifies the system’s structure by adding or removing tasks or resources according to user requirements in order to adapt the whole architecture to its environment. Nevertheless, a reconfiguration can bring the system to a blocking problem that is sometimes unsafe, or violates real-time properties. We define new Petri Nets-based modeling solutions for both tasks and resources to meet these constraints. These solutions are applied to a real case study named Browser-based Reconfigurable Orthopedic Surgery (abbrev. BROS) to illustrate the paper’s contribution. A new Petri Nets-based editor and random-simulator named ZiZo is developed to model and simulate th e BROS reconfigurable architecture. It is based also on the model checker SESA to apply an exhaustive CTL-based formal verification of this architecture to ensure safe reconfiguration scenarios of tasks and resources. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 35.171.183.163

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Ben Salem, Mohamed Oussama; Mosbahi, O.; Khalgui, M. and Frey, G. (2015). ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS.In Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2015) ISBN 978-989-758-068-0, pages 20-31. DOI: 10.5220/0005181600200031

@conference{healthinf15,
author={Ben Salem, Mohamed Oussama and Olfa Mosbahi. and Mohamed Khalgui. and Georg Frey.},
title={ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS},
booktitle={Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2015)},
year={2015},
pages={20-31},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005181600200031},
isbn={978-989-758-068-0},
}

TY - CONF

JO - Proceedings of the International Conference on Health Informatics - Volume 1: HEALTHINF, (BIOSTEC 2015)
TI - ZiZo: Modeling, Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources - Application to the Medical Project BROS
SN - 978-989-758-068-0
AU - Ben Salem, Mohamed Oussama
AU - Mosbahi, O.
AU - Khalgui, M.
AU - Frey, G.
PY - 2015
SP - 20
EP - 31
DO - 10.5220/0005181600200031

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.