Matching execution architecture models with functional models to analyze the time performance of CPS systems

Models are used in cyber-physical systems to improve the quality of the system and its development process by early validation and verification, using simulation, synthesis, and model-checking. Control algorithms are often specified and developed using Simulink models, with the limitation that the model is abstracted from the execution platform, with its computation and communication delays, and the generated code is meant to be executed in a single core. We propose a model-driven approach and tool support to specify the execution platform, the software and message implementation of synchronous models, and enable correct deployment and/or the evaluation of the impact of the delays of the selected platform on the system performance.