Martinez, JabierRuiz, AlejandraRadermacher, AnsgarTonetta, Stefano2024-07-242024-07-242021-06Martinez , 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.00007conference9781665444743https://hdl.handle.net/11556/2812Publisher Copyright: © 2021 IEEE.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.4enginfo:eu-repo/semantics/restrictedAccessconference output10.1109/RoSE52553.2021.00007Contract based designModellingPapyrus for RoboticsRoboticsHardware and ArchitectureSoftwareControl and OptimizationArtificial IntelligenceSDG 9 - Industry, Innovation, and Infrastructurehttp://www.scopus.com/inward/record.url?scp=85112867839&partnerID=8YFLogxK