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

Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble, Simon Foster
2016 Lecture Notes in Computer Science  
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
more » ... and tools in a consistent tool chain, founded on an extensible semantic framework exploiting the Unifying Theories of Programming.
doi:10.1007/978-3-319-47169-3_13 fatcat:lxsnzyqbjzb6vbmbrl3imcodke