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 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.

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.

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.

Sperm tail flexibility test: a simple test for selecting viable spermatozoa for intracytoplasmic sperm injection from semen samples without motile spermatozoa

PURPOSE: The objective was to describe the results of the injection of immotile spermatozoa with flexible tails when only immotile spermatozoa are present in the semen sample. METHODS: A retrospective study was conducted to analyze the procedure results for 10 couples who participated in our intracytoplasmic sperm injection program. The sperm tail was considered flexible when it moved up and down independently of the head movement, and it was considered inflexible when the movement occurred together (tail plus head). The fertilization and pregnancy rate were analyzed. RESULTS: The normal fertilization rate (presence of 2 pronuclei) was 30.3% (40/132), and the abnormal fertilization rate (presence of less than or more than 2 pronuclei) was 6.81% (9/132). A total of 52 embryos were obtained with 9 transfer procedures performed (pregnancy rate: 11.12%). CONCLUSIONS: The sperm tail flexibility test (STFT) is an easy and cost-effective way for selecting viable immotile spermatozoa and can be used as an alternative method for determining the viability of spermatozoa. This test seems to be a simple and risk-free method when compared to the swelling test.

Impact performance prediction of injection-molded talc-filled polypropylene through thermomechanical environment assessment

Due to the fact that different injection molding conditions tailor the mechanical response of the thermoplastic material, such effect must be considered earlier in the product development process. The existing approaches implemented in different commercial software solutions are very limited in their capabilities to estimate the influence of processing conditions on the mechanical properties. Thus, the accuracy of predictive simulations could be improved. In this study, we demonstrate how to establish straightforward processing-impact property relationships of talc-filled injection-molded polypropylene disc-shaped parts by assessing the thermomechanical environment (TME). To investigate the relationship between impact properties and the key operative variables (flow rate, melt and mold temperature, and holding pressure), the design of experiments approach was applied to systematically vary the TME of molded samples. The TME is characterized on computer flow simulation outputsanddefined bytwo thermomechanical indices (TMI): the cooling index (CI; associated to the core features) and the thermo-stress index (TSI; related to the skin features). The TMI methodology coupled to an integrated simulation program has been developed as a tool to predict the impact response. The dynamic impact properties (peak force, peak energy, and puncture energy) were evaluated using instrumented falling weight impact tests and were all found to be similarly affected by the imposed TME. The most important molding parameters affecting the impact properties were found to be the processing temperatures (melt andmold). CI revealed greater importance for the impact response than TSI. The developed integrative tool provided truthful predictions for the envisaged impact properties.

Thermal characterization of polyhydroxyalkanoates and poly(lactic acid) blends obtained by injection molding

In this work we present the thermal characterization of the full scope of polyhydroxyalcanoate and poly(lactic acid) blends obtain by injection molding. Blends of polyhydroxyalcanoate and poly(lactic acid) (PHA/PLA) were prepared in different compositions ranging from 0–100% in steps of 10%. The blends were injection molded and then characterized by differential scanning calorimetry (DSC), scanning electron microscopy (SEM) and wide angle X-ray diffraction (WAXD). The increment of PHA fraction increased the degree of crystallinity of the blend and the miscibility of the base polymers as verified by the Fox model. The WAXD analysis indicates that the presence of PHA hindered the PLA crystallization. The crystallization evolution trough PHA weight fraction (wf) shows a phase inversion around 50-60%. SEM analyses confirmed that the miscibility of PHA/PLA blends increased with the incorporation of PHA and became total for values of PHA higher that 50%.

Myocardial perfusion by contrast echocardiography. Establishment of normal pattern of intracoronary injection and safety in humans

OBJECTIVE: To establish the normal pattern and safety of echocardiographic contrast in patients with no significant obstruction of epicardial coronary arteries. METHODS: 67 patients with normal coronary arteries or obstructions < 50% were selected from 277 patients who underwent coronary angiography (CA). Mean age was 56 ± 11years and 36 were males. At the end CA, echocardiographic contrast was selectively injected into each coronary artery. The parasternal short axis of the left ventricle (LV) was divided into six segments: anterior (A), antero-lateral (AL), postero-lateral (PL), posterior (P), infero-septal (IS) and antero-septal (AS). Anterolateral (ALPM) and posteromedial papillary muscles (PMPM) were also considered. The pattern and intensity of the appearance of the myocardial contrast was visually analyzed. RESULTS: The right coronary artery (RCA) was dominant in 60 patients. Contrast appearance was sudden and simultaneous in the 3 muscle layers. All segments could be contrasted after the injection in both coronary arteries. 100% of the AS, A and AL segments, 97% of the PL and 98% of the ALPM were perfused by the left coronary artery (LCA). P and IS segments were perfused by the RCA in 85% and 82%, respectively, and by a dominant LCA in 71% of the cases. The PMPM was perfused by a dominant RCA in 77% and by a dominant LCA in 86%. There were no symptoms. CONCLUSION: Intracoronary injection of the sonicated solution is a safe procedure that allows for an excellent opacification of the myocardium and can potentially be used during routine CA.

Influence of angiotensin II receptor subtypes of the paraventricular nucleus on the physiological responses induced by angiotensin II injection into the medial septal area

OBJECTIVE: We determined the effects of losartan and PD 123319 (antagonists of the AT1 and AT2 angiotensin receptors, respectively), and [Sar¹, Ala8] ANG II (a relatively peptide antagonist of angiotensin receptors) injected into the paraventricular nucleus (PVN) on water and 3% NaCl intake, and the diuretic, natriuretic, and pressor effects induced by administration of angiotensin II (ANG II) into the medial septal area (MSA) of conscious rats. METHODS: Holtzman rats were used . Animals were anesthetized with tribromoethanol (20 mg) per 100 grams of body weight, ip. A stainless steel guide cannula was implanted into the MSA and PVN. All drugs were injected in 0.5-mul volumes for 10-15 seconds. Seven days after brain surgery, water and 3% NaCl intake, urine and sodium excretion, and arterial blood pressure were measured. RESULTS: Losartan (40 nmol) and [Sar¹, Ala8] ANG II (40 nmol) completely eliminated whereas PD 123319 (40 nmol) partially blocked the increase in water and sodium intake and the increase in arterial blood pressure induced by ANG II (10 nmol) injected into the MSA. The PVN administration of PD 123319 and [Sar¹, Ala8] ANG II blocked whereas losartan attenuated the diuresis and natriuresis induced by MSA administration of ANG II. CONCLUSION: MSA involvement with PVN on water and sodium homeostasis and arterial pressure modulation utilizing ANGII receptors is suggested.

Producción in vitro de Embriones Bovinos Transgénicos mediante Inyección Intracitoplasmática de Espermatozoides (ICSI) con Enzimas de Restricción. In vitro Production of Transgenic Bovine Embryos using Intracitoplasmic Sperm Injection (ICSI) and Restriction Enzymes

La ingeniería genética y la reprogramación de organismos vivos representan las nuevas fronteras biotecnológicas que permitirán generar animales con modificaciones precisas en sus genomas para un sinnúmero de aplicaciones biomédicas y agropecuarias. Las técnicas para inducir modificaciones génicas intencionales en animales, especialmente en especies mayores de interés agropecuario, se encuentran rezagadas si se compara con los avances significativos que se han producido en el área de la transgénesis de roedores de laboratorio, especialmente el ratón. Es así que, el presente proyecto persigue desarrollar y optimizar protocolos para generar embriones bovinos transgénicos para aplicaciones biotecnológicas. La estrategia propuesta, se basa en conseguir la presencia simultánea en el interior celular de una enzima de restricción (I-SceI) más un transgén (formado por casetes de expresión de una proteína fluorescente -ZsGreen1- y neomicina fosfotransferasa). Específicamente, proyectamos estudiar una vía alternativa para generar embriones bovinos transgénicos mediante la incorporación del transgén (casetes ZsGreen1 y neo) flanqueado por sitios I-SceI más la enzima I-SceI al interior del ovocito junto con el espermatozoide durante la técnica conocida como inyección intracitoplasmática de espermatozoides (ICSI). Los embriones así generados se cultivarán in vitro, inspeccionándolos diariamente para detectar la emisión de fluorescencia, indicativa de la expresión de la proteína ZsGreen1. Los embriones que alcancen el estado de blastocisto y expresen el transgén se transferirán quirúrgicamente al útero de ovejas sincronizadas y se mantendrán durante 7 días. Al cabo de este período, los embriones se recolectarán quirúrgicamente del útero ovino y se transportarán al laboratorio para determinar el número de sitios de integración y número de copias del transgén mediante el análisis de su ADN por Southern blot. Se prevé que los resultados de esta investigación permitirán sentar las bases para el desarrollo de métodos eficientes para obtener modificaciones precisas en el genoma de los animales domésticos para futuras aplicaciones biotecnológicas. Genetic engineering and reprogrammed organisms represent the new biotechnological frontiers which will make possible to generate animals with precise genetic modifications for agricultural and biomedical applications. Current methods used to generate genetically modified large animals, lay behind those used in laboratory animals, specially the mouse. Therefore, we seek to develop and optimize protocols to produce transgenic bovine embryos through the use of a non-viral vector. The strategy involves the simultaneous presence inside the cell of a restriction enzyme (I-SceI) and a transgene (carrying cassettes for a fluorescent protein -ZsGreen1- and neomycin phosphotransferase) flanked by restriction sites for the endonuclease. We plan to develop an alternative approach to generate transgenic bovine embryos by coinjecting the transgene flanked by I-SceI restriction sites plus the enzyme I-SceI along with the spermatozoon during the technique known as intracytoplasmic sperm injection (ICSI). Embryos will be cultured in vitro and inspected daily with a fluorescence microscope to characterize transgene expression. Embryos that reach the blastocyst stage and express the transgene will be surgically transfer to the uterus of a synchronized ewe. After 7 days, the embryos will be flushed out the ovine uterus and transported to the laboratory to determine the number of integration sites and transgene copies by Southern blot. We anticipate that results from this research will set the stage for the development of efficient strategies to achieve precise genetic modifications in large domestic animals for future biotechnological applications.

Gradient injection in preparative chromatography : exploitation of sample solvents different than the mobile phase

Magdeburg, Univ., Fak. für Verfahrens- und Systemtechnik, Diss., 2010