Browse by author
Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald
This is the authors' accepted manuscript of a book chapter that has been published in its final definitive form by Springer, 2023.
For re-use rights please refer to the publisher's terms and conditions.
The model-based engineering of dependable robotic systems brings challenges that include the need to work effectively with a range of models, owners and operators, and addressing the extent to which the systems evolve over time. This paper explores the linking of co-simulation, which allows for the exploration of models composed of multiple diverse simulation units, with the concept of a digital twin, which provides a framework for coupling virtual models with the real, evolving systems that they are intended to represent. We describe a systematic and generic approach to fault injection in multi-formalism models that use the Functional Mockup Interface standard, alongside the embedding of such multi-models in digital twins. We illustrate the potential and challenges of such an approach using a small “desktop” version of a commercial semi-autonomous agricultural robot. Inspired by the work of Jan Peleska on test automation, we identify directions for future research and innovation in this setting.
Author(s): Larsen PG, Esterle L, Fitzgerald J, Frasheri M
Editor(s): Haxthausen, AE; Huang, W; Roggenbach M
Publication type: Book Chapter
Publication status: Published
Book Title: Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Year: 2023
Volume: 14165
Pages: 222-236
Online publication date: 17/08/2023
Acceptance date: 02/04/2018
Series Title: Lecture Notes in Computer Science
Publisher: Springer
Place Published: Cham
URL: https://doi.org/10.1007/978-3-031-40132-9_14
DOI: 10.1007/978-3-031-40132-9_14
Library holdings: Search Newcastle University Library for this item
ISBN: 9783031401312