<img height="1" width="1" src="https://www.facebook.com/tr?id=&amp;ev=PageView &amp;noscript=1">

Posted by Carl Pulley
Mon, Dec 5, 2016

This blog post explores the degree to which real world distributed systems may be proven to be correct. I outline how fault injection, following Chaos Engineering principles [1], might aid this verification process. Finally, I briefly review existing fault injection frameworks. Future posts shall present a generic fault injection framework - the - and explore how DSLs, based on IO-automata, may be built allowing the specification of distributed system behavioural properties with their conformance ensured using runtime monitoring.

Posted by Laura Bria
Thu, Jan 29, 2015

Welcome to the 7th edition of #ThisWeekInDevOps ! 

This blog aims to keep you up to date with the latest news from the world of DevOps.

Recent Posts

Posts by Topic

see all

Subscribe to Email Updates