Etfids: Efficient Transient Fault Injection and Detection System

Total Page:16

File Type:pdf, Size:1020Kb

Etfids: Efficient Transient Fault Injection and Detection System ETFIDS: EFFICIENT TRANSIENT FAULT INJECTION AND DETECTION SYSTEM by NINGHAN TIAN Submitted in partial fulfillment of the requirements for the degree of Master of Science Department of Electrical Engineering and Computer Science CASE WESTERN RESERVE UNIVERSITY January, 2019 CASE WESTERN RESERVE UNIVERSITY SCHOOL OF GRADUATE STUDIES We hereby approve the thesis of Ninghan Tian candidate for the degree of Master of Science*. Committee Chair Dr. Daniel G. Saab Committee Member Dr. Christos Papachristou Committee Member Dr. Francis Merat Date of Defense December, 12th, 2018 *We also certify that written approval has been obtained for any proprietary material contained therein. Contents List of Tables iii List of Figures iv Abstract vi 1 Introduction 1 2 Fault Injection Techniques 5 2.1 Hardware-implemented fault injection . .5 2.1.1 Injection with contact . .6 2.1.2 Injection without contact . .6 2.1.3 Hardware implemented fault injection tools . .7 2.2 Software-implemented fault injection (SWIFI) . .9 2.2.1 Compile-time injection . 11 2.2.2 Runtime injection . 11 2.2.3 SWIFI tools . 12 2.3 The significance of SWIFI . 19 3 ETFIDS 21 3.1 Motivation . 21 3.2 The overall approach . 22 i CONTENTS 3.3 The lower level operating principle of ETFIDS . 29 3.4 Fault injection control flow . 32 3.5 Fault outcome analysis . 34 4 Fault Injection Experiments using ETFIDS 40 4.1 Typical fault injection target and experiment configuration . 40 4.2 Fault injection experiment results . 43 4.3 Performance . 45 5 Conclusion 52 ii List of Tables 2.1 Characteristics of fault injection methods. 19 3.1 Size of Dump Files for Fault Outcome Analysis . 38 4.1 Fault Injected Outcome . 45 4.2 Average Time Overhead . 48 4.3 Time Overhead Comparison . 50 4.4 Detailed Time Overhead (in seconds) Comparison . 50 iii List of Figures 1.1 Stored charges versus technology process [7]. .2 2.1 General architecture of Messaline [2]. .7 2.2 Ftape environment [29]. 13 2.3 Xception structure [3]. 15 2.4 The work process when using PROPANE [12]. 16 2.5 Fiesta++ framework [4]. 18 3.1 Illustration of ETFIDS Fault Injection and Analysis. 23 3.2 ETFIDS Overall Framework. 23 3.3 Bit-flip fault model [7]. 26 3.4 Illustration of the Effects of Implemented Fault Models. 28 3.5 Illustration of the Effects of a \Jump" Fault. 28 3.6 ETFIDS Fault Injection Control Flow. 33 3.7 ETFIDS Fault Outcome Analysis Control Flow. 36 3.8 ETFIDS Fault Outcome Analysis Work Flow. 38 3.9 Fault Outcome Analysis Work Flow by Dumping Data. 39 4.1 Average Fault Outcome Probability. 46 4.2 Number of Benign Fault Outcome Observed for Each Target Application. 46 4.3 Number of Time-out Fault Outcome Observed for Each Target Appli- cation. 47 iv LIST OF FIGURES 4.4 Number of Detected Fault Outcome Observed for Each Target Appli- cation. 47 4.5 Number of Crash Fault Outcome Observed for Each Target Application. 48 4.6 Fault Injection Outcome Probability Regards to Each Application. 49 4.7 Relative Time Consumed by One Fault Injection Experiment using Early Termination Feature. (Data Obtained using matrix)...... 51 v ETFIDS: Efficient Transient Fault Injection and Detection System Abstract by NINGHAN TIAN Computer use in high dependability applications is rapidly increasing. However, even when correctly designed, computer systems can still suffer from temporary errors due to various factors. So to increase the reliability of modern computer systems, they should be able to detect, locate, isolate and recover from software, hardware or security attacks errors. Fault injection simulates the effect of unexpected errors on the system; they are useful in the evaluation and validation of dependable systems. As part of this thesis, we developed an efficient transient fault injection and detection system (ETFIDS) for evaluating the fault tolerance and fault response of software applications. Despite being portable and of high performance, ETFIDS introduced a new fault outcome analysis technique which evaluates, concurrently, both the faulty and the fault-free system behavior during runtime for better analysis and efficiency. vi Chapter 1 Introduction Because of the rapid increase in the use of computer systems in safety-critical appli- cations, people can no longer tolerate system failures. Failures cause tremendous risk to human life, commerce, utility, transportation and military operation. In critical applications, dependable systems are required. These systems are capable of de- tecting errors caused by software/hardware faults or by security attacks, diagnosing errors, correcting errors failures, and maintaining normal/acceptable system operat- ing. Designing reliable fault-tolerant systems relies on evaluating/validating system error detection, error location/isolation, and error recovery techniques. The evalu- ation/validation of these techniques are very critical and provide confidence in the dependability of the system before deployment. In computers systems, transient faults are one of the primary sources of abnor- malities which alter the system operation. From a hardware perspective, they are usually glitches in the circuits when they are operating. Modern systems are be- coming more vulnerable to transient faults because the effects of crosstalk, ground bounce, timing faults, and soft errors are becoming more significant because of the following factors [7]: 1. As shown in figure 1.1, with increased density, layout dimensions shrink, and 1 CHAPTER 1. INTRODUCTION 100 (fC) 10 crit Q 1 0.35 0.25 0.18 0.09 Process technology (microns) Figure 1.1: Stored charges versus technology process [7]. the electrical charge that constitutes stored data in memory cells and logic also decreases. 2. The increased gate count forces designers to lower supply voltages to keep power consumption in chips within manageable bounds. Reducing supply voltages decreases noise margins. 3. To increase density, interconnects on the chip become closer together and thicker (to maximize cross-section), increasing the coupling (crosstalk) between them. 4. Switching signals change at a faster rate, creating ground bounce. 5. For switching devices on a chip that depends on the supply voltage, the voltage level is already low. When switching currents drive that voltage even lower, transient and timing errors can occur. The practical result of these factors is a shrinking stored charge for representing data that is increasingly exposed to and more sensitive to outside disturbances. All of these influences are transient | they \only" affect or destroy the data, and leave the devices and semiconductor material intact. 2 CHAPTER 1. INTRODUCTION In summary, with the scaling in the transistor sizes, the noise margins for memory elements have decreased, and the sensitivity to variations in the circuit environment parameters such as voltage and temperature has increased [21]. All these factors have made the circuits more vulnerable to transient faults, and most circuits nowadays have to be designed to be tolerant of such failures [14]. However, physical causes are just one source of transient faults; errors could also be introduced from a software level like computer networks. The reliability of computer networks is always an issue in modern computer-based systems, and it is a complex issue that the security of computer networks is related not only to the credibility of switching nodes, of communication medium, and network topology but also to the various site configurations and net- stream of the computer network [22]. An unstable network transaction or security attacks through the network could introduce transient faults into computer-based systems which could harm the stability and reliability of the system. For computer systems, transient faults pose a significant challenge to the system dependability, and we need to evaluate their effect on reliability. Microprocessors nowadays contain millions of memory elements susceptible to transient faults. Soft- ware run on these processors execute over trillions of clock cycles, and a transient fault can occur during any execution cycle [4]. As a result, the total number of possi- ble transient faults in different application contexts is enormous, which make it very difficult to evaluate the outcomes of all possible faults or enumerate all faults to com- pute the exact probabilities of occurrence of any particular outcome [4]. Moreover, observing transient faults in an actual system is not a feasible method for such an evaluation as the occurrence of transient faults is somewhat unpredictable and often rare when compared with the usual system runtime [4]. Fault injection tools create a fast and reliable approach that allows the evaluation of the behavior of the system under realistic program execution workloads in the presence of faults. Fault injection tools provide a way to measure the effectiveness of 3 CHAPTER 1. INTRODUCTION the error detection, error diagnosis and correction/recovery techniques of the system. There are different kinds of ways to inject faults in a running system. However, in general, they can be divided into two categories: hardware fault injection and software fault injection. Also, software fault injection tools can further be classified into compiling based and runtime based. The fault injection tool we introduced in this thesis, ETFIDS, is a runtime based software fault injection tool, it injects a fault by changing signal/variable values at runtime, and it also provides the ability to observe the effect on the output or behavior of the system. We made several improvements upon the current fault injection and detection implementations in ETFIDS: 1. More accurate and consistent fault injection mechanism to address the high- perturbation issue of software-implemented fault injection tools. 2. Real-time faulty process evaluation for more accurate fault outcome analysis. 3. Concurrent and synchronized faulty and fault-free process comparison for per- formance increase and fault injection experiment time reduction. The approaches we used to achieve these improvements are further explained in the rest of this thesis.
Recommended publications
  • Using Fault Injection to Increase Software Test Coverage 
    Using Fault Injection to Increase Software Test Coverage James M. Bieman Daniel Dreilinger Lijun Lin Computer Science Department Colorado State University Fort Collins, Colorado 80523 [email protected] To appear in Proc. International Symposium on Software Reliability (ISSRE'96) Abstract must be recompiled and then tested. This process can be too labor and time intensive for practical use in the general test- During testing, it is nearly impossible to run all statments ing of commercial software. or branches of a program. It is especially dif®cult to test Our hypothesis is that fault injection can be effective the code used to respond to exceptional conditions. This when it is directed towards solving speci®c testing prob- untested code, often the error recovery code, will tend to be lems. In particular, we use fault injection to force the exe- an error prone part of a system. We show that test cover- cution of dif®cult to reach program paths. To avoid the need age can be increased through an ªassertion violationº tech- for recompilation, we mutate program state rather than pro- nique for injecting software faults during execution. Using gram text. our prototype tool, Visual C-Patrol (VCP), we were able to To be practical, any fault injection mechanism must be substantially increase test branch coverage in four software inexpensive and be able to model a wide variety of fault systems studied. types. Much of the fault injection should be automated. Al- though a practical approach requires a limited fault model, Keywords: software testing, software test coverage, fault we want to simulate as many faults as possible.
    [Show full text]
  • Improving Software Fault Injection
    Improving Software Fault Injection Ph.D. Thesis Erik van der Kouwe Vrije Universiteit Amsterdam, 2016 This work was funded in part by European Research Council under ERC Advanced Grant 227874. Copyright © 2016 by Erik van der Kouwe. ISBN XXX-XX-XXXX-XXX-X Printed by XXX. VRIJE UNIVERSITEIT IMPROVING SOFTWARE FAULT INJECTION ACADEMISCH PROEFSCHRIFT ter verkrijging van de graad Doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector magnificus prof. dr. Vinod Subramaniam, in het openbaar te verdedigen ten overstaan van de promotiecommissie van de Faculteit der Exacte Wetenschappen op X XXX 2016 om X.XX uur in de aula van de universiteit, De Boelelaan 1105 door ERIK VAN DER KOUWE geboren te Leidschendam, Nederland promotor: prof.dr. A.S. Tanenbaum “TODO add quote.” TODO add quote source. Contents Contents vii List of Figures xi List of Tables xiii Publications xv 1 Introduction 1 2 Finding fault with fault injection An Empirical Exploration of Distortion in Fault Injection Experiments 7 2.1 Introduction . 7 2.2 Related work . 12 2.3 Fidelity . 14 2.4 Approach . 16 2.5 Programs and workloads . 17 2.6 Results . 19 2.6.1 Coverage . 19 2.6.2 Execution count . 26 2.6.3 Relationship between execution count and coverage . 30 2.6.4 Relationship between faults and execution . 31 2.7 Threats to validity . 33 2.8 Recommendations . 35 2.9 Conclusion . 36 vii viii 3 On the Soundness of Silence Investigating Silent Failures Using Fault Injection Experiments 39 3.1 Introduction . 39 3.2 Approach . 41 3.2.1 Fault injection .
    [Show full text]
  • Evaluating Software Systems Via Runtime Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models
    The 7U Evaluation Method: Evaluating Software Systems via Runtime Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models Rean Griffith Submitted in partial fulfillment of the Requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2008 c 2008 Rean Griffith All Rights Reserved Abstract The 7U Evaluation Method: Evaluating Software Systems via Runtime Fault-Injection and Reliability, Availability and Serviceability (RAS) Metrics and Models Rean Griffith Renewed interest in developing computing systems that meet additional non-functional requirements such as reliability, high availability and ease-of-management/self-management (serviceability) has fueled research into developing systems that exhibit enhanced reliability, availability and serviceability (RAS) capabilities. This research focus on enhancing the RAS capabilities of computing systems impacts not only the legacy/existing systems we have today, but also has implications for the design and development of next generation (self- managing/self-*) systems, which are expected to meet these non-functional requirements with minimal human intervention. To reason about the RAS capabilities of the systems of today or the self-* systems of tomorrow, there are three evaluation-related challenges to address. First, developing (or identifying) practical fault-injection tools that can be used to study the failure behavior of computing systems and exercise any (remediation) mechanisms the system has available for mitigating or resolving problems. Second, identifying techniques that can be used to quantify RAS deficiencies in computing systems and reason about the efficacy of individual or combined RAS-enhancing mechanisms (at design-time or after system deployment). Third, developing an evaluation methodology that can be used to objectively compare systems based on the (expected or actual) benefits of RAS-enhancing mechanisms.
    [Show full text]
  • Formal Fault Injection Vulnerability Detection in Binaries: a Software
    Formal fault injection vulnerability detection in binaries : a software process and hardware validation Nisrine Jafri To cite this version: Nisrine Jafri. Formal fault injection vulnerability detection in binaries : a software process and hard- ware validation. Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. NNT : 2019REN1S014. tel-02385208 HAL Id: tel-02385208 https://tel.archives-ouvertes.fr/tel-02385208 Submitted on 28 Nov 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. T HÈSE DE DOCTORAT DE L’UNIVERSITE DE RENNES 1 COMUE UNIVERSITE BRETAGNE LOIRE Ecole Doctorale N°601 Mathèmatique et Sciences et Technologies de l’Information et de la Communication Spécialité : Informatique Par « Nisrine JAFRI » « Formal Fault Injection Vulnerability Detection in Binaries » «A Software Process and Hardware Validation» Thèse présentée et soutenue à RENNES , le 25 mars 2019 Unité de recherche : Inria, TAMIS team Thèse N°: Rapporteurs avant soutenance : Marie-Laure POTET, Professeur des Universités, ENSIMAG Jean-Yves MARION, Professeur des Universités, Université de Lorraine Composition du jury : Président : Pierre-Alain FOUQUE, Professeur des Universités, Université Rennes 1 Examinateurs : Leijla BATINA, Professeur des Université s, Université Radboud de Nimegue Shivam BHASIN, Chercheur, Université technologique de Singapour Sylvain GUILLEY, Professeur des Universités, Télécom ParisTech Annelie HEUSER, Chercheur, CNRS Dir.
    [Show full text]
  • Experimental Assessment of Cloud Software Dependability Using Fault Injection
    Experimental Assessment of Cloud Software Dependability Using Fault Injection Lena Herscheid(), Daniel Richter, and Andreas Polze Hasso Plattner Institute, Potsdom, Germany {lena.herscheid,daniel.richter,andreas.polze}@hpi.de Abstract. In modern cloud software systems, the complexity arising from fea- ture interaction, geographical distribution, security and configurability require- ments increases the likelihood of faults. Additional influencing factors are the impact of different execution environments as well as human operation or con- figuration errors. Assuming that any non-trivial cloud software system contains faults, robustness testing is needed to ensure that such faults are discovered as early as possible, and that the overall service is resilient and fault tolerant. To this end, fault injection is a means for disrupting the software in ways that un- cover bugs and test the fault tolerance mechanisms. In this paper, we discuss how to experimentally assess software dependability in two steps. First, a model of the software is constructed from different runtime observations and configu- ration information. Second, this model is used to orchestrate fault injection ex- periments with the running software system in order to quantify dependability attributes such as service availability. We propose the architecture of a fault in- jection service within the OpenStack project. Keywords: Fault injection · Dependability · Distributed systems · Cloud sys- tems · Availability 1 Introduction Fault tolerance is an essential dependability requirement especially in distributed and cloud software systems, where components can fail in arbitrary ways, but a high availability or reliability of the service is nevertheless required. To evaluate the dependability of complex software systems, a sufficiently realistic dependability model of the system needs to be built.
    [Show full text]
  • RESEARCH INSIGHTS – Modern Security Vulnerability Discovery
    RESEARCH INSIGHTS Modern Security Vulnerability Discovery NCC Group CONTENTS Author 3 Introduction 4 Manual analysis 6 Dynamic analysis 9 Static code analysis 14 Static software composition analysis 17 Fuzzing 19 Test case management 21 Closing summary 27 Thanks 26 NCC Group Research Insights 2 All Rights Reserved. © NCC Group 2016 AUTHOR NCC Group This paper is the combined effort of numerous individuals within NCC Group across various disciplines and offices. • Aaron Adams • Pete Beck • Jeremy Boone • Zsolt Imre • Greg Jenkins • Edward Torkington • Ollie Whitehouse • Peter Winter-Smith • David Wood NCC Group Research Insights 3 All Rights Reserved. © NCC Group 2016 INTRODUCTION The identification of vulnerabilities and understanding what is This paper is intended for individuals with a technical background involved in their exploitation has numerous applications in both who are responsible for identifying, understanding, mitigating or the attack and defence side of cyber security. The way in which responding to security vulnerabilities in software. The paper is software vulnerabilities are discovered has evolved considerably technical in nature, although high level, and is intended to provide over the last 20 years in terms of techniques, efficiency and the a view on modern vulnerability discovery approaches in 2016. complexity of the issues found. What was once a mostly manual process has, over time, become increasingly automated and augmented to facilitate not only discovery, but also triage and sometimes exploitation. However, while this automation and augmentation has helped the process of vulnerability discovery considerably, it has not addressed all the challenges faced with increasingly esoteric1 weaknesses being discovered by highly skilled individuals. These often subtle logic bugs are challenging to find in an automated fashion and typically rely on a large body of knowledge and experience being applied to a particular set of circumstances.
    [Show full text]
  • Efficient Testing of Recovery Code Using Fault Injection
    Efficient Testing of Recovery Code Using Fault Injection PAUL D. MARINESCU and GEORGE CANDEA, Ecole´ Polytechnique Fed´ erale´ de Lausanne (EPFL), Switzerland 11 A critical part of developing a reliable software system is testing its recovery code. This code is traditionally difficult to test in the lab, and, in the field, it rarely gets to run; yet, when it does run, it must execute flawlessly in order to recover the system from failure. In this article, we present a library-level fault injec- tion engine that enables the productive use of fault injection for software testing. We describe automated techniques for reliably identifying errors that applications may encounter when interacting with their envi- ronment, for automatically identifying high-value injection targets in program binaries, and for producing efficient injection test scenarios. We present a framework for writing precise triggers that inject desired faults, in the form of error return codes and corresponding side effects, at the boundary between applica- tions and libraries. These techniques are embodied in LFI, a new fault injection engine we are distributing http://lfi.epfl.ch. This article includes a report of our initial experience using LFI. Most notably, LFI found 12 serious, previously unreported bugs in the MySQL database server, Git version control system, BIND name server, Pidgin IM client, and PBFT replication system with no developer assistance and no access to source code. LFI also increased recovery-code coverage from virtually zero up to 60% entirely automatically without requiring new tests or human involvement. Categories and Subject Descriptors: D.4.5 [Operating Systems]: Reliability—Fault-tolerance; D.2.5 [Software Engineering]: Testing and Debugging—Testing tools General Terms: Reliability Additional Key Words and Phrases: Fault injection, automated testing ACM Reference Format: Marinescu, P.
    [Show full text]
  • Fault Injection for Software Certification
    Fault Injection for Software Certification Domenico Cotroneo and Roberto Natella Universit`adegli Studi di Napoli Federico II and Critiware s.r.l. http://www.critiware.com Abstract As software becomes more and more pervasive and complex, it is increasingly important to assure that a system will be safe even in the presence of residual software faults (\bugs"). Software Fault In- jection consists in the deliberate introduction of software faults for assessing the impact of faulty software on the system and improving fault-tolerance. Software Fault Injection has been included as a recom- mended practice in recent safety standards, and it has therefore gained interest among practitioners, but it is still unclear how it can be ef- fectively used for certification purposes. In this paper, we discuss the adoption of Software Fault Injection in the context of safety certifica- tion, present a tool for the injection of realistic software faults, namely SAFE (SoftwAre Fault Emulator), and show the usage of the tool in the evaluation and improvement of robustness of a RTOS adopted in the avionic domain. Keywords: Software Fault-Tolerance; Fault Injection; Software De- pendability Assessment; Software Faults; Safety Certification; SW- FMEA; Software RAMS; SAFE tool Contact info: Email: [email protected], [email protected] Postal address: Universit`adegli Studi di Napoli Federico II, diparti- mento DIETI, Via Claudio 21, ed. 3, 80125, Naples, Italy Phone: +39 081 676770 Fax: +39 081 676574 IEEE Security & Privacy, special issue on Safety-Critical Systems: The Next Generation, vol. 11, no. 4, pp. 38-45, July/August 2013, http://dx.doi.org/10.1109/MSP.2013.54 1 1 Introduction We are witnessing the increasing importance of software in safety-critical applications, and the increasing demand for techniques and tools for assuring that software can fulfill its functions in a safe manner.
    [Show full text]
  • NUREG/CR-7151 Vol 1 "Development of a Fault Injection
    NUREG/CR-7151, Vol. 1 Development of a Fault Injection-Based Dependability Assessment Methodology for Digital I&C Systems Volume 1 Office of Nuclear Regulatory Research AVAILABILITY OF REFERENCE MATERIALS IN NRC PUBLICATIONS NRC Reference Material Non-NRC Reference Material As of November 1999, you may electronically access Documents available from public and special technical NUREG-series publications and other NRC records at libraries include all open literature items, such as books, NRC’s Public Electronic Reading Room at journal articles, transactions, Federal Register notices, http://www.nrc.gov/reading-rm.html. Publicly released Federal and State legislation, and congressional reports. records include, to name a few, NUREG-series Such documents as theses, dissertations, foreign reports publications; Federal Register notices; applicant, and translations, and non-NRC conference proceedings licensee, and vendor documents and correspondence; may be purchased from their sponsoring organization. NRC correspondence and internal memoranda; bulletins and information notices; inspection and investigative Copies of industry codes and standards used in a reports; licensee event reports; and Commission papers substantive manner in the NRC regulatory process are and their attachments. maintained at— The NRC Technical Library NRC publications in the NUREG series, NRC Two White Flint North regulations, and Title 10, “Energy,” in the Code of 11545 Rockville Pike Federal Regulations may also be purchased from one Rockville, MD 20852–2738 of these two sources. 1. The Superintendent of Documents These standards are available in the library for reference U.S. Government Printing Office Mail Stop SSOP use by the public. Codes and standards are usually Washington, DC 20402–0001 copyrighted and may be purchased from the originating Internet: bookstore.gpo.gov organization or, if they are American National Standards, Telephone: 202-512-1800 from— Fax: 202-512-2250 American National Standards Institute nd 2.
    [Show full text]
  • What's Wrong with Fault Injection As a Benchmarking Tool?
    Workshop on Dependability Benchmarking/DSN 2002, Washington DC, June 25, 2002 What’s Wrong With Fault Injection As A Benchmarking Tool? Philip Koopman ECE Department & ICES Carnegie Mellon University Pittsburgh, PA, USA [email protected] Abstract Fault injection, especially software-based fault injection, is a reasonably convenient and effective way to evaluate sys- This paper attempts to solidify the technical issues tems. However, it is not always clear what fault injection involved in the long-standing debate about the representativeness of fault injection as a tool for measuring results mean for fielded systems. Proposing the use of fault the dependability of general-purpose software systems. injection to benchmark system dependability typically trig- While direct fault injection seems appropriate for gers vigorous debate, often with polarized viewpoints. evaluating fault tolerant computers, most current software This paper seeks to identify a possible source of the large systems are not designed in a way that makes injection of faults directly into a module under test relevant for gap between opposing views in the debate on fault injection dependability benchmarking. Approaches that seem more representativeness as well as place into perspective some of likely to create representative faults are ones that induce the strengths and weaknesses of fault injection approaches. exceptional operating conditions external to a module While this paper presents opinions rather than scientific under test in terms of exceptional system state, exceptional facts, it is based on experiences from extensive interactions parameters/return values at an API, failed system components, or exceptional human interface inputs. with industry and the technical community as part of the Ballista robustness testing project as well as two years as co-chair of the IFIP 10.4 WG SIG on Dependability 1.
    [Show full text]
  • Dependability Assessment of the Android OS Through Fault Injection Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella, Stefano Rosiello
    1 Dependability Assessment of the Android OS through Fault Injection Domenico Cotroneo, Antonio Ken Iannillo, Roberto Natella, Stefano Rosiello Abstract—The reliability of mobile devices is a challenge product. Fault injection sounds very attractive but, regrettably, for vendors, since the mobile software stack has significantly developers hardly put this approach in practice, since it comes grown in complexity. In this paper, we study how to assess with high costs and many ambiguities. In particular, it is the impact of faults on the quality of user experience in the Android mobile OS through fault injection. We first address the difficult for them to define what faults to inject (fault model) problem of identifying a realistic fault model for the Android OS, [15]–[17], due to the large number and heterogeneity of by providing to developers a set of lightweight and systematic hardware and software components in a modern mobile device. guidelines for fault modeling. Then, we present an extensible fault Our assessment methodology aims to support developers injection tool (AndroFIT) to apply such fault model on actual, at defining, conducting, and analyzing fault injection tests in commercial Android devices. Finally, we present a large fault injection experimentation on three Android products from major a systematic and efficient way. Towards this goal, the paper vendors, and point out several reliability issues and opportunities presents the following novel contributions: for improving the Android OS. • A lightweight fault modeling approach. The approach guides developers at defining fault models through an archi- tectural review of the mobile OS, by combining systematic, I. INTRODUCTION lightweight guidelines with experts’ knowledge in order to Reliability is a major factor that affects the quality of the be applicable in large software systems.
    [Show full text]
  • Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
    Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu To cite this version: Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu. Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE 2019 - The 30th International Symposium on Software Reliability Engineering, Oct 2019, Berlin, Germany. 10.1109/ISSRE.2019.00022. hal-02389293 HAL Id: hal-02389293 https://hal.inria.fr/hal-02389293 Submitted on 2 Dec 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE) Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection Zu-Ming Jiang†, Jia-Ju Bai†∗, Julia Lawall‡ and Shi-Min Hu† †Department of Computer Science and Technology, Tsinghua University, Beijing, China [email protected], [email protected], [email protected] ‡Sorbonne University/Inria/LIP6, Paris, France [email protected] Abstract—Device drivers remain a main source of runtime However, existing driver fuzzing approaches still have two failures in operating systems. To detect bugs in device drivers, main limitations in practical use: (L1) They cannot directly fuzzing has been commonly used in practice.
    [Show full text]