Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Fabio Cremona"'
Publikováno v:
Cyber Physical Systems. Model-Based Design ISBN: 9783030411305
CyPhy/WESE
CyPhy/WESE
Nowadays the complexity of embedded systems is constantly increasing and several different types of applications concurrently execute on the same computational platform. Hence these systems have to satisfy real-time constraints and support real-time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::646b2830ac49d2c6eb0b4d83862610bf
https://doi.org/10.1007/978-3-030-41131-2_1
https://doi.org/10.1007/978-3-030-41131-2_1
Publikováno v:
Software & Systems Modeling. 18:1655-1679
Model-based design methodologies are commonly used in industry for the development of complex cyber-physical systems (CPSs). There are many different languages, tools, and formalisms for model-based design, each with its strengths and weaknesses. Ins
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::878df39fb748d3be87c8a2a6ed9ca754
https://doi.org/10.1007/s10270-017-0633-6
https://doi.org/10.1007/s10270-017-0633-6
Publikováno v:
MoDELS
Model-based design methodologies are commonly used in industry for the development of cyber-physical systems (CPSs). There are many different languages, tools, and formalisms for model-based design ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5acd3677cebac5e652d3d59097f9ffc0
https://doi.org/10.1145/3239372.3242896
https://doi.org/10.1145/3239372.3242896
Autor:
Leonardo Mangeruca, Alessandro Ulisse, Giulio M. Mancuso, Stefano Boccabella, Luigi Di Guglielmo, Alberto Ferrari, Alessandro Mignogna, Fabio Cremona
Publikováno v:
2018 Modeling and Simulation Technologies Conference
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df216c97622de06dd6093ac6e3d86375
https://doi.org/10.2514/6.2018-3893
https://doi.org/10.2514/6.2018-3893
Publikováno v:
SAC
This paper presents FIDE, an Integrated Development Environment (IDE) for building applications using Functional Mock-up Units (FMUs) that implement the standardized Functional Mock-up Interface (FMI). FIDE is based on the actororiented Ptolemy II fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4adfc759909b83ef1733a0bbd37c3f41
https://doi.org/10.1145/2851613.2851677
https://doi.org/10.1145/2851613.2851677
Autor:
Marten Lohstroh, David Broman, Edward A. Lee, Marco Di Natale, Stavros Tripakis, Fabio Cremona
Publikováno v:
MEMOCODE
This paper presents a master algorithm for co-simulation of hybrid systems using the Functional Mock-up Interface (FMI) standard. Our algorithm introduces step revision to achieve an accurate and precise handling of mixtures of continuous-time and di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04c3a795aee8e622ca3baaf3afbc2a6a
http://hdl.handle.net/11382/513800
http://hdl.handle.net/11382/513800
Publikováno v:
2015 International Conference on Complex Systems Engineering (ICCSE).
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 usi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0217f69832fda681c3f23fa02899752d
https://doi.org/10.1109/complexsys.2015.7385986
https://doi.org/10.1109/complexsys.2015.7385986
TRES: A modular representation of schedulers, tasks, and messages to control simulations in simulink
Publikováno v:
SAC
Model-based development of CPS is based on the capability of early verification of system properties on a model of the controls and the controlled physical system, and the capability of producing automatically an implementation of the model. Unfortun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f0d6a86e596b13e46deadd87c056d222
http://hdl.handle.net/11382/507293
http://hdl.handle.net/11382/507293
Publikováno v:
ICCPS
Synchronous reactive models are used by automotive suppliers to develop functionality delivered as AUTOSAR components to system integrators (OEMs). Integrators must then generate a task implementation from runnables in AUTOSAR components and deploy t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5167de5bf94d24532b2babbee613823
http://hdl.handle.net/11382/507295
http://hdl.handle.net/11382/507295