By the same authors

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Research output: Contribution to conferencePaperpeer-review

Full text download(s)

Published copy (DOI)


  • Jim Woodcock
  • John Fitzgerald
  • Carl Gamble
  • Peter Gorm Larsen
  • Kenneth Pierce


Publication details

DatePublished - 2015
Original languageEnglish


The engineering of dependable cyber-physical systems (CPSs) is inherently collaborative, demanding cooperation between diverse disciplines. A goal of current research is the development of integrated tool chains for model-based CPS design that support co-modelling, analysis, co-simulation, testing and implementation. We discuss the role of formal methods in addressing three key aspects of this goal: providing reasoning support for semantically heterogeneous models, managing the complexity and scale of design space exploration, and supporting traceability and provenance in the CPS design set. We briefly outline an approach to the development of such a tool chain based on existing 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