Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems
Peter Gorm Larsen, Casper Thule, Kenneth Lausdahl, Victor Bandur, Carl Gamble, Brosse, Etienne, Andrey Sadovykh, Alessandra Bagnato, Luís Diogo Couto · 2016
Having a well-founded connection between different modelling tools such that they form a chain from requirements over formal descriptions for the constituent elements towards final realisations of Cyber-Physical Systems (CPSs) is essential.In this tool paper we explain how this can be achieved with a collection of baseline tools that are adapted to fit into such an open tool chain.The semantic foundations for the different notations used for CPSs are based on different parts of mathematics and the heterogeneous nature of these gives challenges that are solved in the suggested tool chain.