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 comodelling 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.
CITATION STYLE
Larsen, P. G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., & Foster, S. (2016). Towards semantically integrated models and tools for cyber-physical systems design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9953 LNCS, pp. 171–186). Springer Verlag. https://doi.org/10.1007/978-3-319-47169-3_13
Mendeley helps you to discover research relevant for your work.