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

Full description

Bibliographic Details

Published in:	International journal on software tools for technology transfer Vol. 24; no. 6; pp. 999 - 1024
Main Authors:	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
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2022 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!