Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps

Simulation-based analyses are becoming increasingly vital for the development of cyber-physical systems. Co-simulation is one such technique, enabling the coupling of specialized simulation tools through an orchestration algorithm. The orchestrator describes how to coordinate the simulation of multi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer Jg. 24; H. 6; S. 999 - 1024
Hauptverfasser:	Hansen, Simon Thrane, Thule, Casper, Gomes, Cláudio, van de Pol, Jaco, Palmieri, Maurizio, Inci, Emin Oguz, Madsen, Frederik, Alfonso, Jesús, Castellanos, José Ángel, Rodriguez, José Manuel
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Schlagworte:	Algebra Algorithms Communication Computer engineering Computer Science Cyber-physical systems Simulation Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Cyber-physical systems Formal methods Co-simulation Model-checking
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!