• Login
    View Item 
    •   TECNALIA Publications Home
    • TECNALIA
    • TECNALIA
    • View Item
    • TECNALIA Publications Home
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Modelling the Component-based Architecture and Safety Contracts of ArmAssist in Papyrus for Robotics

    View/Open
    SafetyContracts_ArmA ... (1.449Mb)
    Identifiers
    URI: http://hdl.handle.net/11556/1198
    ISBN: 978-1-6654-4475-0
    DOI: 10.1109/rose52553.2021.00009
    Bibliography Export
    RefworksRisMendeleyEndNote
    Statistics
    View Usage Statistics
    Full record
    Show full item record
    Author/s
    Martinez, Jabier; Ruiz, Alejandra; Garzo, Ainara; Keller, Thierry; Radermacher, Ansgar; [et al.]
    Date
    2021
    Keywords
    Robotics
    Modelling
    Safety
    Component based architecture
    Contract based design
    ArmAssist
    Healthcare
    Papyrus for Robotics
    Abstract
    Healthcare 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.
    Type
    conferenceObject

    © TECNALIA 2021  | All rights reserved
    Contact Us | Send Feedback
     

     

    Browse

    All of TECNALIA PublicationsAuthorsTitlesTypesKeywordsThis CollectionAuthorsTitlesTypesKeywords

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    Of interest

    About TECNALIA
    Open AireOpen DoarRecolectaSHERPA/ROMEO

    © TECNALIA 2021  | All rights reserved
    Contact Us | Send Feedback