DiSpel Cockpit: Specification, Verification, and Refinement of Resilience ScenariosTools & Demos
Chaos Engineering is an established method to assess the resilience of software systems by injecting failures and learning from experiments in production. Existing Chaos Engineering tools, such as Chaos Toolkit, facilitate creating and executing various failures but lack support for the entire process of resilience scenario elicitation, specification, execution, and refinement. This paper introduces DiSpel Cockpit for continuous and iterative specification, verification, and refinement of resilience scenarios. To achieve its goal, the DiSpel Cockpit combines the capabilities of existing tools into a holistic approach. The DiSpel Cockpit uses Property Specification Patterns as a formalism to specify stimuli and responses of scenarios. System data is obtained from simulations and monitoring data. This paper presents the tool and demonstrates its usefulness based on resilience scenarios for an industrial system. We expect DiSpel Cockpit to assist software architects, particularly in the early phases of applying Chaos Engineering, when scenarios still have to be formalized, and feedback is necessary to gain confidence before moving toward conducting experiments in production. Video / GitHub
Slides (DiSpelCockpit-slides.pdf) | 754KiB |