Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor John Fitzgerald, Dr Carl Gamble, Dr Peter Larsen, Dr Ken Pierce


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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 openresearch questions in this area.

Publication metadata

Author(s): Fitzgerald JS, Gamble C, Larsen PG, Pierce K, Woodcock JCP

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2015 IEEE/ACM 37TH IEEE International Conference on Software Engineering

Year of Conference: 2015

Pages: 40-46

Online publication date: 27/07/2015

Acceptance date: 01/01/1900

Publisher: IEEE


DOI: 10.1109/FormaliSE.2015.14

Library holdings: Search Newcastle University Library for this item

Series Title: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)

ISBN: 9781479919345