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...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 24; číslo 6; s. 999 - 1024
Hlavní autoři:	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
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!