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

All the world in a boat: portuguese folklore, common sense and ideology

This essay sees “through” an object produced by Portuguese folklore: the moliceiro boat of Ria de Aveiro, whose most original characteristic is the group of four different panels painted on each boat. These unique panels have echoed national mythologies and have undergone influence from institutional channels of instruction and propaganda for much of the twentieth century. We will analyse how this boat expresses the inventory of a community’s identity, imagination, and practices.

Electroanalysis of urinary L-dopa using tyrosinase immobilized on gold nanoelectrode ensembles

The performance of an amperometric biosensor constructed by associating tyrosinase (Tyr) enzyme with the advantages of a 3D gold nanoelectrode ensemble (GNEE) is evaluated in a flow-injection analysis (FIA) system for the analysis of l-dopa. GNEEs were fabricated by electroless deposition of the metal within the pores of polycarbonate track-etched membranes. A simple solvent etching procedure based on the solubility of polycarbonate membranes is adopted for the fabrication of the 3D GNEE. Afterward, enzyme was immobilized onto preformed self-assembled monolayers of cysteamine on the 3D GNEEs (GNEE-Tyr) via cross-linking with glutaraldehyde. The experimental conditions of the FIA system, such as the detection potential (−0.200 V vs. Ag/AgCl) and flow rates (1.0 mL min−1) were optimized. Analytical responses for l-dopa were obtained in a wide concentration range between 1 × 10−8 mol L−1 and 1 × 10−2 mol L−1. The limit of quantification was found to be 1 × 10−8 mol L−1 with a resultant % RSD of 7.23% (n = 5). The limit of detection was found to be 1 × 10−9 mol L−1 (S/N = 3). The common interfering compounds, namely glucose (10 mmol L−1), ascorbic acid (10 mmol L−1), and urea (10 mmol L−1), were studied. The recovery of l-dopa (1 × 10−7 mol L−1) from spiked urine samples was found to be 96%. Therefore, the developed method is adequate to be applied in the clinical analysis.

Estudo geotécnico dos solos do vale do Leça no âmbito de uma obra de requalificação portuária

A expansão da área ocupada pelo Porto de Leixões (Matosinhos e Leça da Palmeira), sobre solos muito compressíveis, de origem fluvial e marinha, leva a que seja necessário recorrer à engenharia para encontrar soluções adequadas à utilização de obras dos fins em vista. Assim, na zona do porto são muitos os projectos de engenharia civil/geotécnica executados nestes solos. Como exemplo, podem citar-se a Consolidação do Terrapleno e Construção dos Caminhos de Rolamento do Terminal de Contentores TC4S, a Reabilitação de um troço com 110m, do Cais Sul e do Cais Nascente da Doca nº 4 e a Construção da Portaria Principal do Porto de Leixões, todos no vale fóssil do rio Leça. São vastos os métodos a usar para o melhoramento destes solos, a colocação de colunas de brita, com o objectivo de reforçar o solo, aumentando a sua capacidade de carga e funcionando como drenos verticais, para solucionar o problema das deformações excessivas durante e após o final da obra, uma alternativa consiste em induzir a aceleração da consolidação da camada de solo mole, o uso de pré-carregamento e drenos verticais são usuais. Quando o tempo de concretização da obra exige que o aterro seja utilizado de imediato, uma solução viável é a colocação de estacas, que transferem o peso do aterro, ou parte dele, para camadas mais competentes. Também se pode proceder à retirada do solo original e substituí-lo por outro de qualidade superior. A mais recente técnica de melhoria de solos por injecção - jet grouting - é utilizada em diversas situações, incluindo obras provisórias e definitivas. O presente trabalho visa descrever, em função dos diversos factores, o comportamento do solo face aos vários métodos utilizados e os objectivos pretendidos que serão abordados no enquadramento empírico do trabalho.

Flow injection electrochemical determination of apomorphine

Few analytical methods are currently available for determination of apomorphine, the active substance of a new oral formulation used in the treatment of erectile dysfunction. In this way a flow injection electrochemical method (FIA-EC) was developed for its quantification and applied to pharmaceutical dosage forms. Based in previous findings regarding the stability of apomorphine in borate buffer and after optimization of several analytical parameters a single channel flow injection manifold was set up that enables the determination of this drug over the concentration range of 3 to 16 µmol L-1 with a detection limit of 0.5 µmol L-1 at a sampling rateof 90 h-1. The simplicity and rapidity of the FIA-EC method used, its reproducibility and sensitivity make it suitable for quality control of pharmaceutical preparations of apomorphine intended for clinical use and research.

Citrate selective electrodes for the flow injection analysis of soft drinks, beers and pharmaceutical products

Aiming the establishment of simple and accurate readings of citric acid (CA) in complex samples, citrate (CIT) selective electrodes with tubular configuration and polymeric membranes plus a quaternary ammonium ion exchanger were constructed. Several selective membranes were prepared for this purpose, having distinct mediator solvents (with quite different polarities) and, in some cases, p-tert-octylphenol (TOP) as additive. The latter was used regarding a possible increase in selectivity. The general working characteristics of all prepared electrodes were evaluated in a low dispersion flow injection analysis (FIA) manifold by injecting 500µl of citrate standard solutions into an ionic strength (IS) adjuster carrier (10−2 mol l−1) flowing at 3ml min−1. Good potentiometric response, with an average slope and a repeatability of 61.9mV per decade and ±0.8%, respectively, resulted from selective membranes comprising additive and bis(2-ethylhexyl)sebacate (bEHS) as mediator solvent. The same membranes conducted as well to the best selectivity characteristics, assessed by the separated solutions method and for several chemical species, such as chloride, nitrate, ascorbate, glucose, fructose and sucrose. Pharmaceutical preparations, soft drinks and beers were analyzed under conditions that enabled simultaneous pH and ionic strength adjustment (pH = 3.2; ionic strength = 10−2 mol l−1), and the attained results agreed well with the used reference method (relative error < 4%). The above experimental conditions promoted a significant increase in sensitivity of the potentiometric response, with a supra-Nernstian slope of 80.2mV per decade, and allowed the analysis of about 90 samples per hour, with a relative standard deviation <1.0%.

Determination of polyphenols in wines by reaction with 4-aminoantipyrine and photometric flow-injection analysis

A new flow-injection analytical procedure is proposed for the determination of the total amount of polyphenols in wines; the method is based on the formation of a colored complex between 4-aminoantipyrine and phenols, in the presence of an oxidizing reagent. The oxidizing agents hexacyanoferrate(III), peroxodisulfate, and tetroxoiodate(VII) were tested. Batch trials were first performed to select appropriate oxidizing agents, pH, and concentration ratios of reagents, on the basis of their effect on the stability of the colored complex. Conditions selected as a result of these trials were implemented in a flow-injection analytical system in which the influence of injection volume, flow rate, and reaction- coil length, was evaluated. Under the optimum conditions the total amount of polyphenols, expressed as gallic acid, could be determined within a concentration range of 36 to 544 mg L–1, and with a sensitivity of 344 L mol–1 cm–1 and an RSD <1.1%. The reproducibility of analytical readings was indicative of standard deviations <2%. Interference from sugars, tartaric acid, ascorbic acid, methanol, ammonium sulfate, and potassium chloride was negligible. The proposed system was applied to the determination of total polyphenols in red wines, and enabled analysis of approximately 55 samples h–1. Results were usually precise and accurate; the RSD was <3.9% and relative errors, by the Folin–Ciocalteu method, <5.1%.

Flow injection potentiometric determination of chlorpromazine

New chlorpromazine selective electrodes with a tubular arrangement and no internal reference solution are proposed. Selective membranes are of poly(vinyl chloride) (PVC) with the tetraphenylborate•chlorpromazine (TPB•CPZ) ion-exchanger dissolved in o-nitrophenyl octyl ether (oNPOE). Analytical features of the electrodes were evaluated on a single-channel flow assembly having 500 µl injection volumes and flow-rates of 4.5 ml min−1. For a carrier solution of 3.3×10−3Min sodium sulphate, Nernstian responsewas observed over the concentration range 1.0×10−5 to 1.0×10−2 M. Average slopes were about 59mVdecade−1 and squared correlation coefficients were >0.9984. Slight hiper-Nernstian behaviour was observed in buffer solutions of 4.4 pH; average slopes were of 62.06mVdecade−1. The electrode displayed a good selectivity for CPZ, with respect to, several foreign inorganic and organic species. The selective electrodes were successfully applied to the analysis of pure solutions and pharmaceutical preparations. Proposed method allows the analysis of 84 samples h−1, producing wastewaters of low toxicity. The proposed method offers the advantage of simplicity, accuracy, applicability to coloured and turbid samples, and automation feasibility.

Flow-injection potentiometric method for the routine determination of chloride: application to bread analysis

Bread is consumed worldwide by man, thus contributing to the regular ingestion of certain inorganic species such as chloride. It controls the blood pressure if associated to a sodium intake and may increase the incidence of stomach ulcer. Its routine control should thus be established by means of quick and low cost procedures. This work reports a double- channel flow injection analysis (FIA) system with a new chloride sensor for the analysis of bread. All solutions are prepared in water and necessary ionic strength adjustments are made on-line. The body of the indicating electrode is made from a silver needle of 0.8 mm i.d. with an external layer of silver chloride. These devices were constructed with different lengths. Electrodes of 1.0 to 3.0 cm presented better analytical performance. The calibration curves under optimum conditions displayed Nernstian behaviour, with average slopes of 56 mV decade-1, with sampling rates of 60 samples h-1. The method was applied to analyze several kinds of bread, namely pão de trigo, pão integral, pão de centeio, pão de mistura, broa de milho, pão sem sal, pão meio sal, pão-de-leite, and pão de água. The accuracy and precision of the potentiometric method were ascertained by comparison to a spectrophotometric method of continuous segmented flow. These methods were validated against ion-chromatography procedures.

Common genetic polymorphisms in the ABCB1 gene are associated with risk of major depressive disorder in male Portuguese individuals

Major depressive disorder (MDD) is a highly prevalent disorder, which has been associated with an abnormal response of the hypothalamus–pituitary–adrenal (HPA) axis. Reports have argued that an abnormal HPA axis response can be due to an altered P-Glycoprotein (P-GP) function. This argument suggests that genetic polymorphisms in ABCB1 may have an effect on the HPA axis activity; however, it is still not clear if this influences the risk of MDD. Our study aims to evaluate the effect of ABCB1 C1236T, G2677TA and C3435T genetic polymorphisms on MDD risk in a subset of Portuguese patients. DNA samples from 80 MDD patients and 160 control subjects were genotyped using TaqMan SNP Genotyping assays. A significant protection for MDD males carrying the T allele was observed (C1236T: odds ratio (OR) = 0.360, 95% confidence interval [CI]: [0.140– 0.950], p = 0.022; C3435T: OR= 0.306, 95% CI: [0.096–0.980], p = 0.042; and G2677TA: OR= 0.300, 95% CI: [0.100– 0.870], p = 0.013). Male Portuguese individuals carrying the 1236T/2677T/3435T haplotype had nearly 70% less risk of developing MDD (OR = 0.313, 95% CI: [0.118–0.832], p = 0.016, FDR p = 0.032). No significant differences were observed regarding the overall subjects. Our results suggest that genetic variability of the ABCB1 is associated with MDD development in male Portuguese patients. To the best of our knowledge, this is the first report in Caucasian samples to analyze the effect of these ABCB1 genetic polymorphisms on MDD risk.

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.

TiB2 nanostructured coating for GFRP injection moulds

In the injection moulding of polypropylene reinforced with hard glass fibres, die materials are commonly subjected to severe abrasive wear. In order to improve its wear resistance, an unbalanced magnetron sputtering PVD compositional monolayered coating has been produced. The film was composed by a nanostructured TiB2 monolayer. Microstructure characterization and thickness evaluation were conducted by scanning electron microscopy (SEM). Film topography and roughness were accessed by SEM and Atomic Force Microscopy (AFM). The phase analyse was investigated by X-ray diffraction (XRD), using Cu Kalpha radiation. Scratch tests were conducted in order to study the film adhesion to the substrate. Load-Displacement curves (nanoindentation analysis) allowed measuring the film hardness and Young's modulus. A ball-cratering tribometer was used to determine the micro-abrasion laboratorial wear resistance, under different tests conditions, using SiC particles in distilled water slurry. At the end of these tests, the worn surfaces were analyzed by SEM and Energy Dispersive X-ray Spectroscopy (EDS) in order to compare these results with some other coatings already tested in the same conditions. To test the practical wear resistance, 135000 injection cycles were done in a plastic injection industrial mould. Coated samples were put on the plastic feed canal, after a turbulent zone. In these tests, a 30% (wt) glass fibres reinforced polypropylene was used. Worn sample surfaces were analyzed by SEM after 45.000 and 90.000 cycles. Image analyses were made in order to evaluate the damage increases and to observe the wear mechanisms involved.

Increasing the wear resistance of molds for injection of glass fiber reinforced plastics

Abrasion by glass fibers during injection molding of fiber reinforced plastics raises new challenges to the wear performance of the molds. In the last few decades, a large number of PVD and CVD coatings have been developed with the aim of minimizing abrasion problems. In this work, two different coatings were tested in order to increase the wear resistance of the surface of a mold used for glass fiber reinforced plastics: TiAlSiN and CrN/CrCN/DLC. TiAlSiN was deposited as a graded monolayer coating while CrN/CrCN/DLC was a nanostructured coating consisting of three distinct layers. Both coatings were produced by PVD unbalanced magnetron sputtering and were characterized using scanning electron microscopy (SEM) provided with energy dispersive spectroscopy (EDS), atomic force microscopy (AFM), micro hardness (MH) and scratch test analysis. Coating morphology, thickness, roughness, chemical composition and structure, hardness and adhesion to the substrate were investigated. Wear resistance was characterized through industrial tests with coated samples and an uncoated reference sample inserted in a feed channel of a plastic injection mold working with 30 wt.% glass fiber reinforced polypropylene. Results after 45,000 injection cycles indicate that the wear resistance of the mold was increased by a factor of 25 and 58, by the TiAlSiN and CrN/CrCN/DLC coatings, respectively, over the uncoated mold steel.