ASSERT-KTH / royal-chaos
Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638
☆134Updated 4 months ago
Alternatives and similar repositories for royal-chaos:
Users that are interested in royal-chaos are comparing it to the libraries listed below
- Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection☆117Updated 4 years ago
- ☆141Updated 3 weeks ago
- Research material about software engineering at KTH☆18Updated 6 months ago
- A tool to visualize distributed system logs☆77Updated 3 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆87Updated 2 years ago
- Create Systemtap's USDT probes at runtime☆125Updated last year
- Now moved into `github.com/inspektor-gadget/inspektor-gadget/pkg/gadget-collection/gadgets/traceloop`. Tracing system calls in cgroups u…☆198Updated last year
- Kubernetes driver extension of the Chaos Toolkit probes and actions API☆190Updated 8 months ago
- ☆19Updated 3 years ago
- eBPF program using kprobes to trace TCP events without run-time compilation dependencies☆409Updated last year
- Inferring models of systems from observations of their behavior☆83Updated 2 years ago
- 🐝 BPFBox 📦 Exploring process confinement in eBPF☆101Updated last year
- Source-code based coverage for eBPF programs actually running in the Linux kernel☆130Updated 2 weeks ago
- eBPF verifier based on abstract interpretation☆404Updated this week
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆334Updated 4 months ago
- Formal models of core Elasticsearch algorithms☆208Updated 2 weeks ago
- PGo is a source to source compiler from Modular PlusCal specs into Go programs.☆176Updated this week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 3 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- List of bugs found in distributed protocols☆193Updated 9 months ago
- Declarative cluster management using constraint programming, where constraints are described using SQL.☆101Updated last year
- The Chaos Toolkit core library☆77Updated 5 months ago
- Chaos Engineering Working Group☆113Updated 4 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆197Updated 2 years ago
- Open Chaos Initiative☆31Updated 4 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Distributed Tracing Working Group☆45Updated 11 months ago
- ☆56Updated last year
- A public and open source chaos engineering experiment catalog.☆55Updated 3 years ago
- The DaCapo benchmark suite☆172Updated last month