By the same authors

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

Research output: Contribution to conferencePaperpeer-review

Standard

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. / Woodcock, Jim; Fitzgerald, John; Gamble, Carl; Larsen, Peter Gorm; Pierce, Kenneth.

2015. 40-46.

Research output: Contribution to conferencePaperpeer-review

Harvard

Woodcock, J, Fitzgerald, J, Gamble, C, Larsen, PG & Pierce, K 2015, 'Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains', pp. 40-46. https://doi.org/10.1109/FormaliSE.2015.14

APA

Woodcock, J., Fitzgerald, J., Gamble, C., Larsen, P. G., & Pierce, K. (2015). Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. 40-46. https://doi.org/10.1109/FormaliSE.2015.14

Vancouver

Woodcock J, Fitzgerald J, Gamble C, Larsen PG, Pierce K. Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains. 2015. https://doi.org/10.1109/FormaliSE.2015.14

Author

Woodcock, Jim ; Fitzgerald, John ; Gamble, Carl ; Larsen, Peter Gorm ; Pierce, Kenneth. / Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains.

Bibtex - Download

@conference{38fef11528a24dafb5818992d6ccc712,
title = "Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains",
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.",
author = "Jim Woodcock and John Fitzgerald and Carl Gamble and Larsen, {Peter Gorm} and Kenneth Pierce",
year = "2015",
doi = "10.1109/FormaliSE.2015.14",
language = "English",
pages = "40--46",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

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

AU - Woodcock, Jim

AU - Fitzgerald, John

AU - Gamble, Carl

AU - Larsen, Peter Gorm

AU - Pierce, Kenneth

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1109/FormaliSE.2015.14

DO - 10.1109/FormaliSE.2015.14

M3 - Paper

SP - 40

EP - 46

ER -