This paper presents an extension of the UML MARTE profile for modeling and quantitative analysis of robotic-specific non functional requirements. The UML models of a robot control system annotated with the proposed profile are automatically transformed in the model of a Constraint Satisfaction Problem (CSP). By solving the derived CSP problem, it is possible to adjust the configuration parameters of the control system when the operational scenario changes. In particular, this paper focuses on safety in autonomous navigation. The proposed approach is exemplified with a set of hospital logistics scenarios.
(2018). Modeling and Analysis of safety requirements in robot navigation with an extension of UML MARTE . Retrieved from http://hdl.handle.net/10446/132181
Modeling and Analysis of safety requirements in robot navigation with an extension of UML MARTE
Brugali, Davide
2018-01-01
Abstract
This paper presents an extension of the UML MARTE profile for modeling and quantitative analysis of robotic-specific non functional requirements. The UML models of a robot control system annotated with the proposed profile are automatically transformed in the model of a Constraint Satisfaction Problem (CSP). By solving the derived CSP problem, it is possible to adjust the configuration parameters of the control system when the operational scenario changes. In particular, this paper focuses on safety in autonomous navigation. The proposed approach is exemplified with a set of hospital logistics scenarios.| File | Dimensione del file | Formato | |
|---|---|---|---|
|
2018RCAR.pdf
Solo gestori di archivio
Versione:
postprint - versione referata/accettata senza referaggio
Licenza:
Licenza default Aisberg
Dimensione del file
267.8 kB
Formato
Adobe PDF
|
267.8 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo
