Testing, Verification and Improvements of Timeliness in ROS Processes

Hazim, M.Y., Qu, H. orcid.org/0000-0002-1643-8926 and Veres, S.M. (2016) Testing, Verification and Improvements of Timeliness in ROS Processes. In: Alboul , L., Damian, D. and Aitken, J., (eds.) Towards Autonomous Robotic Systems, TAROS 2016. Towards Autonomous Robotic Systems 17th Annual Conference, TAROS 2016, 26 Jun - 01 Jul 2016, Sheffield, UK. Lecture Notes in Computer Science (9716). Springer Verlag , pp. 146-157. ISBN 978-3-319-40378-6



Copyright, Publisher and Additional Information: © Springer International Publishing Switzerland 2016. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: ROS; Verification; PTP; LISA
  • Published: 21 June 2016
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 01 May 2018 12:31
Last Modified: 01 May 2018 12:38
Published Version: https://doi.org/10.1007/978-3-319-40379-3_15
Status: Published
Publisher: Springer Verlag
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-40379-3_15
Related URLs:

Share / Export