J. Carreira, H. Madeira, and J. G. Silva, "Xception: A technique for the experimental evaluation of dependability in modern computers," Software Engineering, vol. 24, no. 2, pp. 125--136, 1998. [Online]. Available: citeseer.nj.nec.com/carreira98xception.html  Home/Search   Document Details and Download   Summary   Related Articles   Check

....fault injections. Software implemented fault injectors have been investigated for various types of failures, such as memory corruption [27, 2] invalid arguments [20] or both [9] There are also various techniques for injecting faults. Some tools like FERRARI [18] and Xception [7] inject faults without modifying the applications. Tools like DOCTOR [16] modify the application at compile time, and others during runtime. Our tool injects faults in the form of exceptions, by modifying the application either at compile time or at load time. Unlike FIG [5] which tests the ....

Joao Carreira, Henrique Madeira, and Joao Gabriel Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. Software Engineering, 24(2):125--136, 1998.

....fault injection, known as SWIFI. FIG is of the latter type. Perusal of the related work sections of most papers on SWIFI techniques for fault tolerance yields a virtual alphabet soup of project names and acronyms, such as FIAT, FERRARI, FINE, FTAPE, DOCTOR, MAFALDA, HYBRID, ORCHESTRA and GOOFI [2]. Most of these projects were written to perform fault injection on a single hardware software platform. In some cases, this platform is a real time system that runs provably error free software and operates in an environment requiring minimal human interaction and maintenance. As a result, the ....

J. Carreira, H. Madeira, and J. G. Silva. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Transactions on Software Engineering, 24(2):125--136, 1998.

....and reliability. Many fault injection tools and techniques have been presented. Some examples are: MEFISTO [1] VERIFY [2] and DEPEND [3] which are tools that inject faults into a simulation model of a system. RIFLE [4] and MESSALINE [5] are tools for pin level fault injection, while Xception [6], FIAT [7] and FERRARI [8] are tools that inject faults into physical systems using software implemented fault injection (SWIFI) Different techniques are used in different phases of the design cycle. Simulation based fault injection can be used early in the design cycle, while SWIFI and ....

J. Carreira, H. Madeira and J. G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers", IEEE Trans. on Software Engineering, vol. 24, February 1998, pp. 125-136.

....corrupt both data and code memory segments. The most common fault model used is the single bit flip. A large number of tools have been developed to automate the execution of experiments using this fault model. Two significant examples are Xception, developed at the University of Coimbra, Portugal [Carreira et al. 1998 ] and MAFALDA, developed at LAAS CNRS, France [Fabre et al. 2000] There has been some work [Chung et al. 1999] investigating the impact of highlevel faults on CORBA and DCOM applications. The faults simulated are hangs and crashes of threads, processes and computing nodes. The authors ....

J. Carreira, H. Madeira, and J. G. Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125--136, February 1998.

.... within the run time support memory (code, data and stack of the run time support tasks, as well as the underlying micro kernel) The fault injector performs bit AEips on the selected byte (a single bit AEip in this paper) This model is in accordance with most SWIFI tools (e.g. BCSS90, KKT95, CMS98, SMFA99] A key concern is the representativity of this model of error simulation compared with the actual consequences of physical faults. Several studies were dedicated to the relationship between fault injected by software and physical faults. The EMAX tool [KKA93] has been developed to ....

Jo#o Carreira, Henrique Madeira, and Jo#o Gabriel Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125136, February 1998.

.... selected byte within the run time support memory (code, data and stack of the run time support tasks, as well as the underlying micro kernel) The fault injector performs bit flips on the selected byte (a single bit flip in this paper) This model is in accordance with most SWIFI tools (e.g. [3, 10, 4, 17]) The representativity of this fault model with respect to the actual consequences of faults is discussed in [5] 3.2. Injections, activations, justified detections As a consequence of a fault injection, two outcomes can be observed: i) the system does not use the corrupted word. 1 In the ....

J. Carreira, H. Madeira, and J. G. Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125--136, Feb. 1998.

.... to assess their e ectiveness through coverage estimation [58] The current SOTA in fault injection includes techniques for simulating errors by software, injection of upsets using heavy ion radiation and fault injection during the design phase by means of fault simulation in VHDL models (e.g. see [115, 119, 113]) Institutions leading this research include LAAS CNRS (France) University of Coimbra (Portugal) and Chalmers University (Sweden) 5.3 Middleware, Language and Tool Support The SOTA in distributed programming is the distributed object approach, thus it makes sense for languages for dependable ....

H. Madeira J. Carreira and J.G. Silva. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Transactions on Software Engineering, 24(2), 1998.

....of a randomly selected byte within the run time support memory (code, data and stack of the run time support tasks, as well as the underlying micro kernel) The fault injector performs one or several bit AEips on the selected byte. This model is in accordance with the one used by most SWIFI tools [6, 27] (a good discussion on the representativity of faults injected by SWIFI with respect to physical faults can be found in [6] The implementation of the fault injector highly relies on the Pentium debugging and performance monitoring features: it uses the Pentium ability to raise an exception when ....

....the underlying micro kernel) The fault injector performs one or several bit AEips on the selected byte. This model is in accordance with the one used by most SWIFI tools [6, 27] a good discussion on the representativity of faults injected by SWIFI with respect to physical faults can be found in [6]) The implementation of the fault injector highly relies on the Pentium debugging and performance monitoring features: it uses the Pentium ability to raise an exception when a given location is accessed. This allows to determine when a fault has been activated (i.e. the processor has read the ....

Jo#o Carreira, Henrique Madeira, and Jo#o Gabriel Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125136, February 1998.

.... fault tolerant community [Iyer95] Software fault injection can be used for many purposes, such as comparing the robustness of different systems [Siewiorek93, Tsai96, Kropp98] understanding how systems behave during a fault [Chillarege89, Barton90, Kao93] and validating fault tolerant mechanisms [Arlat90, Hudak93, Clark95, Rela96, Silva96, Carreira98]. However, there are very few case studies that use fault injection for all three of these purposes to guide the design and implementation of a fault tolerant system. In this paper, we present a systematic approach for using software implemented fault injection to guide the design and ....

Joao Carreira, Henrique Madeira, and Joao Gabriel Silva. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE Transactions on Software Engineering, 24(2):125--136, February 1998.

No context found.

J. Carreira, H. Madeira, and J. G. Silva, "Xception: A technique for the experimental evaluation of dependability in modern computers," Software Engineering, vol. 24, no. 2, pp. 125--136, 1998. [Online]. Available: citeseer.nj.nec.com/carreira98xception.html

No context found.

Carreira J., et al., "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers", IEEE Trans. on Software Eng., Vol. 24, No. 2, pp. 125-136, 1998

No context found.

J. Carreira, H. Madeira, and J.G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers, " IEEE Trans. Software Eng., vol. 24, no. 2, pp. 125-136, Feb. 1998.

No context found.

J. V. Carreira, D. Costa, and J. G. Silva. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(2), 1998.

No context found.

Carreira, J.; Madeira, H.; Silva, J.G., "Xception: a technique for the experimental evaluation of dependability in modern computers," IEEE Transactions on Software Engineering, vol.24, no.2 p. 125-36

No context found.

J. Carreira, H. Madeira, and J. G. Silva. Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Transactions on Software Engineering, 24(2):125--136, Feb. 1998.

No context found.

Joo Carreira, Henrique Madeira, and Joo Gabriel Silva, "Xception: A technique for the experimental evaluation of dependability in modern computers," IEEE Transactions on Software Engineering, vol. 24, no. 2, pp. 125--136, Feb. 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC