• DocumentCode
    3321598
  • Title

    Fault injection based on a partial view of the global state of a distributed system

  • Author

    Cukier, Michel ; Chandra, Ramesh ; Henke, David ; Pistole, Jessica ; Sanders, William H.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Illinois Univ., Urbana, IL, USA
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    168
  • Lastpage
    177
  • Abstract
    This paper describes the basis for and preliminary implementation of a new fault injector, called Loki, developed specifically for distributed systems. Loki addresses issues related to injecting correlated faults in distributed systems. In Loki, fault injection is performed based on a partial view of the global state of an application. In particular, facilities are provided to pass user-specified state information between nodes to provide a partial view of the global state in order to try to inject complex faults successfully. A post-runtime analysis, using an off-line clock synchronization and a bounding technique, is used to place events and injections on a single global time-line and determine whether the intended faults were properly injected. Finally, observations containing successful fault injections are used to estimate specified dependability measures. In addition to describing the details of our new approach, we present experimental results obtained from a preliminary implementation in order to illustrate Loki´s ability to inject complex faults predictably
  • Keywords
    distributed programming; program testing; program verification; software reliability; synchronisation; Loki; bounding technique; clock synchronization; distributed software systems; fault injection; post-runtime analysis; software reliability; Contracts; Control systems; Distributed computing; Performance evaluation; Protocols; Visualization; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Reliable Distributed Systems, 1999. Proceedings of the 18th IEEE Symposium on
  • Conference_Location
    Lausanne
  • ISSN
    1060-9857
  • Print_ISBN
    0-7695-0290-3
  • Type

    conf

  • DOI
    10.1109/RELDIS.1999.805093
  • Filename
    805093