Browse by author
Lookup NU author(s): Dr Ken Pierce,
Dr Carl Gamble,
Dr David Golightly,
Dr Roberto Palacin
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Springer, 2019.
For re-use rights please refer to the publisher's terms and conditions.
Definitions of cyber-physical systems often include humans within the system boundary, however design techniques often focus on the technical aspects and ignore this important part of the system. Multi-modelling and co-simulation offer a way to bring together models from different disciplines to capture better the behaviours of the overall system. In this paper we present some initial results of incorporating ergonomic models of human behaviours within a cyber-physical multi-model. We present three case studies, from the autonomous aircraft and railway sectors, including initial experiments, and discuss future directions.
Author(s): Pierce K, Gamble C, Golightly D, Palacin R
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: FM 2019: Formal Methods. FM 2019 International Workshops
Year of Conference: 2019
Online publication date: 11/08/2020
Acceptance date: 28/11/2019
Date deposited: 10/12/2019
Notes: This is a special volume called "FM'19 - Workshops" out of the Formal Methods Symposium 2019. Volume editors are Nelma Moreira and Emil Sekerinski.
Series Title: Lecture Notes in Computing Science