Towards Continuous and Data-driven Specification and Verification of Resilience Scenarios

Abstract

Microservice-based software systems aim to be re-silient to changes, which lead to transient behavior. Precisely specifying resilience requirements is challenging, as transient behavior is complex and subject to uncertainty. We envision a process of continuous resilience requirement specification and verification at runtime, which assists software architects in understanding their system and continuously improves the quality and quantity of the specified resilience requirements. The envisioned approach uses specifications in easy-to-use formats like scenarios and property specification patterns, which can be automatically verified based on various data sources, i.e., monitoring, simulation, and chaos experiments. Furthermore, it provides suggestions for improving requirements through visualization and interaction. Our preliminary results consist of several tools, e.g., the resilience simulator MiSim and Resirio for elicitation and specification of initial resilience scenarios.