Game-based Synthesis for Industrial Automation

• Applicants: Dr. Chih-Hong Cheng; Dr. Michael Luttenberger
• Subject Area: Theoretical Computer Science
• Term: from 2014 to 2019
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 253384115

Software synthesis is a technique that allows automatic creation of correct programs from high-level specifications, component libraries (assumed to be correct), and the description of the interaction between the system under synthesis and its environment. as a game in the sense of theoretical computer science. The goal of this DFG proposal is to develop a novel approach for synthesizing embedded software systems specifically in the domain of industrial automation.Our initial studies demonstrate that this approach is promising and already viable for systems of small scale.Still, we need to advance existing results and tools to meet the requirements and challenges that arise from use-cases coming from industry. Driven by a collection of benchmarks and use-cases of pratical relevance which we will generate within this project, we will study richer specification formalisms and corresponding game solving techniques, efficient methods to perform decentralized controller generation, and lastly, algorithmic methods to fight against state-explosion problems. A successful completion of this project will greatly increase the usability of synthesis in production settings where frequent change based on different products is required as it is the case e.g. in small or medium enterprises.

• DFG Programme: Research Grants