Please use this identifier to cite or link to this item: doi:10.22028/D291-23217
Title: BROMETH: methodology to develop safe reconfigurable medical robotic systems : application on pediatric supracondylar humeral fracture
Other Titles: BROMETH: eine Methodik zur Entwicklung sicherer rekonfigurierbarer medizinischer Robotersysteme : Anwendung bei pädiatrischen supracondylären Humerusbrüchen
Author(s): Ben Salem, Mohamed Oussama
Language: English
Year of Publication: 2016
SWD key words: Petri-Netz
Robotik
Suprakondylärer Oberarmbruch
Free key words: reconfiguration
Petri nets
R-TNCES
robotics
PCP
supracondylar humeral fracture
DDC notations: 620 Engineering and machine engineering
Publikation type: Doctoral Thesis
Abstract: In this thesis project, we propose a global approach called BROMETH for the development of safe reconfigurable medical robotic systems. The reconfiguration is a useful feature for the modification of software and hardware components to dynamically adapt their behaviors to the execution environment at runtime. We define R-TNCES-based patterns enriched with PCP to model reconfigurable systems with adaptive shared resources. A software tool, ZiZo, is also proposed to model, simulate and verify such R-TNCES models. We introduce, then, a new UML profile, baptized R-UML (Reconfigurable UML), to model such reconfigurable systems. The profile is enriched with a PCP-based solution for the management of resource sharing. An automatic translation of R-UML into R-TNCES is also proposed to support model checking. A new approach is also suggested to generate ROS codes from verified R-UML models. To prove the relevance of BROMETH, the latter is applied to the BROS project.
Diese Arbeit schlgt fr die Entwicklung sicherer rekonfigurierbarer medizinischer Robotersysteme den umfassenden Ansatz BROMETH vor. Die Rekonfiguration ist eine ntzliche Eigenschaft von Software- und HardwareKomponenten, durch die sich deren Verhalten dynamisch zur Laufzeit an die Ausfhrungsumgebung anpassen lsst. In der Arbeit werden R-TNCES-basierte, mit PCP erweiterte Muster definiert, um rekonfigurierbare Systeme mit adaptiven geteilten Ressourcen zu modellieren. Auerdem wird ein SoftwareWerkzeug namens ZiZo vorgeschlagen, um derartige R-TNCES-Modelle zu erstellen, zu simulieren und zu verifizieren. Zur Modellierung solcher rekonfigurierbaren Systeme erfolgt anschlieend die Einfhrung eines neuen UML-Profils, hier R-UML (Reconfigurable UML) genannt. Das Profil wird zum Management der Ressourcenteilung um eine PCP-basierteLsung erweitert. Des Weiteren wird eine automatische bersetzung von R-UML nach R-TNCES vorgeschlagen; dies untersttzt das Model-Checking. Schlielich schlgt diese Arbeit einen neuen Ansatz vor zur Generierung von ROS-Codes aus verifizierten R-UML-Modellen. Um die Bedeutung des BROMETH-Ansatzes zu belegen, wird dieser auf das BROS-Projekt angewendet.
Link to this record: urn:nbn:de:bsz:291-scidok-67824
hdl:20.500.11880/23273
http://dx.doi.org/10.22028/D291-23217
Advisor: Frey, Georg
Date of oral examination: 20-Feb-2017
Date of registration: 3-Mar-2017
Faculty: NT - Naturwissenschaftlich- Technische Fakultät
Department: NT - Systems Engineering
Former Department: bis SS 2016: Fachrichtung 7.4 - Mechatronik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
Thesis_Ben_Salem_final.pdf5,27 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.