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.

Anaphylaxis with Schistosoma mansoni extracts in normal and infected mice

Methods generally utilized for studies on anaphylaxis to protein antigens such as determination of histamine release to the blood, hemoconcentration, histamine release from peritoneal mast cells and passive cutaneous anaphylaxis (PCA) were used to investigate some aspects of the anaphylaxis to parasite antigens in Schistosoma mansoni infected mice. The release of histamine to the blood and significant rates of hemoconcentration were induced by intravenous injection of schistosomula or cercarial extracts into 10-13 weeks infected mice. Cercarial, schistosomula, worm tegument and soluble egg antigens were able to trigger histamine release from peritoneal mast cells from chronically infected mice. In spite of the PCA reaction beeing detected within 2 hours of sensitization (IgG1antibodies) in 6 of 8 tested sera from chronically infected mice, no detectable reactions were obtained after 48 hours sensitization (IgE antibodies). Although IgE was not detected in the circulation, by the PCA technique, the results indicate that the infected mice contained IgE antibodies bound to their mast cells.

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.

Enzyme linked immunosorbent assay: determination of anti-adenovirus antibodies in an infant population

In order to define an accurate assay for anti-adenovirus antibody detection, a recently developed ELISA was compared with IFA and CF. On 58 sera, the ELISA was more sensitive than both CF and IFA, which showed relative sensitivities of 63% and 94%, respectively. It was not possible to determine the exact specificity of the tests because of the lack of a gold standard. Furthermore, the ELISA was used to define the prevalence of adenovirus antibodies in 116 infants between 1 and 24 months old (mean 7.28). The data showed that maternal antibodies waned by the age of 5 to 6 months and that more than 80% of the children had been infected by adenoviruses by the age of 10 months.

Determination du niveau d'anticorps antitetaniques en donneurs de sang au moyen du test ELISA-TÉTANOS (São Paulo, SP, Bresil)

Le test ELISA-TÉTANOS (Biosys, France) a été utilisé pour le titrage des anti-corps tétaniques (sensibilité = 0,0025 UI/ml) en sérums humains de donneurs de sang, 566 hommes et 108 femmes, âges de 18 à 58 ans, moyenne de 29 ans, provenant de São Paulo, SP, Brésil. L'OMS, acceptant seulement la séroneutralisation sur souris (NT), la méthode de référence, pour les études sur la protection contre le tétanos, préconise le titre de 0,01 UI/ml comme minimum protecteur. BOURLEAUD & HUET ont proposé la limite de 0,06 UI/ml quand s'emploie le test ELISA, en attendant à une certaine discordance inévitable entre les méthodes. Parmi les 674 sérums étudiés, 178 (26,41%) n'ont pas présenté d'anticorps (< 0,0025 UI/ml); 413 (61,28%) ont présenté des résultats égaux ou supérieurs à 0,01 UI/ml et en 232 (34,42%) les titres ont été égaux ou supérieurs à 0,06 UI/ml. Le pourcentage d'individus protégés a été inversement proportionnel à 1'âge: environ 50% dans le groupe le plus jeune (hommes de 18 à 35 ans et femmes de 18 à 23 ans) contre environ 10% dans le groupe de plus de 42 ans ont présenté des titres sûrement protecteurs (> 0,06 UI/ml).

Optimization of HS-SPME analytical conditions using factorial design for trihalomethanes determination in swimming pool water samples

Trihalomethanes (THMs) are widely referred and studied as disinfection by-products (DBPs). The THMs that are most commonly detected are chloroform (TCM), bromodichloromethane (BDCM), chlorodibromomethane (CDBM), and bromoform (TBM). Several studies regarding the determination of THMs in swimming pool water and air samples have been published. This paper reviews the most recent work in this field, with a special focus on water and air sampling, sample preparation and analytical determination methods. An experimental study has been developed in order to optimize the headspace solid-phasemicroextraction (HS-SPME) conditions of TCM, BDCM, CDBM and TBM from water samples using a 23 factorial design. An extraction temperature of 45 °C, for 25min, and a desorption time of 5 min were found to be the best conditions. Analysis was performed by gas chromatography with an electron capture detector (GC-ECD). The method was successfully applied to a set of 27 swimming pool water samples collected in the Oporto area (Portugal). TCM was the only THM detected with levels between 4.5 and 406.5 μg L−1. Four of the samples exceeded the guideline value for total THMs in swimming pool water (100 μgL−1) indicated by the Portuguese Health Authority.

MIP-graphene-modified glassy carbon electrode for the determination of trimethoprim

A novel sensitive electrochemical sensor was developed by electropolymerization of pyrrole(PY)and molecularly imprinted polymer (MIP)which was synthesized onto a glassy carbon electrode (GCE) in aqueous solution using cyclic voltammetry in the presence of Trimethoprim (TMP) as template molecules. Furthermore,a previous electrode modification was performed by deposition of a suspension of graphene on the electrode's surface. The performance of the imprinted and non-imprinted (NIP) films was evaluated by impedance spectroscopy (EIS) and cyclic voltammetry (CV) of a ferric solution. The molecularly imprinted film exhibited a high selectivity and sensitivity toward TMP. The sensor presented a linear range, between peak current intensity and logarithm of TMP concentration between 1.0x10-6 and 1.0x10-4 M. The results were accurate (with recoveries higher than 94%), precise (with standard deviations less than 5%) and the detection limit was 1.3x10-7 M. The new sensor is selective, simple to construct and easy to operate. The MIP sensor was successfully applied to quantify TMP in urinesamples.

SPE-LC-FD Determination of Polycyclic Aromatic Hydrocarbon Monohydroxy Derivatives in Cephalopods

A new analytical methodology, based on liquid chromatography with fluorescence detection (LC-FD), after extraction, enzymatic hydrolysis, and solid-phase extraction (SPE) through Oasis HLB cartridges, was developed and validated for the simultaneous determination of three monohydroxy derivatives of polycyclic aromatic hydrocarbons (PAHs). The optimized analytical method is sensitive, accurate, and precise, with recoveries between 62 and 110% and limits of detection of 227, 9, and 45 ng/g for 1-hydroxynaphthalene, 2-hydroxyfluorene, and 1-hydroxypyrene, respectively. Their levels were estimated in different cephalopod matrices (edible tissues and hemolymph). The methodology was applied to samples of the major cephalopod species consumed worldwide. Of the 18 samples analyzed, 39% were contaminated with 1-hydroxynaphthalene, which was the only PAH metabolite detected. Its concentration ranged from 786 to 1145 ng/g. This highly sensitive and specific method allows the identification and quantitation of PAH metabolites in forthcoming food safety and environmental monitoring programs.

The value of adenosine deaminase (ADA) determination in the diagnosis of tuberculous ascites

In order to evaluate the role of the determination of adenosine deaminase activity (ADA) in ascitic fluid for the diagnosis of tuberculosis, 44 patients were studied. Based on biochemical, cytological, histopathological and microbiological tests, the patients were divided into 5 groups: G1 - tuberculous ascites (n = 8); G2 - malignant ascites (n = 13); G3 - spontaneous bacterial peritonitis (n = 6); G4 - pancreatic ascites (n = 2); G5 - miscelaneous ascites (n = 15). ADA concentration were significantly higher in G1 (133.50 ± 24.74 U/l) compared to the other groups (G2 = 41.85 ± 52.07 U/l; G3 = 10.63 ± 5.87 U/l; G4 = 18.00 ± 7.07 U/l; G5 = 11.23 ± 7.66 U/l). At a cut-off value of >31 U/l, the sensitivity, specificity and positive and negative preditive values were 100%, 92%, 72% and 100%, respectively. ADA concentrations as high as in tuberculous ascites were only found in two malignant ascites caused by lymphoma. We conclude that ADA determination in ascitic fluid is a useful and reliable screening test for diagnosing tuberculous ascites. Values of ADA higher than 31 U/l indicate more invasive methods to confirm the diagnosis of tuberculosis.

Sex Determination and Female Reproductive Development in the Genus Schistosoma: A Review

Parasites of the genus Schistosoma were among the first metazoans to develop separate sexes, which is chromosomally determined in the fertilized egg. Despite the occurrence of specific sex chromosomes, the females of most Schistosomatidae species do not complete their somatic development and reach no sexual maturity without the presence of males. Indeed, the most controversial and at the same time most fascinating aspect about the sexual development of Schistosoma females lies on discover the nature of the stimulus produced by males that triggers and controls this process. Although the nature of the stimulus (physical or chemical) is a source of controversy, there is agreement that mating is a necessary requirement for maturation to occur and for migration of the female to a definitive final site of residence in the vascular system of the vertebrate host. It has also been proposed that the stimulus is not species-specific and, in some cases, not even genus-specific. Despite a vast literature on the subject, the process or processes underlying the meeting of males and females in the circulatory system have not been determined and as yet no consensus exists about the nature of the stimulus that triggers and maintains female development. In the studies about their role, Schistosoma males have been considered, at times pejoratively, the brother, the muscles or even the liver of females. Indeed, it still remains to be determined whether the stimulus responsible for female maturation involves the transfer of hormones, nutrients, neuromediators, mere tactile stimulation or a combination of chemotactic and thigmotactic factors

ANTI M. leprae IgM ANTIBODY DETERMINATION BY ULTRAMICROIMMUNOENZYMATIC (UMELISA HANSEN) FOR THE DIAGNOSIS AND MONITORING LEPROSY

The relationship between the IgM antibody response, antigenic load as well as the clinical improvement after chemotherapy was studied in order to obtain useful data for the early diagnosis and monitoring leprosy. A level of 82% (94/115) agreement was obtained between IgM UMELISA HANSEN and slitskin smear examination. Discrepant results were observed in 16 patients who showed positive IgM response despite negative by the skin smear examination. In these patients, the IgM response was seen to be associated to the early signal for bacilli recurrence in the skin. In one of these patients the presence of bacilli was demonstrated in the skin, two months after IgM antibodies being detected by UMELISA HANSEN. Also in one of the treated patients positive by both diagnostic techniques, a remarkable decrease in the IgM antibody levels was seen, correlating with a significant clinical improvement. Moreover it was found a direct relationship between the IgM antibody response and bacterial antigenic load, regardless the time elapsed in the disease's evolution.

Serological diagnosis of toxoplasmosis: usefulness of IgA detection and IgG avidity determination in a patient with a persistent IgM antibody response to Toxoplasma gondii

We report the detection of specific IgA antibodies and the determination of IgG avidity in sequential serum samples from a patient exhibiting significant levels of Toxoplasma-specific IgM antibodies for seven years after the onset of the clinical symptoms of toxoplasmosis. IgM antibodies were detected by an indirect immunofluorescence test and by three commercial enzyme-linked immunosorbent assays (ELISA). Anti-T. gondii IgA was quantified by the a-capture ELISA technique using a commercial kit. As defined by the manufacturer of the IgA ELISA test used, most patients with acute toxoplasmosis have antibody levels > 40 arbitrary units per ml (AU/mL). At this cut-off level, the patient still had a positive ELISA result (45 AU/mL) in a serum sample taken one year after the beginning of clinical manifestations. The IgG avidity-ELISA test was performed with the Falcon assay screening test (F.A.S.T.®) - ELISA system. Avidity indices compatible with a recent Toxoplasma infection were found only in serum samples taken during the first 5 months after the onset of the clinical symptoms of toxoplasmosis. These results show that the interpretation of positive IgM results as indicative of recently acquired toxoplasmosis requires additional laboratory confirmation either by other tests or by the demonstration of a significant rise in the antibody titers in sequential serum samples.

Anti-phenolic glycolipid-I (PGL-I) determination using blood collection on filter paper in leprosy patients

The authors studied 70 leprosy patients and 20 normal individuals, comparing the traditional sera collection method and the finger prick blood with the conservation on filter paper for specific antibodies against the native phenolic glycolipid-I (PGL-I) from Mycobacterium leprae. The finger prick blood dried on filter paper was eluated in phosphate buffer saline (PBS) containing 0.5% gelatin. The classical method for native PGL-I was performed for these eluates, and compared with the antibody determination for sera. It was observed that there is a straight correlation comparing these two methods; although the titles found for the eluates were lower than those obtained for serology. This blood collection method could be useful for investigation of new leprosy cases in field, specially in contacts individuals.

Determinação das propriedades mecânicas à tração de adesivos estruturais frágeis e dúcteis

A crescente evolução na tecnologia das juntas coladas conferiu um potencial atractivo às ligações adesivas, com aplicações nas mais variadas indústrias. Isto deve-se não só aos aspetos económicos, tais como a melhoria da cadência de produção mas também à resistência mecânica que estas proporcionam. A possibilidade de ligar facilmente materiais distintos, a distribuição mais uniforme das tensões, a melhor resistência à fadiga e a elevada capacidade de amortecimento de vibrações estão entre as principais vantagens da utilização deste tipo de ligação. Estas propriedades transformam as juntas coladas numas das preferidas no momento de seleção de meios de união. O trabalho desenvolvido nesta dissertação enquadra-se no âmbito das ligações adesivas e tem como principais objetivos a produção de uma ferramenta para a produção de provetes de adesivo, assim como a determinação das propriedades mecânicas à tração dos mesmos para testar o desempenho do molde fabricado. Para tal, utilizou-se um adesivo frágil (Araldite® AV 138), um dúctil (Araldite® 2015) e um muito dúctil (SikaForce® 7888). Paralelamente é selecionado o método mais adequado na obtenção destes provetes, designadamente escolhendo entre a moldação em molde aberto e a injeção em molde fechado. Com vista à obtenção dos provetes, foi projetado e construído um molde em aço. Recorrendo à máquina de tração Shimadzu AG – X 100, realizaram-se os respetivos ensaios de tração, para a determinação de todas as propriedades mecânicas dos adesivos. Para efeitos de comparação de resultados foram utilizados dois tipos de extensómetros, um mecânico e um ótico. Os resultados experimentais permitiram observar que a presença de vazios afetou especialmente a deformação de rotura e a tensão de rotura. Detetaram-se pequenas discordâncias, comparativamente com os estudos publicados, de algumas características mecânicas obtidas dos diversos adesivos utilizados. Constatou-se também um ligeiro desfasamento entre os valores adquiridos com os dois tipos de extensómetros utilizados.