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.
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
Online publication date: 27/07/2015
Acceptance date: 01/01/1900
Library holdings: Search Newcastle University Library for this item
Series Title: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE)