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

Link:
Autor/in:
Erscheinungsjahr:
2022
Medientyp:
Text
Schlagworte:
  • requirements engineering
  • resilience
  • scenarios
Beschreibung:
  • 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.
Lizenz:
  • info:eu-repo/semantics/openAccess
Quellsystem:
Forschungsinformationssystem der UHH

Interne Metadaten
Quelldatensatz
oai:www.edit.fis.uni-hamburg.de:publications/c97515f8-f807-4e45-9364-bdb9147f124f