Woodcock, Jim orcid.org/0000-0001-7955-2702, Fitzgerald, John, Gamble, Carl et al. (2 more authors) (2015) Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. In: UNSPECIFIED.
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 open research questions in this area.
Metadata
Item Type: | Conference or Workshop Item |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 08 Jul 2016 08:51 |
Last Modified: | 02 Apr 2025 23:35 |
Published Version: | https://doi.org/10.1109/FormaliSE.2015.14 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1109/FormaliSE.2015.14 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:94517 |
Download
Filename: cyber_physical_systems_design.pdf
Description: cyber-physical-systems-design