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.

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.

Serological findings during a measles outbreak occurring in a population with vaccine coverage

From March 1991 to April 1992, serum samples for IgM detection were collected from 112 clinical measles cases reported to the Health Department of Niterói, State of Rio de Janeiro. The positivity exceeded 90% for specimens collected from the 5th to the 29th day after the onset of the disease. After day 30 a decline in IgM detection was observed, although positivity has been detected up to 90 days after the onset of the symptoms. Forty-four patients (48.9%) with an IgM response had a history of prior measles vaccination. In 5 of the 22 measles-IgM negative cases the infection was due to other agents (rubella: 4 cases, dengue: 1 case). These results show that sensitivity of the test employed for confirming suspected measles cases is high, even in vaccinated patients.

Double coverage and demand for health care: Evidence from quantile regression

An individual experiences double coverage when he bene ts from more than one health insurance plan at the same time. This paper examines the impact of such supplementary insurance on the demand for health care services. Its novelty is that within the context of count data modelling and without imposing restrictive parametric assumptions, the analysis is carried out for di¤erent points of the conditional distribution, not only for its mean location. Results indicate that moral hazard is present across the whole outcome distribution for both public and private second layers of health insurance coverage but with greater magnitude in the latter group. By looking at di¤erent points we unveil that stronger double coverage e¤ects are smaller for high levels of usage. We use data for Portugal, taking advantage of particular features of the public and private protection schemes on top of the statutory National Health Service. By exploring the last Portuguese Health Survey, we were able to evaluate their impacts on the consumption of doctor visi

The Turbocharged Becker Flap: a Simple Variation that Allows Coverage of Most of the Dorsum of the Hand

Cover of medium and large defects of the dorsum of the hand remains a substantial surgical challenge that often requires free tissue transfer. We report the case of a 28-year-old male who presented with necrosis of most of the dorsum of his dominant hand after an iatrogenic injury. A large Becker flap was raised to cover the entire defect. However, venous insufficiency was noted intraoperatively. The flap was turbocharged by performing a venous anastomosis between the flap and the recipient site, resulting in complete survival of the flap. The authors conclude that the turbocharged Becker flap can be a good alternative for expeditiously covering large defects of the dorsum of the hand without having to resort to free tissue transfer.

Pandemic influenza A/H1N1 vaccination coverage, adverse reactions, and reasons for vaccine refusal among medical students in Brazil

The aim of this cross-sectional study was to determine, among medical students at a public university in Rio de Janeiro, Brazil, the acceptance of the pandemic influenza A/H1N1 vaccine during the 2010 mass immunization campaign and the vaccine safety in this group and, among unvaccinated students, the reasons for refusing vaccination. Of a total of 858 students, 678 (79%) participated in the study. Vaccination coverage was 60.4% among students aged 20 to 39 years (an age group targeted for vaccination) and 43.8% among those who did not belong to this age group. The most frequent adverse reactions to the vaccine were pain at the injection site (8.7%) and fever (7.9%). There were no serious adverse reactions. Among students aged 20 to 39 years, the most common reasons for refusing the vaccine were "lack of time" (42.4%), "fear of adverse reactions" (41.9%), and "difficult access to the vaccine" (11.5%). Other reasons for vaccine refusal were "uncertainties about vaccine safety and efficacy" and "vaccination was not needed". To increase the acceptance of the influenza vaccine, a comprehensive immunization program should be offered to these students.

HEPATITIS B VACCINATION COVERAGE AND POSTVACCINATION SEROLOGIC TESTING AMONG MEDICAL STUDENTS AT A PUBLIC UNIVERSITY IN BRAZIL

The aim of this cross-sectional study was to determine the hepatitis B vaccination coverage among medical students at a public university in Rio de Janeiro, Brazil, and their compliance with the postvaccination serologic testing recommendations. Of the total of 858 students, 675 (78.7%) participated in the study. Among the participants, 48.9% (95% CI: 45.1% to 52.7%) were vaccinated against hepatitis B (received ≥ 3 doses of the vaccine), 31.6% were not (received 0, 1 or 2 doses), and 19.6% did not know their vaccination status. Hepatitis B vaccination coverage increased from 26.0% among first-year students to 70.6% among sixth-year students while the prevalence of unknown vaccination status decreased from 39.7% among first-year students to 2.4% among sixth-year students. The frequency of unvaccinated students ranged from 23.7% among fifth-year students to 34.4% among first-year students. Only 34.8% of the vaccinated students performed the anti-HBs testing after vaccination. Among these medical students, we found a low adherence to the hepatitis B vaccination and to the postvaccination serologic testing. A comprehensive hepatitis B immunization program should be offered to students at this medical school.

Clinical and epidemiological findings during a measles outbreak occurring in a population with high vaccination coverage

From March 1991 to April 1992, 250 measles suspected cases were studied in the Municipality of Niterói, State of Rio de Janeiro. The median age found was 11 years and 76.0% of the cases were in school age children. Exposure histories were present in 149 patients and schools were the most frequent sites of transmission (45.0%). Vaccination status was known for 127 studied cases and 76.4% of them had received measles vaccine before their first birthday. One or more complications were reported for 68 cases aitd in 8.9% of the studied cases hospitalization was required. Frequency of complications varied according to each age group studied and were more commonly encountered among children < 1 year of age (55.6%). The history of previous vaccination did not diminish the number of complications of the cases studied. The results of this work show changes in age distribution of measles leading to sizeable outbreaks among teenagers and young adults.

Hepatitis B marker seroprevalence and vaccination coverage in adolescents in the City of Itajaí, State of Santa Catarina, Southern Brazil, in 2008

INTRODUCTION: Hepatitis B infection constitutes an important cause of morbidity and mortality worldwide. In Brazil, however, the current epidemiological situation is not clear. Considering the importance of establishing this prevalence, the aim of this study was to determine the prevalence of HBV markers in voluntary adolescents, junior high (secondary school) students, in the City of Itajaí, State of Santa Catarina, Brazil. METHODS: A seroepidemiological, transverse study was conducted with 353 randomly chosen adolescents from elementary school in 2008. Blood samples were analyzed for HBsAg, anti-HBc and anti-HBs. All analyses were conducted by automated microparticle enzyme immunosorbent assay (Abbott®, AxSYM system, Deerfield, IL, USA), according to the manufacturer's instructions. RESULTS: The prevalence of HBsAg was 0.6% (CI 95% 0.1 - 2.0), that of anti-HBc was 1.1% (CI 95% 0.3 - 2.9) and that of detectable anti-HBs was 83.6% (CI 95% 79.3 - 87.3). Hepatitis B vaccination coverage was 97.5% (CI 95% 95.2 - 98.8). CONCLUSIONS: These results demonstrate the success of the vaccination program against hepatitis B in the region studied and indicate that prevention strategies must be maintained and, if possible, expanded to contribute to the establishment of positive prevalence rates in all age groups.