Robotics and Integrated Formal Methods: Necessity Meets Opportunity

Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Fisher, Michael (2018) Robotics and Integrated Formal Methods: Necessity Meets Opportunity. In: Integrated Formal Methods, 2018-9-5 - 2018-7-7, Maynooth, Ireland.

	Text 1805.11996v1.pdf - Submitted version Download (122kB)
	Text ifmfinal.pdf - Author Accepted Manuscript Download (140kB)

Abstract

Robotic systems are multi-dimensional entities, combining both hardware and software, that are heavily dependent on, and influenced by, interactions with the real world. They can be variously categorised as embedded, cyberphysical, real-time, hybrid, adaptive and even autonomous systems, with a typical robotic system being likely to contain all of these aspects. The techniques for developing and verifying each of these system varieties are often quite distinct. This, together with the sheer complexity of robotic systems, leads us to argue that diverse formal techniques must be integrated in order to develop, verify, and provide certification evidence for, robotic systems. Furthermore, we propose the fast evolving field of robotics as an ideal catalyst for the advancement of integrated formal methods research, helping to drive the field in new and exciting directions and shedding light on the development of large-scale, dynamic, complex systems.

Item Type:	Conference or Workshop Item (Unspecified)
Additional Information:	10 Pages, accepted at iFM2018: https://link.springer.com/chapter/10.1007/978-3-319-98938-9_10
Uncontrolled Keywords:	cs.SE, cs.SE, cs.RO
Depositing User:	Symplectic Admin
Date Deposited:	26 Sep 2018 10:06
Last Modified:	19 Jan 2023 01:30
DOI:	10.1007/978-3-319-98938-9_10
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3023589