CPSL: A Domain-Specific Language for Modelling the Behaviour of Cyber-Physical Systems

Cyber-physical systems (CPS) are complex machines consisting of many physical and computational parts. These machines have numerous challenges when it comes to their maintenance due to the many disciplines of expertise needed for their understanding. Project Zorro, a multi-institutional research initiative, has been set up with the task of reducing downtime in CPS. In this paper, we propose a novel Domain Specific Language (DSL) for modelling the behaviour of a CPS called Cyber-Physical Systems Language (CSPL). CSPL infers which computational tasks are affected by component failures, thus facilitating intelligent diagnostics and reducing downtime. This is done by specifying the behaviour of the CPS in terms of the parts needed to perform computational tasks performed by the system. We primarily focus on the design of CPSL and showcase its functionality via an example of a smart traffic light system.