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.

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.

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.

Sarcosine oxidase composite screen-printed electrode for sarcosine determination in biological samples

As the prostate cancer (PCa) progresses, sarcosine levels increase both in tumor cells and urine samples, suggesting that this metabolite measurements can help in the creation of non-invasive diagnostic methods for this disease. In this work, a biosensor device was developed for the quantification of sarcosine via electrochemical detection of H2O2 (at 0.6 V) generated from the catalyzed oxidation of sarcosine. The detection was carried out after the modification of carbon screen printed electrodes (SPEs) by immobilization of sarcosine oxidase (SOX) on the electrode surface. The strategies used herein included the activation of the carbon films by an electrochemical step and the formation of an NHS/EDAC layer to bond the enzyme to the electrode, the use of metallic or semiconductor nanoparticles layer previously or during the enzyme immobilization. In order to improve the sensor stability and selectivity a polymeric layer with extra enzyme content was further added. The proposed methodology for the detection of sarcosine allowed obtaining a limit of detection (LOD) of 16 nM, using a linear concentration range between 10 and 100 nM. The biosensor was successfully applied to the analysis of sarcosine in urine samples.

Sarcosine oxidase composite screen-printed electrode for sarcosine determination in biological samples

XIX Meeting of the Portuguese Electrochemical Society - XVI Iberic Meeting of Electrochemistry

New and low cost plastic membrane electrode with low detection limits for sulfadimethoxine determination in aquaculture waters

Sulfadimethoxine (SDM) is one of the drugs, often used in the aquaculture sector to prevent the spread of disease in freshwater fish aquaculture. Its spread through the soil and surface water can contribute to an increase in bacterial resistance. It is therefore important to control this product in the environment. This work proposes a simple and low-cost potentiometric device to monitor the levels of SDM in aquaculture waters, thus avoiding its unnecessary release throughout the environment. The device combines a micropipette tip with a PVC membrane selective to SDM, prepared from an appropriate cocktail, and an inner reference solution. The membrane includes 1% of a porphyrin derivative acting as ionophore and a small amount of a lipophilic cationic additive (corresponding to 0.2% in molar ratio). The composition of the inner solution was optimized with regard to the kind and/or concentration of primary ion, chelating agent and/or a specific interfering charged species, in different concentration ranges. Electrodes constructed with inner reference solutions of 1 × 10−8 mol/L SDM and 1 × 10−4 mol/L chromate ion showed the best analytical features. Near-Nernstian response was obtained with slopes of −54.1 mV/decade, an extraordinary detection limit of 7.5 ng/mL (2.4 × 10−8 mol/L) when compared with other electrodes of the same type. The reproducibility, stability and response time are good and even better than those obtained by liquid contact ISEs. Recovery values of 98.9% were obtained from the analysis of aquaculture water samples.

Novel optical PVC probes for on-site detection/determination of fluoroquinolones in a solid/liquid interface: Application to the determination of Norfloxacin in aquaculture water

A novel optical disposable probe for screening fluoroquinolones in fish farming waters is presented, having Norfloxacin (NFX) as target compound. The colorimetric reaction takes place in the solid/liquid interface consisting of a plasticized PVC layer carrying the colorimetric reagent and the sample solution. NFX solutions dropped on top of this solid-sensory surface provided a colour change from light yellow to dark orange. Several metals were tested as colorimetric reagents and Fe(III) was selected. The main parameters affecting the obtained colour were assessed and optimised in both liquid and solid phases. The corresponding studies were conducted by visible spectrophotometry and digital image acquisition. The three coordinates of the HSL model system of the collected image (Hue, Saturation and Lightness) were obtained by simple image management (enabled in any computer). The analytical response of the optimised solid-state optical probe against concentration was tested for several mathematical transformations of the colour coordinates. Linear behaviour was observed for logarithm NFX concentration against Hue+Lightness. Under this condition, the sensor exhibited a limit of detection below 50 μM (corresponding to about 16 mg/mL). Visual inspection also enabled semi-quantitative information. The selectivity was ensured against drugs from other chemical groups than fluoroquinolones. Finally, similar procedure was used to prepare an array of sensors for NFX, consisting on different metal species. Cu(II), Mn(II) and aluminon were selected for this purpose. The sensor array was used to detect NFX in aquaculture water, without any prior sample manipulation.

Determination of Microcystin-LR in waters in the subnanomolar range by sol–gel imprinted polymers on solid contact electrodes

The present work reports new sensors for the direct determination of Microcystin-LR (MC-LR) in environmental waters. Both selective membrane and solid contact were optimized to ensure suitable analytical features in potentiometric transduction. The sensing layer consisted of Imprinted Sol–Gel (ISG) materials capable of establishing surface interactions with MC-LR. Non-Imprinted Sol–Gel (NISG) membranes were used as negative control. The effects of an ionic lipophilic additive, time of sol–gel polymerization, time of extraction of MC-LR from the sensitive layer, and pH were also studied. The solid contact was made of carbon, aluminium, titanium, copper or nickel/chromium alloys (80 : 20 or 90 : 10). The best ISG sensor had a carbon solid contact and displayed average slopes of 211.3 mV per decade, with detection limits of 7.3 1010 M, corresponding to 0.75 mg L1 . It showed linear responses in the range of 7.7 1010 to 1.9 109 M of MC-LR (corresponding to 0.77–2.00 mg L1 ), thus including the limiting value for MC-LR in waters (1.0 mg L1 ). The potentiometric-selectivity coefficients were assessed by the matched potential method for ionic species regularly found in waters up to their limiting levels. Chloride (Cl) showed limited interference while aluminium (Al3+), ammonium (NH4 + ), magnesium (Mg2+), manganese (Mn2+), sodium (Na+ ), and sulfate (SO4 2) were unable to cause the required potential change. Spiked solutions were tested with the proposed sensor. The relative errors and standard deviation obtained confirmed the accuracy and precision of the method. It also offered the advantages of low cost, portability, easy operation and suitability for adaptation to flow methods.

Novel LTCC-potentiometric microfluidic device for biparametric analysis of organic compounds carrying plastic antibodies as ionophores: Application to sulfamethoxazole and trimethoprim

Monitoring organic environmental contaminants is of crucial importance to ensure public health. This requires simple, portable and robust devices to carry out on-site analysis. For this purpose, a low-temperature co-fired ceramics (LTCC) microfluidic potentiometric device (LTCC/μPOT) was developed for the first time for an organic compound: sulfamethoxazole (SMX). Sensory materials relied on newly designed plastic antibodies. Sol–gel, self-assembling monolayer and molecular-imprinting techniques were merged for this purpose. Silica beads were amine-modified and linked to SMX via glutaraldehyde modification. Condensation polymerization was conducted around SMX to fill the vacant spaces. SMX was removed after, leaving behind imprinted sites of complementary shape. The obtained particles were used as ionophores in plasticized PVC membranes. The most suitable membrane composition was selected in steady-state assays. Its suitability to flow analysis was verified in flow-injection studies with regular tubular electrodes. The LTCC/μPOT device integrated a bidimensional mixer, an embedded reference electrode based on Ag/AgCl and an Ag-based contact screen-printed under a micromachined cavity of 600 μm depth. The sensing membranes were deposited over this contact and acted as indicating electrodes. Under optimum conditions, the SMX sensor displayed slopes of about −58.7 mV/decade in a range from 12.7 to 250 μg/mL, providing a detection limit of 3.85 μg/mL and a sampling throughput of 36 samples/h with a reagent consumption of 3.3 mL per sample. The system was adjusted later to multiple analyte detection by including a second potentiometric cell on the LTCC/μPOT device. No additional reference electrode was required. This concept was applied to Trimethoprim (TMP), always administered concomitantly with sulphonamide drugs, and tested in fish-farming waters. The biparametric microanalyzer displayed Nernstian behaviour, with average slopes −54.7 (SMX) and +57.8 (TMP) mV/decade. To demonstrate the microanalyzer capabilities for real applications, it was successfully applied to single and simultaneous determination of SMX and TMP in aquaculture waters.

Sulfadiazine-selective determination in aquaculture environment: Selective potentiometric transduction by neutral or charged ionophores

Solid-contact sensors for the selective screening of sulfadiazine (SDZ) in aquaculture waters are reported. Sensor surfaces were made from PVC membranes doped with tetraphenylporphyrin-manganese(III) chloride, α-cyclodextrin, β-cyclodextrin, or γ-cyclodextrin ionophores that were dispersed in plasticizer. Some membranes also presented a positive or a negatively charged additive. Phorphyrin-based sensors relied on a charged carrier mechanism. They exhibited a near-Nernstian response with slopes of 52 mV decade−1 and detection limits of 3.91 × 10−5 mol L−1. The addition of cationic lipophilic compounds to the membrane originated Nernstian behaviours, with slopes ranging 59.7–62.0 mV decade−1 and wider linear ranges. Cyclodextrin-based sensors acted as neutral carriers. In general, sensors with positively charged additives showed an improved potentiometric performance when compared to those without additive. Some SDZ selective membranes displayed higher slopes and extended linear concentration ranges with an increasing amount of additive (always <100% ionophore). The sensors were independent from the pH of test solutions within 2–7. The sensors displayed fast response, always <15 s. In general, a good discriminating ability was found in real sample environment. The sensors were successfully applied to the fast screening of SDZ in real waters samples from aquaculture fish farms. The method offered the advantages of simplicity, accuracy, and automation feasibility. The sensing membrane may contribute to the development of small devices allowing in locus measurements of sulfadiazine or parent-drugs.

Biomimetic sensors of molecularly-imprinted polymers for chlorpromazine determination

A new man-tailored biomimetic sensor for Chlorpromazine host-guest interactions and potentiometric transduction is presented. The artificial host was imprinted within methacrylic acid, 2-vinyl pyridine and 2-acrylamido-2-methyl-1-propanesulfonic acid based polymers. Molecularly imprinted particles were dispersed in 2-nitrophenyloctyl ether and entrapped in a poly(vinyl chloride) matrix. Slopes and detection limits ranged 51–67 mV/decade and 0.46–3.9 μg/mL, respectively, in steady state conditions. Sensors were independent from the pH of test solutions within 2.0–5.5. Good selectivity was observed towards oxytetracycline, doxytetracycline, ciprofloxacin, enrofloxacin, nalidixic acid, sulfadiazine, trimethoprim, glycine, hydroxylamine, cysteine and creatinine. Analytical features in flowing media were evaluated on a double-channel manifold, with a carrier solution of 5.0 × 10−2 mol/L phosphate buffer. Near-Nernstian response was observed over the concentration range 1.0 × 10−4 to 1.0 × 10−2 mol/L. Average slopes were about 48 mV/decade. The sensors were successfully applied to field monitoring of CPZ in fish samples, offering the advantages of simplicity, accuracy, automation feasibility and applicability to complex samples.