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.

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

DI NATALE, Marco;Morelli, Matteo;CREMONA, Fabio
2015-01-01

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.
2015
9781467371773
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11382/513803
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
social impact