Toggle Main Menu Toggle Search

ePrints

Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems: The INTO-CPS Project

Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by IEEE, 2016.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs). Challenges facing model-based CPS engineering are described, focussing on the semantic diversity of models, management of the large space of models and artefacts produced in CPS engineering, and the need to evaluate effectiveness in industrial settings. We outline the approach taken to each of these issues, particularly on the use of semantically integrated multi-models, links to architectural modelling, code generation and testing, and evaluation via industry-led studies. We describe progress on the development of a prototype tool chain from baseline tools, and discuss ongoing challenges and open research questions in this area.


Publication metadata

Author(s): Larsen PG, Fitzgerald J, Woodcock J, Fritzson P, Brauer J, Kleijn C, Lecomte T, Pfeil M, Green O, Basagiannis S, Sadovykh A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data)

Year of Conference: 2016

Pages: 1-6

Online publication date: 23/06/2016

Acceptance date: 11/04/2016

Publisher: IEEE

URL: http://dx.doi.org/10.1109/CPSData.2016.7496424

DOI: 10.1109/CPSData.2016.7496424

Library holdings: Search Newcastle University Library for this item

ISBN: 9781509011544


Actions

Link to this publication


Share