Towards Facilitating Resilience in Cyber-Physical Systems using Coordination Languages.

Failures in Cyber-Physical Systems (CPS) can be detrimental. This is why these systems often employ fault-tolerance methods that allow their service to keep working even in the event of hardware or software failures. These methods are often intertwined with computation code, this makes CPS even more complex. We aim to reduce this complexity by means of coordination. The TeamPlay coordination language uses a component-based approach and aims to separate the structure and non-functional property management from the computation code. The computation code can then focus on being functionally correct. We extend this coordination language by introducing the specification and management of fault-tolerance strategies and we introduce additional structures to manage these strategies while keeping code duplication low.