Show simple item record

dc.contributor.authorMartinez, Jabier
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorGarzo, Ainara
dc.contributor.authorKeller, Thierry
dc.contributor.authorRadermacher, Ansgar
dc.contributor.authorTonetta, Stefano
dc.date.accessioned2021-09-17T11:27:45Z
dc.date.available2021-09-17T11:27:45Z
dc.date.issued2021
dc.identifier.citationMartinez, Jabier, Alejandra Ruiz, Ainara Garzo, Thierry Keller, Ansgar Radermacher, and Stefano Tonetta. “Modelling the Component-Based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics.” 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering (RoSE) (June 2021). doi:10.1109/rose52553.2021.00009.en
dc.identifier.isbn978-1-6654-4475-0en
dc.identifier.urihttp://hdl.handle.net/11556/1198
dc.description.abstractHealthcare robots are increasingly being used and the way they are engineered they still have several challenges regarding reference models and validation. In this experience report we focus on the ArmAssist robotic system and how it can be modelled including safety considerations for validation in early design phases. ArmAssist is an upper-limb robotic system for stroke rehabilitation based on serious games. The open-source tool Papyrus for Robotics was used for modelling the robotic system in close collaboration with neurorehabilitation domain experts. Papyrus for Robotics includes new functionalities that we contributed for contract-based design at component and system level, allowing to make explicit and validate the safety considerations using formal languages. In our case, the assertions are expressed in OCL and Othello. We present the resulting model and a discussion from domain experts.en
dc.description.sponsorshipThis work has been funded by the SafeCC4Robot Integrated Technical Project which received funding from the European Union’s Horizon 2020 Research and Innovation Programme under grant agreement No. 732410, in the form of financial support to third parties of the RobMoSys Project. We would like to thank Angel Lopez, Elixabete Ostolaza, Matteo Morelli, ´ and Huascar Espinoza for their help during the tool design and development. The authors also would like to thank to Inigo Dorronsoro, Javier Arcas Ruiz-Ruano, Gabriel Gaminde, ˜ Benat Garcia-Mendizabal, Je Hyung Jung, Cristina Rodriguez- ˜ de-Pablo, Joel Perry, Aitor Belloso, David Valencia and Haritz Zabaleta for their contributions to the ArmAssist system development.en
dc.language.isoengen
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en
dc.titleModelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Roboticsen
dc.typeconferenceObjecten
dc.identifier.doi10.1109/rose52553.2021.00009en
dc.relation.projectIDinfo:eu-repo/grantAgreement/EC/H2020/732410/EU/Composable Models and Software for Robotics Systems/RobMoSysen
dc.rights.accessRightsopenAccessen
dc.subject.keywordsRoboticsen
dc.subject.keywordsModellingen
dc.subject.keywordsSafetyen
dc.subject.keywordsComponent based architectureen
dc.subject.keywordsContract based designen
dc.subject.keywordsArmAssisten
dc.subject.keywordsHealthcareen
dc.subject.keywordsPapyrus for Roboticsen
dc.journal.titleProceedings - 2021 IEEE/ACM 3rd International Workshop on Robotics Software Engineering, RoSE 2021en
dc.page.final18en
dc.page.initial13en
dc.identifier.esbn978-1-6654-4474-3en
dc.conference.title3rd IEEE/ACM International Workshop on Robotics Software Engineering, RoSE 2021, Virtual, Online, 2 June 2021 - null, 170815en


Files in this item

Thumbnail

    Show simple item record