Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

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



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


We describe an approach to the model-based engineering of embedded and cyber-physical systems, based on the semantic integration of diverse discipline-specific notations and tools. Using the example of a small unmannedaerial vehicle, we explain the need for multiple notations and collaborative modelling. Learning from experience with binary co-modelling based on a bespoke operational semantics, we describe current work delivering an extended approach that enables integration of multiple models and tools in a consistent tool chain, founded on an extensible semantic framework exploiting the Unifying Theories of Programming.

Publication metadata

Author(s): Larsen PG, Fitzgerald J, Woodcock J, Nilsson R, Gamble C, Foster S

Editor(s): Steffen, B

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination and Applications

Year of Conference: 2016

Pages: 171-186

Online publication date: 05/10/2016

Acceptance date: 14/06/2016

Date deposited: 26/09/2016

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-319-47169-3_13

Notes: 7th International Symposium (ISoLA 2016)

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319471693