title: BROMETH: Methodology to design safe reconfigurable medical robotic systems.
abstract: BACKGROUND
  This research paper deals with the development of a medical robotized control system for supracondylar humeral fracture treatment. Concurrent access to shared resources and applying reconfiguration scenarios can jeopardize the safety of the system.
  
  
  METHODS
  A new methodology is proposed in this paper, termed BROMETH, to guarantee the safety of such critical systems from their specification to their deployment, and passing through certification and implementation. The solution is applied to a real case study named Browser-based Reconfigurable Orthopedic Surgery (abbrev. BROS), a robotized platform dedicated to the treatment of supracondylar fractures, to illustrate the paper's contribution. This work starts from a medical issue, namely supracondylar humeral fracture treatment, to establish a new informatics solution, namely a new methodology to design safe reconfigurable medical robotic systems.
  
  
  RESULTS
  The results of the experiments performed on real SCH fracture radiographies were quite satisfactory.
  
  
  CONCLUSIONS
  Clinical experiments can then be performed after deploying the system on real hardware.
authors.affiliation: Tunisia Polytechnic School, University of Carthage, Tunis, Tunisia.|Chair of Automation and Energy Systems, Saarland University, Saarbrücken, Germany.|LISI laboratory, INSAT, University of Carthage, Tunis, Tunisia.|eHealth Technologies Consortium, eHTC, Tunisia.
authors.forename: Mohamed Oussama
authors.identifier: http://orcid.org/0000-0002-9227-8151
authors.initials: MO
authors.lastname: Ben Salem
authors.affiliation: LISI laboratory, INSAT, University of Carthage, Tunis, Tunisia.|eHealth Technologies Consortium, eHTC, Tunisia.
authors.forename: Olfa
authors.initials: O
authors.lastname: Mosbahi
authors.affiliation: LISI laboratory, INSAT, University of Carthage, Tunis, Tunisia.|eHealth Technologies Consortium, eHTC, Tunisia.|Systems Control Lab, Xidian University, China.
authors.forename: Mohamed
authors.initials: M
authors.lastname: Khalgui
authors.affiliation: eHealth Technologies Consortium, eHTC, Tunisia.|Orthopedic Institute of Mohamed Kassab, University Tunis El Manar, Tunis, Tunisia.
authors.forename: Zied
authors.initials: Z
authors.lastname: Jlalia
authors.affiliation: Chair of Automation and Energy Systems, Saarland University, Saarbrücken, Germany.
authors.forename: Georg
authors.initials: G
authors.lastname: Frey
authors.affiliation: eHealth Technologies Consortium, eHTC, Tunisia.|Orthopedic Institute of Mohamed Kassab, University Tunis El Manar, Tunis, Tunisia.
authors.forename: Mahmoud
authors.initials: M
authors.lastname: Smida
mesh_terms: D002648:Child; D003198:Computer Simulation; D004867:Equipment Design; D005260:Female; D005592:Fracture Fixation / Q000295:instrumentation* / Q000379:methods*; D006801:Humans; D006810:Humeral Fractures / Q000145:classification / Q000000981:diagnostic imaging / Q000601:surgery*; D065287:Robotic Surgical Procedures / Q000295:instrumentation* / Q000379:methods*; D012449:Safety; D012984:Software; D025321:Surgery, Computer-Assisted / Q000295:instrumentation* / Q000379:methods*
keywords: computer assisted surgery; health informatics; humeral fracture treatment; implementation; modeling and verification; simulation