Top Repositories
A simulator that shows the resilience of distributed software systems.
The Cockpit provides a visual user interface and coordinates different tools to implement the DiSpel approach for early-phase Chaos Engineering. It allows to store and manage scenarios and analysis results.
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
Repositories
18A simulator that shows the resilience of distributed software systems.
No description provided.
The Cockpit provides a visual user interface and coordinates different tools to implement the DiSpel approach for early-phase Chaos Engineering. It allows to store and manage scenarios and analysis results.
No description provided.
No description provided.
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
No description provided.
No description provided.
Monitoring-based Stimulus Identification Module
No description provided.
No description provided.
Contains architecture extraction, automated hazard analysis, and elicitation bot
No description provided.
Chaos experiments based on real-life incidents, for the TrainTicket benchmark system
Helper scripts for using and loadtesting the TrainTicket benchmark system, partially adapted/ported from work provided by Uni of Würzburg
Forked train-ticket with branches for fault injection and chaos experimentation
Frontend and visualization component of the conversational transient behavior visualization.
Django webservice for conversational transient behavior visualization.