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

Research output: Research - peer-reviewArticle in proceedings


  • Peter Gorm Larsen
  • John Fitzgerald
    John FitzgeraldNewcastle UniversityDenmark
  • Jim Woodcock
    Jim WoodcockUniversity of YorkUnited Kingdom
  • Rene Nilsson
  • Carl Gamble
    Carl GambleNewcastle UniversityDenmark
  • Simon Foster
    Simon FosterYork UniversityDenmark
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 unmanned aerial 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.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Proceedings, Part II
EditorsMargaria Tiziana, Steffen Bernhard
Number of pages17
Publication year7 Jul 2016
ISBN (print)978-3-319-47168-6
ISBN (Electronic)978-3-319-47169-3
StatePublished - 7 Jul 2016
EventISoLA 2016 -
Duration: 10 Oct 201614 Oct 2016


ConferenceISoLA 2016
SeriesLecture Notes in Computer Science
Volume 9953

Bibliographical note

This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.

See relations at Aarhus University Citationformats

ID: 103554180