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
N1 - Publisher Copyright:
© 2021 IEEE.
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 - http://www.scopus.com/inward/record.url?scp=85112867839&partnerID=8YFLogxK
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 -
