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.

Modifications of MCM-22 zeolite through sequential post-synthesis treatments. Implications on the acidic and catalytic behaviour

Desilication and a combination of alkaline followed by acid treatment were applied to MCM-22 zeolite using two different base concentrations. The samples were characterised by powder X-ray diffraction, Al-27 and Si-29 MAS-NMR spectroscopy, SEM, TEM and low temperature N-2 adsorption. The acidity of the samples was study through pyridine adsorption followed by FTIR spectroscopy and by the analyses of the hydroxyl region. The catalytic behaviour, anticipated by the effect of post-synthesis treatments on the acidity and space available inside the two internal pore systems was evaluated by using the model reaction of m-xylene transformation. The generation of mesoporosity was achieved upon alkaline treatment with 0.05 M NaOH solution and practically no additional gain was obtained when the more concentrate solution, 0.1 M, was used. Instead, Al extraction takes place along with Si, as shown by Si-29 and Al-27 MAS-NMR data, followed by Al deposition as extraframework species. Samples submitted to alkaline plus acid treatments present distinct behaviour. When the lowest NaOH solution was used no relevant effect was observed on the textural characteristics. Additionally, when the acid treatment was performed on an already fragilized MCM-22 structure, due to previous desilication with 0.1 M NaOH solution, the extraction of Al from both internal pore systems promotes their interconnection, evolving from a 2-D to a 3-D porous structure. This transformation has a marked effect in the catalytic behaviour, allowing an increase of m-xylene conversion as a consequence of an easier and faster molecular traffic in the 3-D structure. On the other hand, the continuous deposition of extraframework Al species inside the pores leads to a shape selective effect that privileges the formation of the more valuable isomer p-xylene.

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.

Paracoccidioidomycosis: a sequential histopathologic study of lesions in experimentally-infected rats

Female albino rats were used for the sequential histopathological study of experimental paracoccidioidomycosis. The animals were inoculated intraperitoneally with a strain of Paracoccidioides brasiliensis in the yeast-like phase, and sacrificed at given intervals from 1 to 168 days after inoculation; each animal received an inoculum of 4 x 10(6) cells in 0.8 ml of saline. The control group received saline containing scrapings of the culture medium. Tissue from the inoculation site was examined. The cellular population, the extracellular matrix, and the presence and characteristics of fungi were analysed in the inflammatory granulomatous process by light microscopy. The results allowed to separate the kinetic of the inflammatory response into three stages: 1) neutrophilic or macrophagic-neutrophilic; 2) pre-granulomatous; 3) granulomatous. Synthesis of the extracellular matrix began with the depositing of fibrin-like material, and increased gradually with deposits of collagen, proteoglycans, and glycoproteins. Parasites were present in all of the examined periods. Recurrences of the disease were clearly shown through the concurrence of recently-formed granulomas with older granulomas, implying that this type of granulomatous process does not eliminate the disease, nor is it able to limit fungal dissemination over a prolonged period of time.

A study on parallel versus sequential relational fuzzy clustering methods

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Rapid automated method for on-site determination of sulfadiazine in fish farming: a stainless steel veterinary syringe coated with a selective membrane of PVC serving as a potentiometric detector in a flow-injection-analysis system

Sulfadiazine is an antibiotic of the sulfonamide group and is used as a veterinary drug in fish farming. Monitoring it in the tanks is fundamental to control the applied doses and avoid environmental dissemination. Pursuing this goal, we included a novel potentiometric design in a flow-injection assembly. The electrode body was a stainless steel needle veterinary syringe of 0.8-mm inner diameter. A selective membrane of PVC acted as a sensory surface. Its composition, the length of the electrode, and other flow variables were optimized. The best performance was obtained for sensors of 1.5-cm length and a membrane composition of 33% PVC, 66% onitrophenyloctyl ether, 1% ion exchanger, and a small amount of a cationic additive. It exhibited Nernstian slopes of 61.0 mV decade-1 down to 1.0×10-5 mol L-1, with a limit of detection of 3.1×10-6 mol L-1 in flowing media. All necessary pH/ionic strength adjustments were performed online by merging the sample plug with a buffer carrier of 4-(2-hydroxyethyl)-1-piperazineethanesulfonic acid, pH 4.9. The sensor exhibited the advantages of a fast response time (less than 15 s), long operational lifetime (60 days), and good selectivity for chloride, nitrite, acetate, tartrate, citrate, and ascorbate. The flow setup was successfully applied to the analysis of aquaculture waters. The analytical results were validated against those obtained with liquid chromatography–tandem mass spectrometry procedures. The sampling rate was about 84 samples per hour and recoveries ranged from 95.9 to 106.9%.

Cardiovascular profile after intravenous injection of Africanized bee venom in awake rats

The manifestations caused by Africanized bee stings depend on the sensitivity of the victim and the toxicity of the venom. Previous studies in our laboratory have demonstrated cardiac changes and acute tubular necrosis (ATN) in the kidney of rats inoculated with Africanized bee venom (ABV). The aim of the present study was to evaluate the changes in mean arterial pressure (MAP) and heart rate (HR) over a period of 24 h after intravenous injection of ABV in awake rats. A significant reduction in basal HR as well as in basal MAP occurred immediately after ABV injection in the experimental animals. HR was back to basal level 2 min after ABV injection and remained normal during the time course of the experiment, while MAP returned to basal level 10 min later and remained at this level for the next 5 h. However, MAP presented again a significant reduction by the 7th and 8th h and returned to the basal level by the 24th h. The fall in MAP may contribute to the pathogenesis of ATN observed. The fall in MAP probably is due to several factors, in addition to the cardiac changes already demonstrated, it is possible that the components of the venom themselves or even substances released in the organism play some role in vascular beds.

Separating sequential equilibrium in a Bayesian international duopoly

We consider two Cournot firms, one located in the home country and the other in the foreign country, producing substitute goods for consumption in a third country. We suppose that neither the home government nor the foreign firm know the costs of the home firm, while the foreign firm cost is common knowledge. We determine the separating sequential equilibrium outputs.

Two sequential PCR amplifications for detection of Schistosoma mansoni in stool samples with low parasite load

Schistosomiasis constitutes a major public health problem, with an estimated 200 million individuals infected worldwide and 700 million people living in risk areas. In Brazil there are areas of high, medium and low endemicity. Studies have shown that in endemic areas with a low prevalence of Schistosoma infection the sensitivity of parasitological methods is clearly reduced. Consequently diagnosis is often impeded due to the presence of false-negative results. The aim of this study is to present the PCR reamplification (Re-PCR) protocol for the detection of Schistosoma mansoni in samples with low parasite load (with less than 100 eggs per gram (epg) of feces). Three methods were used for the lysis of the envelopes of the S. mansoni eggs and two techniques of DNA extraction were carried out. Extracted DNA was quantified, and the results suggested that the extraction technique, which mixed glass beads with a guanidine isothiocyanate/phenol/chloroform (GT) solution, produced good results. PCR reamplification was conducted and detection sensitivity was found to be five eggs per 500 mg of artificially marked feces. The results achieved using these methods suggest that they are potentially viable for the detection of Schistosoma infection with low parasite load.

Thermo-hydro-mechanical analysis of CO2 injection into deep aquifers

One of the biggest challenges for humanity is global warming and consequently, climate changes. Even though there has been increasing public awareness and investments from numerous countries concerning renewable energies, fossil fuels are and will continue to be in the near future, the main source of energy. Carbon capture and storage (CCS) is believed to be a serious measure to mitigate CO2 concentration. CCS briefly consists of capturing CO2 from the atmosphere or stationary emission sources and transporting and storing it via mineral carbonation, in oceans or geological media. The latter is referred to as carbon capture and geological storage (CCGS) and is considered to be the most promising of all solutions. Generally it consists of a storage (e.g. depleted oil reservoirs and deep saline aquifers) and sealing (commonly termed caprock in the oil industry) formations. The present study concerns the injection of CO2 into deep aquifers and regardless injection conditions, temperature gradients between carbon dioxide and the storage formation are likely to occur. Should the CO2 temperature be lower than the storage formation, a contractive behaviour of the reservoir and caprock is expected. The latter can result in the opening of new paths or re-opening of fractures, favouring leakage and compromising the CCGS project. During CO2 injection, coupled thermo-hydro-mechanical phenomena occur, which due to their complexity, hamper the assessment of each relative influence. For this purpose, several analyses were carried out in order to evaluate their influences but focusing on the thermal contractive behaviour. It was finally concluded that depending on mechanical and thermal properties of the pair aquifer-seal, the sealing caprock can undergo significant decreases in effective stress.

Tool for discovering sequential patterns in financial markets

The goal of this thesis is the study of a tool that can help analysts in finding sequential patterns. This tool will have a focus on financial markets. A study will be made on how new and relevant knowledge can be mined from real life information, potentially giving investors, market analysts, and economists new basis to make informed decisions. The Ramex Forum algorithm will be used as a basis for the tool, due to its ability to find sequential patterns in financial data. So that it further adapts to the needs of the thesis, a study of relevant improvements to the algorithm will be made. Another important aspect of this algorithm is the way that it displays the patterns found, even with good results it is difficult to find relevant patterns among all the studied samples without a proper result visualization component. As such, different combinations of parameterizations and ways to visualize data will be evaluated and their influence in the analysis of those patterns will be discussed. In order to properly evaluate the utility of this tool, case studies will be performed as a final test. Real information will be used to produce results and those will be evaluated in regards to their accuracy, interest, and relevance.

Impact of an intervention in the use of sequential antibiotic therapy in a Brazilian university hospital

INTRODUCTION: Sequential antibiotic therapy (SAT) is safe and economical. However, the unnecessary use of intravenous (IV) administration usually occurs. The objective of this work was to get to know the effectiveness of an intervention to implement the SAT in a teaching hospital in Brazil. METHODS: This was a prospective and interventional study, historically controlled, and was conducted in the Hospital de Clínicas, Universidade Federal de Uberlândia, State of Minas Gerais, Brazil, a high complexity teaching hospital having 503 beds. In each of the periods, from 04/04/05 to 07/20/05 (pre-intervention) and from 09/24/07 to 12/20/07 (intervention), 117 patients were evaluated. After the pre-intervention period, guidelines were developed which were implemented during the intervention period along with educational measures and a reminder system added to the patients' prescription. RESULTS: In the pre-intervention and intervention periods, the IV antibiotics were used as treatment for a average time of 14.8 and 11.8 days, respectively. Ceftriaxone was the antibiotic most prescribed in both periods (23.4% and 21.6% respectively). Starting from the first prescription of antibiotics, the average length of hospitalization time was 21.8 and 17.5 days, respectively. The SAT occurred only in 4 and 5 courses of treatment, respectively, and 12.8% and 18.8% of the patients died in the respective periods. CONCLUSIONS: Under the presented conditions, the evaluated intervention strategy is ineffective in promoting the exchange of the antibiotic administration from IV to oral treatment (SAT).