Home > Research > Publications & Outputs > Fast Kernel Error Propagation Analysis in Virtu...

Electronic data

  • vmfork-ieee-copyright

    Rights statement: ©2021 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

    Accepted author manuscript, 286 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

Text available via DOI:

View graph of relations

Fast Kernel Error Propagation Analysis in Virtualized Environments

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Published
Close
Publication date24/05/2021
Host publication2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
PublisherIEEE
Pages159-170
Number of pages12
ISBN (Electronic)9781728168364
ISBN (Print)9781728168371
<mark>Original language</mark>English
Event14th IEEE International Conference on Software Testing, Verification and Validation, ICST 2021 - Virtual, Porto de Galinhas, Brazil
Duration: 12/04/202116/04/2021

Conference

Conference14th IEEE International Conference on Software Testing, Verification and Validation, ICST 2021
Country/TerritoryBrazil
CityVirtual, Porto de Galinhas
Period12/04/2116/04/21

Conference

Conference14th IEEE International Conference on Software Testing, Verification and Validation, ICST 2021
Country/TerritoryBrazil
CityVirtual, Porto de Galinhas
Period12/04/2116/04/21

Abstract

Assessing operating system dependability remains a challenging problem, particularly in monolithic systems. Component interfaces are not well-defined and boundaries are not enforced at runtime. This allows faults in individual components to arbitrarily affect other parts of the system. Software fault injection (SFI) can be used to experimentally assess the resilience of such systems in the presence of faulty components. However, applying SFI to complex, monolithic operating systems poses challenges due to long test latencies and the difficulty of detecting corruptions in the internal state of the operating system.In this paper, we present a novel approach that leverages static and dynamic analysis alongside modern operating system and virtual machine features to reduce SFI test latencies for operating system kernel components while enabling efficient and accurate detection of internal state corruptions.We demonstrate the feasibility of our approach by applying it to multiple widely used Linux file systems.

In this paper, we present a novel approach that leverages static and dynamic analysis alongside modern operating system and virtual machine features to reduce SFI test latencies for operating system kernel components while enabling efficient and accurate detection of internal state corruptions.

We demonstrate the feasibility of our approach by applying it to multiple widely used Linux file systems

Bibliographic note

©2021 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.