Miyazawa, Alvaro orcid.org/0000-0003-2233-9091, Ahmadi, Sharar, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (5 more authors) (2025) Diagrammatic physical robot models. Software and Systems Modeling. ISSN 1619-1366
Abstract
Simulation is a favoured technique in robotics. It is, however, costly, in terms of development time, and has its usability is limited by the lack of standardisation and portability of simulators. We present RoboSim, a diagrammatic tool-independent domain-specific language to model robotic platforms and their controllers. It can be regarded as a profile of UML/SysML enriched with time primitives, differential equations, and a mathematical semantics. Our previous work on RoboSim described a notation to specify control software. In this paper, we present a novel notation to describe physical models: block diagrams that can be linked to the platform-independent software model to characterise how services required by the software are realised by actuators and sensors. Behaviours are specified by differential equations, and simulations and mathematical models of the whole system can be generated automatically. Our main contributions are a modular and extensible diagrammatic notation that supports the explicit specification of physical behaviours; a set of validation rules that identify well-formed models; a model-to-model transformation from RoboSim to an input format accepted by several simulators; and a formal semantics for mathematical reasoning.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. |
Keywords: | simulation,verification,SDF,hybrid models,diagrammatic models |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) The University of York > Faculty of Sciences (York) > Electronic Engineering (York) |
Funding Information: | Funder Grant number EPSRC EP/R025479/1 EPSRC EP/M025756/1 |
Depositing User: | Pure (York) |
Date Deposited: | 17 Feb 2025 16:10 |
Last Modified: | 13 Mar 2025 05:34 |
Published Version: | https://doi.org/10.1007/s10270-025-01270-9 |
Status: | Published online |
Refereed: | Yes |
Identification Number: | 10.1007/s10270-025-01270-9 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:223475 |
Download
