By the same authors

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Published copy (DOI)

Author(s)

  • Peter Gorm Larsen
  • John Fitzgerald
  • Jim Woodcock
  • Peter Fritzson
  • Jorg Brauer
  • Christian Kleijn
  • Thierry Lecomte
  • Markus Pfeil
  • Ole Green
  • Stylianos Basagiannis
  • Andrey Sadovykh

Department/unit(s)

Publication details

Title of host publication2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016
DatePublished - 20 Jun 2016
PublisherInstitute of Electrical and Electronics Engineers Inc.
Original languageEnglish
ISBN (Electronic)9781509011544

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations