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: | Dissertation |
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 | Size | Format | |
---|---|---|---|---|
Thesis_Ben_Salem_final.pdf | 5,27 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.