Toggle Main Menu Toggle Search

Open Access padlockePrints

Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

Lookup NU author(s): Dr Ken Pierce, Dr Carl Gamble, Dr David GolightlyORCiD, Professor 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.

Publication metadata

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

Pages: 237-253

Online publication date: 11/08/2020

Acceptance date: 28/11/2019

Date deposited: 10/12/2019

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-030-54997-8_16

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