Fault injection for dependability validation - LAAS-CNRS
Recommend Documents
dependability benchmark for Web-Servers. In some way we ..... that are observed at the client machines (explicit SOAP error messages or time-outs). From the side of the .... Lecture Notes in Computer Science, Volume 3219/2004. 12. S Ghosh ...
disassemblers (with mature support for x86 and ARM) that can translate binaries into .... Listing 1: Static fault C++ programming interface. ⢠The faulty basic block. .... consider only instruction-level fault locations, but it is straight- forward
monitoring system and a geo-localization application. We then cater requirements .... ing tools that assess the health of the network as well as deployment-time ...
troduces our novel framework for the modeling and simulation ... lated fault injection framework for the verification .... Test Case Interpreter (TCI): Is a Python in-.
ble to recognize a common conceptual schema of fault injection [Hsueh et al. ..... Table III. Measures of the Web-DB Dependability Benchmark [DurËaes et al. ..... previous classification schemas adopted for OS and DBMS products from IBM [ ...
gzip and xz), two implementations of sort (GNU Coreutils and Busybox) and two implementations of od (same sources). Busybox is normally compiled.
with cold stand-by sparing, parity detection and a watchdog timer. .... architectures of the model, changing the syntactical structures of the VHDL code. [24].
with a one year and half campaign previously used; 2) The test cases using ... Test automation: it is used to both emulate and inject faults in the GPON system.
May 9, 2010 - We first underline the benefits of FIR: false positive are never raised, secrets are not erased uselessly in case of faults injections, which ...
[Proceeding] Software dependability techniques validated via fault injection experiments .... on the use of soflware signature checking [6-131. The application ...
is considered a fault tolerant distributed system with real-time ... important aspect is to reach a high coverage factor, mainly for the ..... Technical Report NO. 259.
WLS algorithm which deals with node (benign) faults utilizes a two-phase ...... From Theory via Tools to Applications,â Proc. of FORTE 2000. [56] N. Varma, et al., ...
Oct 12, 2006 - we injected faults into an application running on our Duplex .... in a logical star topology with one of the control system PC at the center (the ...
certification. Safety standards emphasize that software should be validated with respect to abnormal and faulty conditions. In the case of the recent ISO 26262, ...
Apr 13, 1999 - In a fault injection campaign the input domain corresponds to a set of ..... Detected by an EDM: the fault triggers a system Exception (such as ...
tion, present a tool for the injection of realistic software faults, namely. SAFE (SoftwAre Fault ... Email: [email protected], [email protected]. Postal address: ..... use of representative fault types can achieve a good degree of realism eve
Jun 9, 2009 - evaluate the level of detection and recovery supported by current software environments ... current failure prediction and failure mining techniques. The ... The hard- ... For example, radiation induced memory âsoft errorsâ can be i
Service-oriented systems are usually built on top of Web service components ... the Web services are provided and hosted by different orga- nizations and some ...
May 12, 2015 - Keywords: UML, fault tree, model transformation, software dependability. 1. ... by transforming UML design specifications annotated with extra ..... ATL transformation model, UML2FT, also accepted the custom target Fault Tree ...
Jun 6, 1989 - 38, NO. 6, JUNE 1989. 775. Coverage Modeling for Dependability Analysis of. Fault-Tolerant Systems. Abstract-Several different models for ...
FITH (Fault Injection Test Harness) is a tool .... platform-independent because all Linux ... monitoring code execution. ... There have been a good patch to sup-.
Aug 22, 2013 - HMAC and NMAC are hash-based message authentication .... The data processing computes IHV as follows. ... The structures of SHA-384/512 are similar to those of ..... 164 of Lecture Notes in Electrical Engineering, pp.
software from quantitative reliability requirements, whenever dependability and ..... fault-tolerant software must take into account failure dependency between ...
Fault injection for dependability validation - LAAS-CNRS
including hardware and application software interactions, to be tested. An example of ..... the experimental readouts accounting for these practical. 1SSue S.
