RoboChart: modelling and verification of the functional behaviour of robotic applications

Miyazawa, Alvaro Heiji orcid.org/0000-0003-2233-9091, De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Li, W. orcid.org/0000-0001-9786-585X et al. (3 more authors) (2019) RoboChart: modelling and verification of the functional behaviour of robotic applications. Software and Systems Modeling. pp. 3097-3149. ISSN 1619-1366

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © The Author(s) 2019
Keywords: CSP, Domain-specific language for robotics, Formal semantics, Model checking, Process algebra, State machines, Timed properties
Dates:
  • Accepted: 21 December 2018
  • Published (online): 24 January 2019
  • Published: 1 October 2019
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)
Depositing User: Pure (York)
Date Deposited: 25 Jan 2019 15:00
Last Modified: 05 Feb 2024 00:33
Published Version: https://doi.org/10.1007/s10270-018-00710-z
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10270-018-00710-z
Related URLs:

Download

Filename: Miyazawa2019_Article_RoboChartModellingAndVerificat.pdf

Description: Miyazawa2019_Article_RoboChartModellingAndVerificat

Licence: CC-BY 2.5

Export

Statistics