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.
2018
Brugali, Davide
File allegato/i alla scheda:
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/132181
Citazioni
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 5
social impact