A comparative analysis of fault injection methods via enhanced on-chip debug infrastructures

On-chip debug (OCD) features are frequently available in modern microprocessors. Their contribution to shorten the time-to-market justifies the industry investment in this area, where a number of competing or complementary proposals are available or under development, e.g. NEXUS, CJTAG, IJTAG. The controllability and observability features provided by OCD infrastructures provide a valuable toolbox that can be used well beyond the debugging arena, improving the return on investment rate by diluting its cost across a wider spectrum of application areas. This paper discusses the use of OCD features for validating fault tolerant architectures, and in particular the efficiency of various fault injection methods provided by enhanced OCD infrastructures. The reference data for our comparative study was captured on a workbench comprising the 32-bit Freescale MPC-565 microprocessor, an iSYSTEM IC3000 debugger (iTracePro version) and the Winidea 2005 debugging package. All enhanced OCD infrastructures were implemented in VHDL and the results were obtained by simulation within the same fault injection environment. The focus of this paper is on the comparative analysis of the experimental results obtained for various OCD configurations and debugging scenarios.

The 1998 Faial earthquake, Azores: Evidence for a transform fault associated with the Nubia-Eurasia plate boundary?

With very few exceptions, M > 4 tectonic earthquakes in the Azores show normal fault solution and occur away from the islands. Exceptionally, the 1998 shock was pure strike-slip and occurred within the northern edge of the Pico-Faial Ridge. Fault plane solutions show two possible planes of rupture striking ENE-WSW (dextral) and NNW-SSE (sinistral). The former has not been recognised in the Azores, but is parallel to the transform direction related to the relative motion between the Eurasia and Nubia plates. Therefore, the main question we address in the present study is: do transform faults related to the Eurasia/Nubia plate boundary exist in the Azores? Knowing that the main source of strain is related to plate kinematics, we conclude that the sinistral strike-slip NNW-SSE fault plane solution is not consistent with either the fault dip (ca. 65, which is typical of a normal fault) or the ca. ENE-WSW direction of maximum extension; both are consistent with a normal fault, as observed in most major earthquakes on faults striking around NNW-SSE in the Azores. In contrast, the dextral strike-slip ENE-WSW fault plane solution is consistent with the transform direction related to the anticlockwise rotation of Nubia relative to Eurasia. Altogether, tectonic data, measured ground motion, observed destruction, and modelling are consistent with a dextral strike-slip source fault striking ENE-WSW. Furthermore, the bulk clockwise rotation measured by GPS is typical of bookshelf block rotations observed at the termination of such master strike-slip faults. Therefore, we suggest that the 1998 earthquake can be related to the WSW termination of a transform (ENE-WSW fault plane solution) associated with the Nubia-Eurasia diffuse plate boundary. (C) 2014 Elsevier B.V. All rights reserved.

Real time fault injection using a modified debugging infrastructure

Dependability is a critical factor in computer systems, requiring high quality validation & verification procedures in the development stage. At the same time, digital devices are getting smaller and access to their internal signals and registers is increasingly complex, requiring innovative debugging methodologies. To address this issue, most recent microprocessors include an on-chip debug (OCD) infrastructure to facilitate common debugging operations. This paper proposes an enhanced OCD infrastructure with the objective of supporting the verification of fault-tolerant mechanisms through fault injection campaigns. This upgraded on-chip debug and fault injection (OCD-FI) infrastructure provides an efficient fault injection mechanism with improved capabilities and dynamic behavior. Preliminary results show that this solution provides flexibility in terms of fault triggering and allows high speed real-time fault injection in memory elements

Real time fault injection using enhanced OCD -- a performance analysis

Fault injection is frequently used for the verification and validation of dependable systems. When targeting real time microprocessor based systems the process becomes significantly more complex. This paper proposes two complementary solutions to improve real time fault injection campaign execution, both in terms of performance and capabilities. The methodology is based on the use of the on-chip debug mechanisms present in modern electronic devices. The main objective is the injection of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented and compared in terms of performance gain and logic overhead.

Using NEXUS compliant debuggers for real time fault injection on microprocessors

As electronic devices get smaller and more complex, dependability assurance is becoming fundamental for many mission critical computer based systems. This paper presents a case study on the possibility of using the on-chip debug infrastructures present in most current microprocessors to execute real time fault injection campaigns. The proposed methodology is based on a debugger customized for fault injection and designed for maximum flexibility, and consists of injecting bit-flip type faults on memory elements without modifying or halting the target application. The debugger design is easily portable and applicable to different architectures, providing a flexible and efficient mechanism for verifying and validating fault tolerant components.

Finding Aedes aegypti in a natural breeding site in an urban zone, Sao Paulo, Southeastern Brazil

ABSTRACT This is the description of how nine Aedes aegypti larvae were found in a natural breeding site in the Pinheiros neighborhood, city of Sao Paulo, SP, Southeastern Brazil. The record was conducted in December 2014, during an entomological surveillance program of dengue virus vectors, with an active search of potential breeding sites, either artificial or natural. Finding Ae. aegypti larvae in a tree hole shows this species’ ability to use both artificial and natural environments as breeding sites and habitats, which points towards the importance of maintaining continuous surveillance on this mosquito in all kinds of water-holding containers.

Real-time fault injection using enhanced on-chip debug infrastructures

The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.

A framework for fault tolerant real time systems based on reconfigurable FPGAs

To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its use more attractive. However, these technological improvements also make FPGAs particularly vulnerable to configuration memory bit-flips caused by power fluctuations, strong electromagnetic fields and radiation. This issue is particularly sensitive because of the increasing amount of configuration memory cells needed to define their functionality. A short survey of the most recent publications is presented to support the options assumed during the definition of a framework for implementing circuits immune to bit-flips induction mechanisms in memory cells, based on a customized redundant infrastructure and on a detection-and-fix controller.

A modified debugging infrastructure to assist real time fault injection campaigns

Fault injection is frequently used for the verification and validation of the fault tolerant features of microprocessors. This paper proposes the modification of a common on-chip debugging (OCD) infrastructure to add fault injection capabilities and improve performance. The proposed solution imposes a very low logic overhead and provides a flexible and efficient mechanism for the execution of fault injection campaigns, being applicable to different target system architectures.

The Transversarium-Bifurcatus Zone boundary at Rocha (Peral area, East-Central Algarve, Portugal)

This paper represents the first detailed study of the Transversarium-Bifurcatus Zone boundary in the Algarve. The boundary studied in the Peral area is associated with a stratigraphic discontinuity, whose hiatus partially affects the Transversarium-Bifurcatus Zones. A discontinuity was also recognized in the Bifurcatus-Birnammatum Zone boundary, which can be correlated with the traces of a Type II unconformity, which separates cycles 4.3-4.4 in HAQ et al. (1987), present on the South Iberian palaeomargin. An analysis was made of the ecostratigraphic evolution in the interval between the uppermost Transversarium Zone and the lower part of the Bimammatum Zone on the basis of the faunal spectra obtained. We conclude that ammonites are the most tolerant cephalopods to the ecological stress caused by the increase of inflows and the decrease of the shelf's ecospace. Benthic fauna decreased considerably in these conditions. A relatively abundant and diversified fauna ofDichotomoceras is noteworthy among the ammonites collected, as this genus was previously little known in the Algarve.

Immunization aganist hepatitis B in children from endemic zone: evaluation of the antibody response against the DNA recombinant vaccine (Engerix B-20 mcg)

A previous seroepidemiological study in the rural zone of Vargem Alta (ES) SouthEast of Brazil, showed a prevalence of up to 9% of hepatitis B surface antigen (HBsAg) in some areas. One hundred susceptible children aging 1 to 5 years old were selected and immunized with a recombinant DNA hepatitis B vaccine (Smith-Kline 20 mcg) using the 0-1-6 months vaccination schedule. Blood samples were collected at the time of the first vaccine dose (month 0) in order to confirm susceptible individuals and 1,3,6 and 8 months after the first dose , to evaluate the antibody response. Our results showed that two and five months after the second dose, 79% and 88% of children seroconverted respectively, reaching 97% after the third dose. The levels of anti-HBs were calculated in milli International Units/ml (mIU/ml) and demonstrated the markedly increase of protective levels of antibodies after the third dose. These data showed a good immunogenicity of the DNA recombinant hepatitis B vaccine when administered in children of endemic areas.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Flexural strengthening by means of a arc overlay in the tension zone

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Estruturas

Epidemiologic studies of chagas' disease in the urban zone of Teresina. State of Piauí, northeastern Brazil

The triatomine species Rhodnius nasutus and Triatoma pseudomaculata were captured on palm trees Orbignya martiana "babaçu ", in the urban zone of Teresina. This kind of palm tree is largely distributed in Piauí State. The predominant species was R. nasutus; the young in stars predominated. The infestation index of palm trees and the infection index of triatomines by flagellates were 96.0 ana 29.1%, respectively. Marsupiais, bats and a rodent were captured in palm trees. The flagellates found in both triatomines ana marsupiais were morphologically and biologically indistinguishable from Trypanosoma cruzi. Forty seven percent (481/1,025) of triatomines were found concentrated in six palm trees where marsupiais circulated. Of the total of 1,025 triatomines 230 (22%) were infected by flagellates and 53.0% (123/230) of these infected triatomines were present in the same six palm trees. No evidence of triatomine domiciliation or human transmission was observed in the houses in the vicinity of palm trees. The results suggest that marsupiais play an important role in the life-cycle of T. cruzi in this region. The natural focus of Chagas' disease, demonstrated in the present study could represent a potential epidemiological threat.

Presence of anti-Toxoplasma antibodies in humans and their cats in the urban zone of Guadalajara

Cats are the definitive hosts of Toxoplasma gondii. Infected cats excrete oocysts in their feces, infecting humans and other animals. The objective of the present study was to determine the presence of anti-Toxoplasma antibodies in cat owners and their pets, and determine if there was a relationship between Toxoplasma infection and humans who live with infected cats. IgG anti-Toxoplasma antibodies in sera of 59 cat owners were determined by enzyme-linked immunosorbent assay (ELISA), in 24 sera from their cats, IgG, IgM, and IgA antibodies were found using Burney's ELISA. Thirty-eight (64%) of 59 cat owners were positive to IgG anti-Toxoplasma. Seropositivity for cats was 70.8% IgG, 8.3% IgM, and 62.5% IgA. Cohabitation with cats infected by T. gondii, feeding with leftovers or raw viscera, and lack of control over how their feces were handled are risk factors conducive for humans to become infected by T. gondii.