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

Fitzgerald, JS; Gamble, C; Larsen, PG; Pierce, K; Woodcock, JCP

doi:10.1109/FormaliSE.2015.14

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

Downloads

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

Abstract

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.