HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
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
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.