4.2 Article Proceedings Paper

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

Publisher

SPRINGER HEIDELBERG
DOI: 10.1007/s10009-022-00686-8

Keywords

Co-simulation; Model-checking; Cyber-physical systems; Formal methods

Funding

  1. Poul Due Jensen Foundation

Ask authors/readers for more resources

Simulation-based analyses are crucial for the development of cyber-physical systems, and co-simulation is a technique that couples specialized simulation tools through an orchestration algorithm. This paper focuses on verifying and synthesizing orchestration algorithms that respect the contracts of simulation tool implementations, specifically for complex and adaptive co-simulation scenarios.
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 multiple simulation tools. The simulation result depends on the orchestration algorithm that must stabilize algebraic loops, choose the simulation resolution, and adhere to each simulation tool's implementation. This paper describes how to verify that an orchestration algorithm respects all contracts related to the simulation tool's implementation and how to synthesize such tailored orchestration algorithms. The approaches work for complex and adaptive co-simulation scenarios and have been applied to several real-world case studies.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.2
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available