Multi-Domain Coupling for Automated Synthesis of Distributed Cyber-Physical Systems

Cyber-physical systems are systems for which physical processes, control algorithms that control these processes, and the computation and communication platforms on which these control algorithms are implemented must be modeled and designed in a tightly integrated fashion. However, currently available methods and tools are not equipped to handle such integrated modeling and design. Instead different tools are used by different teams to design different parts of the system, which at the end become incompatible. This results in costly integration and debugging processes. Instead, we need automated synthesis approaches that encompass multiple domains - like control algorithms, and also their implementations - and can synthesize complete systems from their partial specifications. In this paper, we discuss the challenges in developing such approaches and possible solutions.