Assumptions and Guarantees for Composable Models in Papyrus for Robotics

Jabier Martinez; Alejandra Ruiz; Ansgar Radermacher; Stefano Tonetta

doi:10.1109/RoSE52553.2021.00007

Assumptions and Guarantees for Composable Models in Papyrus for Robotics

Jabier Martinez
, Alejandra Ruiz
, Ansgar Radermacher
, Stefano Tonetta

List
Fondazione Bruno Kessler

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

The separation of concerns helps to manage the intrinsic complexity of defining robotics components, systems and missions. This separation of concerns is supported by the Rob-MoSys modelling approach addressing both the modelling needs of the robotics domain and identifying the involved stakeholders and required expertise. In this multi-stakeholder context, there are pressing concerns about non-functional characteristics including safety aspects (e.g., collaborative robots, increasing risks to humans and the environment where robotic systems operate). It is of special interest to explicitly establish the non-functional assumptions and guarantees. This assures that the their validity can be automatically evaluated, in particular during the definition of a system as a composition of several component definitions. We present how we extended one of the RobMoSys implementations, Papyrus for Robotics, for contracts modelling and assertions validation. Notably this includes the meta-modelling decisions to allow extensibility for assertion languages.

Original language	English
Title of host publication	Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1-4
Number of pages	4
ISBN (Electronic)	9781665444743
DOIs	https://doi.org/10.1109/RoSE52553.2021.00007
Publication status	Published - Jun 2021
Event	3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021 - Virtual, Online Duration: 2 Jun 2021 → …

Publication series

Name	Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021

Conference

Conference	3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021
City	Virtual, Online
Period	2/06/21 → …

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Contract based design
Modelling
Papyrus for Robotics
Robotics

Access to Document

10.1109/RoSE52553.2021.00007

Cite this

Martinez, J., Ruiz, A., Radermacher, A., & Tonetta, S. (2021). Assumptions and Guarantees for Composable Models in Papyrus for Robotics. In Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021 (pp. 1-4). Article 9474426 (Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/RoSE52553.2021.00007

Martinez, Jabier ; Ruiz, Alejandra ; Radermacher, Ansgar et al. / Assumptions and Guarantees for Composable Models in Papyrus for Robotics. Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021. Institute of Electrical and Electronics Engineers Inc., 2021. pp. 1-4 (Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021).

@inproceedings{1fccf452761a4ecc8dfd5efbd401cf9c,

title = "Assumptions and Guarantees for Composable Models in Papyrus for Robotics",

abstract = "The separation of concerns helps to manage the intrinsic complexity of defining robotics components, systems and missions. This separation of concerns is supported by the Rob-MoSys modelling approach addressing both the modelling needs of the robotics domain and identifying the involved stakeholders and required expertise. In this multi-stakeholder context, there are pressing concerns about non-functional characteristics including safety aspects (e.g., collaborative robots, increasing risks to humans and the environment where robotic systems operate). It is of special interest to explicitly establish the non-functional assumptions and guarantees. This assures that the their validity can be automatically evaluated, in particular during the definition of a system as a composition of several component definitions. We present how we extended one of the RobMoSys implementations, Papyrus for Robotics, for contracts modelling and assertions validation. Notably this includes the meta-modelling decisions to allow extensibility for assertion languages.",

keywords = "Contract based design, Modelling, Papyrus for Robotics, Robotics",

author = "Jabier Martinez and Alejandra Ruiz and Ansgar Radermacher and Stefano Tonetta",

note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021 ; Conference date: 02-06-2021",

year = "2021",

month = jun,

doi = "10.1109/RoSE52553.2021.00007",

language = "English",

series = "Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "1--4",

booktitle = "Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021",

address = "United States",

}

Martinez, J, Ruiz, A, Radermacher, A & Tonetta, S 2021, Assumptions and Guarantees for Composable Models in Papyrus for Robotics. in Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021., 9474426, Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021, Institute of Electrical and Electronics Engineers Inc., pp. 1-4, 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021, Virtual, Online, 2/06/21. https://doi.org/10.1109/RoSE52553.2021.00007

Assumptions and Guarantees for Composable Models in Papyrus for Robotics. / Martinez, Jabier; Ruiz, Alejandra; Radermacher, Ansgar et al.
Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021. Institute of Electrical and Electronics Engineers Inc., 2021. p. 1-4 9474426 (Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Assumptions and Guarantees for Composable Models in Papyrus for Robotics

AU - Martinez, Jabier

AU - Ruiz, Alejandra

AU - Radermacher, Ansgar

AU - Tonetta, Stefano

PY - 2021/6

Y1 - 2021/6

N2 - The separation of concerns helps to manage the intrinsic complexity of defining robotics components, systems and missions. This separation of concerns is supported by the Rob-MoSys modelling approach addressing both the modelling needs of the robotics domain and identifying the involved stakeholders and required expertise. In this multi-stakeholder context, there are pressing concerns about non-functional characteristics including safety aspects (e.g., collaborative robots, increasing risks to humans and the environment where robotic systems operate). It is of special interest to explicitly establish the non-functional assumptions and guarantees. This assures that the their validity can be automatically evaluated, in particular during the definition of a system as a composition of several component definitions. We present how we extended one of the RobMoSys implementations, Papyrus for Robotics, for contracts modelling and assertions validation. Notably this includes the meta-modelling decisions to allow extensibility for assertion languages.

AB - The separation of concerns helps to manage the intrinsic complexity of defining robotics components, systems and missions. This separation of concerns is supported by the Rob-MoSys modelling approach addressing both the modelling needs of the robotics domain and identifying the involved stakeholders and required expertise. In this multi-stakeholder context, there are pressing concerns about non-functional characteristics including safety aspects (e.g., collaborative robots, increasing risks to humans and the environment where robotic systems operate). It is of special interest to explicitly establish the non-functional assumptions and guarantees. This assures that the their validity can be automatically evaluated, in particular during the definition of a system as a composition of several component definitions. We present how we extended one of the RobMoSys implementations, Papyrus for Robotics, for contracts modelling and assertions validation. Notably this includes the meta-modelling decisions to allow extensibility for assertion languages.

KW - Contract based design

KW - Modelling

KW - Papyrus for Robotics

KW - Robotics

UR - https://www.scopus.com/pages/publications/85112867839

U2 - 10.1109/RoSE52553.2021.00007

DO - 10.1109/RoSE52553.2021.00007

M3 - Conference contribution

AN - SCOPUS:85112867839

T3 - Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021

SP - 1

EP - 4

BT - Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021

Y2 - 2 June 2021

ER -

Martinez J, Ruiz A, Radermacher A, Tonetta S. Assumptions and Guarantees for Composable Models in Papyrus for Robotics. In Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021. Institute of Electrical and Electronics Engineers Inc. 2021. p. 1-4. 9474426. (Proceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021). doi: 10.1109/RoSE52553.2021.00007

Assumptions and Guarantees for Composable Models in Papyrus for Robotics

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this