C1 – Programming Abstractions for Cyber-Physical Systems

The goal of this project is to develop programming abstractions for CPS applications, together with reasoning and verification techniques for correctness, synthesis techniques across continuous and discrete phenomena, and visualisation and immersive interaction tools for better programmer productivity. The basis for the project will be Language integrated transduction (LinT), a programming model for CPS. We shall develop an implementation and runtime system, and use it to develop sample CPS applications in home automation and cyber-physical production case studies. Our long-term vision is an integrated development environment for programming, verifying, and understanding high-performance and scalable applications involving perception of, planning for, and acting on the physical world, and to significantly raise the state of the art in development effort and quality of such systems. Abstractions and algorithmic analysis techniques developed in this project should form the core of a provably correct design methodology for complex CPS applications.