Peter Gorm Larsen

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

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • Peter Gorm Larsen
  • John Fitzgerald, Newcastle University, DenmarkJim Woodcock, University of York, United Kingdom
  • Rene Nilsson
  • Carl Gamble, Newcastle University, DenmarkSimon Foster, York University, Denmark
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