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

Abstract

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

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

“…[12] benefited from Robocode simulator to simulate a reconfigurable conveyor system's behavior and run it in the background (used it as a background simulation) to output time information and the coordinate for the generation of Java animation. Similar to [63], [41] used Simulink for time performance analysis. [44] is another example for utilizing simulations for analysis purposes in which CPS Safety Analysis and simulation Platform (CP-SAP) was developed.…”

“…In [10], the authors transformed a SysML model to a graph by employing GraphML. Other studies include: [49,41,97] used QVT, [40] implemented M2M transformation using Xtext, [12,155,149] used Graph Rewriting and Transformation (GReAT) for M2M transformation, while EXTEND is used for the M2M transformation in [23].…”

“…The studies bellow presented the implementations of M2T transformations using existing tools like Acceleo [90,41], Xtend [49,40], IOPT tools [21], and GenERTiCA [105], except for one study [162] that presented meta-models of HybridUML and Quantified Hybrid Program (QHP) and then they used ATLAS Transformation Language (ATL) for defining the transformation rules. [49] was the only study presenting T2M transformation using Xtext.…”