This textbook intends to be a comprehensive and substantially self-contained two-volume
book covering performance, reliability, and availability evaluation subjects. The volumes …

Cloud computing systems fail in complex and unexpected ways due to unexpected
combinations of events and interactions between hardware and software components. Fault …

Identifying the failure modes of cloud computing systems is a difficult and time-consuming
task, due to the growing complexity of such systems, and the large volume and noisiness of …

Many program analysis tools and techniques have been developed to assess program
vulnerability. Yet, they are based on the standard concept of reachability and represent an …

In this work, we present a novel fault injection solution (ThorFI) for virtual networks in cloud
computing infrastructures. ThorFI is designed to provide non-intrusive fault injection …

Cloud computing systems fail in complex and unforeseen ways due to unexpected
combinations of events and interactions among hardware and software components. These …

Abstract The “Tailored Mutation-based Software Fault Injection Tool (IM-FIT)” is a versatile
tool developed for evaluating the robustness of safety-critical system software, specifically …

In this article, we present a novel fault injection framework for system call invocation errors,
called Phoebe. Phoebe is unique as follows; First, Phoebe enables developers to have full …

Many organizations are moving their systems to the cloud, where providers consolidate
multiple clients using virtualization, which creates challenges to business-critical …

Certification through auditing allows to ensure that critical embedded systems are secure.
This entails reviewing their critical components and checking for dangerous execution paths …