{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T07:47:15Z","timestamp":1758268035595,"version":"3.41.2"},"reference-count":67,"publisher":"Wiley","issue":"3","license":[{"start":{"date-parts":[[2016,11,14]],"date-time":"2016-11-14T00:00:00Z","timestamp":1479081600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Robotics Computer Surgery"],"published-print":{"date-parts":[[2017,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Background<\/jats:title><jats:p>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.<\/jats:p><\/jats:sec><jats:sec><jats:title>Methods<\/jats:title><jats:p>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\u2010based 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.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>The results of the experiments performed on real SCH fracture radiographies were quite satisfactory.<\/jats:p><\/jats:sec><jats:sec><jats:title>Conclusions<\/jats:title><jats:p>Clinical experiments can then be performed after deploying the system on real hardware.<\/jats:p><\/jats:sec>","DOI":"10.1002\/rcs.1786","type":"journal-article","created":{"date-parts":[[2016,11,16]],"date-time":"2016-11-16T16:25:01Z","timestamp":1479313501000},"source":"Crossref","is-referenced-by-count":19,"title":["BROMETH: Methodology to design safe reconfigurable medical robotic systems"],"prefix":"10.1002","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9227-8151","authenticated-orcid":false,"given":"Mohamed Oussama","family":"Ben Salem","sequence":"first","affiliation":[{"name":"Tunisia Polytechnic School University of Carthage Tunis Tunisia"},{"name":"Chair of Automation and Energy Systems Saarland University Saarbr\u00fccken Germany"},{"name":"LISI laboratory, INSAT University of Carthage Tunis Tunisia"},{"name":"eHealth Technologies Consortium eHTC Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olfa","family":"Mosbahi","sequence":"additional","affiliation":[{"name":"LISI laboratory, INSAT University of Carthage Tunis Tunisia"},{"name":"eHealth Technologies Consortium eHTC Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[{"name":"LISI laboratory, INSAT University of Carthage Tunis Tunisia"},{"name":"eHealth Technologies Consortium eHTC Tunisia"},{"name":"Systems Control Lab Xidian University China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zied","family":"Jlalia","sequence":"additional","affiliation":[{"name":"eHealth Technologies Consortium eHTC Tunisia"},{"name":"Orthopedic Institute of Mohamed Kassab University Tunis El Manar Tunis Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Frey","sequence":"additional","affiliation":[{"name":"Chair of Automation and Energy Systems Saarland University Saarbr\u00fccken Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahmoud","family":"Smida","sequence":"additional","affiliation":[{"name":"eHealth Technologies Consortium eHTC Tunisia"},{"name":"Orthopedic Institute of Mohamed Kassab University Tunis El Manar Tunis Tunisia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2016,11,14]]},"reference":[{"key":"e_1_2_7_2_1","doi-asserted-by":"publisher","DOI":"10.3109\/17453678608994398"},{"key":"e_1_2_7_3_1","doi-asserted-by":"publisher","DOI":"10.3109\/17453678309155630"},{"key":"e_1_2_7_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11999-013-3025-4"},{"key":"e_1_2_7_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-1383(93)90288-H"},{"key":"e_1_2_7_6_1","doi-asserted-by":"publisher","DOI":"10.2106\/00004623-197456020-00004"},{"key":"e_1_2_7_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-1383(02)00312-1"},{"key":"e_1_2_7_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-3476(54)80196-X"},{"issue":"1","key":"e_1_2_7_9_1","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1118\/1.1836331","article-title":"Volume CT with a flat\u2010panel detector on a mobile, isocentric C\u2010arm: pre\u2010clinical investigation in guidance of minimally invasive surgery","volume":"32","author":"Siewerdsen JH","journal-title":"Med Phys"},{"key":"e_1_2_7_10_1","doi-asserted-by":"publisher","DOI":"10.1097\/00007632-200010150-00016"},{"key":"e_1_2_7_11_1","doi-asserted-by":"publisher","DOI":"10.1097\/01.brs.0000238675.91612.2f"},{"key":"e_1_2_7_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.clon.2011.01.159"},{"key":"e_1_2_7_13_1","doi-asserted-by":"crossref","unstructured":"Ben SalemMO MosbahiO KhalguiM FreyG.Modeling Simulation and Verification of Reconfigurable Real-time Control Tasks Sharing Adaptive Resources \u2010 Application to the Medical Project BROS. In Proceedings of the International Conference on Health Informatics \u2010 Volume 1: HEALTHINF (BIOSTEC 2015) ISBN 978\u2010989\u2010758\u2010068\u201002015; pages20\u201331. doi:10.5220\/0005181600200031.","DOI":"10.5220\/0005181600200031"},{"issue":"7","key":"e_1_2_7_14_1","first-page":"20","article-title":"The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks","volume":"8","author":"Goodenough JB","year":"1988","journal-title":"ACM"},{"key":"e_1_2_7_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2217321"},{"key":"e_1_2_7_16_1","unstructured":"HanischHM ThiemeJ LuderA WienholdO.Modeling of PLC behavior by means of timed net condition\/event systems. 6th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings 1997. ETFA'97.1997."},{"key":"e_1_2_7_17_1","unstructured":"Ben SalemMO MosbahiO KhalguiM.PCP\u2010based Solution for Resource Sharing in Reconfigurable Timed Net Condition\/Event Systems. ADECS @ Petri Nets;2014:52\u201367."},{"key":"e_1_2_7_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2012.2226031"},{"key":"e_1_2_7_19_1","doi-asserted-by":"publisher","DOI":"10.1108\/01439910910994605"},{"key":"e_1_2_7_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/10.1354"},{"key":"e_1_2_7_21_1","doi-asserted-by":"publisher","DOI":"10.1114\/1.1313774"},{"key":"e_1_2_7_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2007.11.003"},{"key":"e_1_2_7_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2006.03.001"},{"key":"e_1_2_7_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2012.05.011"},{"key":"e_1_2_7_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/igs.10019"},{"key":"e_1_2_7_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2010.06.009"},{"key":"e_1_2_7_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.880711"},{"key":"e_1_2_7_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2276940"},{"key":"e_1_2_7_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2396041"},{"key":"e_1_2_7_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.880722"},{"key":"e_1_2_7_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.906263"},{"key":"e_1_2_7_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2003.08.004"},{"volume-title":"Standard Handbook of Biomedical Engineering and Design","year":"2003","author":"Kutz M","key":"e_1_2_7_33_1"},{"key":"e_1_2_7_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00140-3"},{"key":"e_1_2_7_35_1","doi-asserted-by":"publisher","DOI":"10.5772\/60133"},{"key":"e_1_2_7_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TBME.2013.2243731"},{"key":"e_1_2_7_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijmedinf.2005.08.002"},{"key":"e_1_2_7_38_1","doi-asserted-by":"publisher","DOI":"10.1097\/01241398-200101000-00007"},{"key":"e_1_2_7_39_1","doi-asserted-by":"publisher","DOI":"10.2106\/00004623-198870050-00002"},{"key":"e_1_2_7_40_1","first-page":"337","article-title":"Fractures supra\u2010condyliennes","volume":"48","author":"Lagrange J","year":"1962","journal-title":"Rev Chir Orthop"},{"key":"e_1_2_7_41_1","doi-asserted-by":"publisher","DOI":"10.1097\/01241398-200101000-00007"},{"key":"e_1_2_7_42_1","doi-asserted-by":"publisher","DOI":"10.1097\/01.bte.0000127169.61808.e5"},{"issue":"4","key":"e_1_2_7_43_1","first-page":"458","article-title":"Multi slice computed tomography approach in the assessment of supracondylar humeral fractures in children","volume":"78","author":"Douira\u2010Khomsi W","year":"2012","journal-title":"Acta Orthop Belg"},{"key":"e_1_2_7_44_1","doi-asserted-by":"crossref","unstructured":"JoungS LiaoH KobayashiE et al.Hazard analysis of fracture\u2010reduction robot and its application to safety design of fracture\u2010reduction assisting robotic system. In Robotics and Automation (ICRA) 2010 IEEE International Conference on IEEE; May2010:1554\u20131561.","DOI":"10.1109\/ROBOT.2010.5509681"},{"key":"e_1_2_7_45_1","doi-asserted-by":"publisher","DOI":"10.1002\/rcs.1550"},{"key":"e_1_2_7_46_1","doi-asserted-by":"crossref","unstructured":"WarisawaSI IshizukaT MitsuishiM SuganoN YonenobuK NakazawaT.Development of a femur fracture reduction robot. In Robotics and Automation 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on IEEE; April2004: Vol.4 3999\u20134004.","DOI":"10.1109\/ROBOT.2004.1308896"},{"key":"e_1_2_7_47_1","doi-asserted-by":"publisher","DOI":"10.1002\/rcs.81"},{"key":"e_1_2_7_48_1","unstructured":"BROS: a robotic platform for the treatment of the supracondylar humerus fracture. aut.uni\u2010saarland.de.http:\/\/www.aut.uni\u2010saarland.de\/forschung\/forschung\u2010bros\u2010platform\/Accessed May 21 2016."},{"key":"e_1_2_7_49_1","first-page":"199","article-title":"Traitement des fractures sus\u2010condyliennes transversales de l'hum\u00c3\u00a9rus chez l'enfant","volume":"39","author":"Judet J","year":"1953","journal-title":"Rev Chir Orthop"},{"key":"e_1_2_7_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0035-1040(07)90301-3"},{"key":"e_1_2_7_51_1","unstructured":"WangX LiZ WonhamW.Dynamic Multiple\u2010Period Reconfiguration of Real\u2010Time Scheduling Based on Timed DES Supervisory Control 2009."},{"key":"e_1_2_7_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2309479"},{"key":"e_1_2_7_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2313352"},{"key":"e_1_2_7_54_1","doi-asserted-by":"crossref","unstructured":"RouffC BuskensR PullumL CuiX HincheyM.The AdaptiV approach to verification of adaptive systems. In Proceedings of the Fifth International Conference on Computer Science and Software Engineering ACM;2012:118\u2013122.","DOI":"10.1145\/2347583.2347600"},{"volume-title":"Principles of model checking 26202649","year":"2008","author":"Baier C","key":"e_1_2_7_55_1"},{"key":"e_1_2_7_56_1","unstructured":"StarkePH RochS.Analysing signal\u2010net systems. Professoren des Inst. f\u00c3\u00bcr Informatik;2002."},{"key":"e_1_2_7_57_1","doi-asserted-by":"crossref","unstructured":"GraumanK DarrellT.Efficient image matching with distributions of local invariant features. Computer Vision and Pattern Recognition 2005. CVPR 2005. IEEE Computer Society Conference on. Vol. 2. IEEE 2005.","DOI":"10.1109\/CVPR.2005.138"},{"key":"e_1_2_7_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2010.161"},{"key":"e_1_2_7_59_1","unstructured":"BradskiG KaehlerA.Learning OpenCV: Computer vision with the OpenCV library. O'Reilly Media Inc.;2008."},{"key":"e_1_2_7_60_1","unstructured":"Intel WG.Open Source Computer Vision Library. URLhttp:\/\/opencv.willowgarage.com. Retrieved May;2012."},{"key":"e_1_2_7_61_1","doi-asserted-by":"crossref","unstructured":"MembarthR HannigF TeichJ KrnerM EckertW.Generating device\u2010specific GPU code for local operators in medical imaging. In Parallel & Distributed Processing Symposium (IPDPS) 2012 IEEE 26th International IEEE; May 2012:569\u2013581.","DOI":"10.1109\/IPDPS.2012.59"},{"key":"e_1_2_7_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11548-013-0840-8"},{"key":"e_1_2_7_63_1","doi-asserted-by":"crossref","unstructured":"KouskoulasY RenshawD PlatzerA KazanzidesP.Certifying the safe design of a virtual fixture control algorithm for a surgical robot. In Proceedings of the 16th international conference on Hybrid systems: computation and control ACM; April2013:263\u2013272.","DOI":"10.1145\/2461328.2461369"},{"key":"e_1_2_7_64_1","doi-asserted-by":"crossref","unstructured":"DumitruVC CherciuM.Application of the FMEA concept to medical robotic system. In Advanced Engineering Forum June2015: Vol.13 324\u2013331.","DOI":"10.4028\/www.scientific.net\/AEF.13.324"},{"key":"e_1_2_7_65_1","first-page":"39","article-title":"Portrait\u2010robot d'un petit prodige: ABB pr\u00e9sente son nouveau robot IRB 120 et son armoire de commande IRC5 Compact","volume":"4","author":"Mikaelsson P","year":"2009","journal-title":"Revue ABB"},{"key":"e_1_2_7_66_1","unstructured":"CardwellM.An IRB 120 robots picks and packs tubes of hair color into boxes for L'Oreal Canada.www.abb.com;2011."},{"key":"e_1_2_7_67_1","unstructured":"EmmersonB.IRB 120 inserting thermoplastic trays in to boxes for BDMO.www.abb.com;2011."},{"key":"e_1_2_7_68_1","unstructured":"ZiZo: a tool to model simulate and verify reconfigurable real time control systems. aut.uni\u2010saarland.de.http:\/\/www.aut.uni\u2010saarland.de\/forschung\/forschung\u2010zizo\u2010tool\u2010bensalem\/Accessed May 21 2016."}],"container-title":["The International Journal of Medical Robotics and Computer Assisted Surgery"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Frcs.1786","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Frcs.1786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/rcs.1786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T16:39:41Z","timestamp":1749746381000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/rcs.1786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,14]]},"references-count":67,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["10.1002\/rcs.1786"],"URL":"https:\/\/doi.org\/10.1002\/rcs.1786","archive":["Portico"],"relation":{},"ISSN":["1478-5951","1478-596X"],"issn-type":[{"type":"print","value":"1478-5951"},{"type":"electronic","value":"1478-596X"}],"subject":[],"published":{"date-parts":[[2016,11,14]]},"article-number":"e1786"}}