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.

Assessment of data-driven modeling strategies for water delivery canals

Conferência: CONTROLO’2012 - 16-18 July 2012 - Funchal

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.

Otimização energética na empresa Simoldes Plásticos S.A.

Mestrado em Engenharia Química - Ramo Optimização Energética na Indústria Química

Micro-abrasion wear behaviour of TiAlCrSiN nanostructured coatings

The injection process of glass fibres reinforced plastics promotes the moulds surface degradation by erosion. In order to improve its wear resistance, several kinds of PVD thin hard coatings were used. It is well-known that nanostructures present a better compromise between hardness and toughness. Indeed, when the coating is constituted by a large number of ultra-thin different layers, cracks and interface troubles tend to decrease. However, it is not clear that these nanostructures present a better wear behaviour in erosion processes. In order to study its wear behaviour, a sputtered PVD nanostructured TiAlCrSiN coating was used. The substrate and film surfaces topography were analyzed by profilometry and atomic force microscopy techniques. Film adhesion to the substrate was evaluated by scratch tests. The surface hardness was measured with a Vickers micro-hardness tester. The wear resistance was evaluated by micro-abrasion with a rotating ball tribometer tests. Slurry of SiC particles in distilled water was used in order to provoke the surface abrasion. Different duration tests were performed in order to analyze the wear evolution. After these tests, the wear mechanisms developed were analyzed by scanning electron microscopy. Wear craters were measured and the wear rate was calculated and discussed. With the same purpose, coated inserts were mounted in an injection mould working with a 30% glass fibres reinforced polypropylene. After 45 000 cycles no relevant wear was registered.

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.

Water-contact patterns and schistosoma mansoni infection in a rural community in northeast Brazil

We evaluated the influence of water-related human activities, contaminative behaviour, house location, education and socio-economic status on endemic Schistosoma mansoni infection. The study was conducted in a hilry non-irrigated area of rural northeast Brazil amongst a defined population of subsistence farmers, of whom 93% were infected by age 20. The area was mapped, water bodies were surveyed, and a detailed questionnaire was performed on each household. Infection was assessed by duplicate stool examinations using the sensitive Bell technique to quantify egg excretion. For each household, and index of intensity of infection was computed by grouping individual log-transformed egg counts as an age-sex adjusted Z score. Few households had a sanitary installation or a domestic water supply. However, neither water-contact nor contaminative behavior were indiscriminate. The people made considerable effort to defaecate far from a water source, to obtain household drinking water from the cleanest source, and to bathe only at certain sites where privacy is assured. Land ownership and literacy correlated poorly with the household index of intensity of infection. The key influence on infection status was the relative location of the house and snail-free or snail colonized water sources. In this area, a safe domestic water supply is the critical input needed to achieve definitive control of endemic Schistosomiasis.

Practical software improve design and performance of a randomly packed air stripping column for removing volatile organic compounds from water

STRIPPING is a software application developed for the automatic design of a randomly packing column where the transfer of volatile organic compounds (VOCs) from water to air can be performed and to simulate it’s behaviour in a steady-state. This software completely purges any need of experimental work for the selection of diameter of the column, and allows a choice, a priori, of the most convenient hydraulic regime for this type of operation. It also allows the operator to choose the model used for the calculation of some parameters, namely between the Eckert/Robbins model and the Billet model for estimating the pressure drop of the gaseous phase, and between the Billet and Onda/Djebbar’s models for the mass transfer. Illustrations of the graphical interface offered are presented.

Waste recovery into activated carbon for water purification from heavy metals

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Química Pela Universidade Nova de Lisboa,Faculdade de Ciências e Tecn

A multivariate analysis of socio-demographic factors, water contact patterns and Schistosoma mansoni infection in an endemic area in Brazil

Associations between socio-demographic factors, water contact patterns and Schistosoma mansoni infection were investigated in 506 individuals (87% of inhabitants over 1 year of age) in an endemic area in Brazil (Divino), aiming at determining priorities for public health measures to prevent the infection. Those who eliminated S. mansoni eggs (n = 198) were compared to those without eggs in the stools (n = 308). The following explanatory variables were considered: age, sex, color, previous treatment with schistosomicide, place of birth, quality of the houses, water supply for the household, distance from houses to stream, and frequency and reasons for water contact. Factors found to be independently associated with the infection were age (10-19 and > 20 yrs old), and water contact for agricultural activities, fishing, and swimming or bathing (Adjusted relative odds = 5.0, 2.4, 3.2, 2.1 and 2.0, respectively). This suggests the need for public health measures to prevent the infection, emphasizing water contact for leisure and agricultural activities in this endemic area.

Pliocene-quaternary upwelling in the SoutheasternAtlantic may reflect changes in water mass production

Proceedings of tile 1" R.C.A.N.S. Congress, Lisboa, October 1992

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.

Optimization of River Water Quality Surveys by Multivariate Analysis of Physicochemical, Bacteriological and Ecotoxicological Data

This study aims to optimize the water quality monitoring of a polluted watercourse (Leça River, Portugal) through the principal component analysis (PCA) and cluster analysis (CA). These statistical methodologies were applied to physicochemical, bacteriological and ecotoxicological data (with the marine bacterium Vibrio fischeri and the green alga Chlorella vulgaris) obtained with the analysis of water samples monthly collected at seven monitoring sites and during five campaigns (February, May, June, August, and September 2006). The results of some variables were assigned to water quality classes according to national guidelines. Chemical and bacteriological quality data led to classify Leça River water quality as “bad” or “very bad”. PCA and CA identified monitoring sites with similar pollution pattern, giving to site 1 (located in the upstream stretch of the river) a distinct feature from all other sampling sites downstream. Ecotoxicity results corroborated this classification thus revealing differences in space and time. The present study includes not only physical, chemical and bacteriological but also ecotoxicological parameters, which broadens new perspectives in river water characterization. Moreover, the application of PCA and CA is very useful to optimize water quality monitoring networks, defining the minimum number of sites and their location. Thus, these tools can support appropriate management decisions.

Preliminary study of synthesis gas production from water electrolysis, using the ELECTROFUEL (R) concept

This paper describes preliminary work on the generation of synthesis gas from water electrolysis using graphite electrodes without the separation of the generated gases. This is an innovative process, that has no similar work been done earlier. Preliminary tests allowed to establish correlations between the applied current to the electrolyser and flow rate and composition of the generated syngas, as well as a characterisation of generated carbon nanoparticles. The obtained syngas can further be used to produce synthetic liquid fuels, for example, methane, methanol or DME (dimethyl ether) in a catalytic reactor, in further stages of a present ongoing project, using the ELECTROFUEL® concept. The main competitive advantage of this project lies in the built-in of an innovative technology product, from RE (renewable energy) power in remote locations, for example, islands, villages in mountains as an alternative for energy storage for mobility constraints.

An uncertainty and sensitivity analysis applied to the prioritisation of pharmaceuticals as surface water contaminants from wastewater treatment plant direct emissions

In this study, the concentration probability distributions of 82 pharmaceutical compounds detected in the effluents of 179 European wastewater treatment plants were computed and inserted into a multimedia fate model. The comparative ecotoxicological impact of the direct emission of these compounds from wastewater treatment plants on freshwater ecosystems, based on a potentially affected fraction (PAF) of species approach, was assessed to rank compounds based on priority. As many pharmaceuticals are acids or bases, the multimedia fate model accounts for regressions to estimate pH-dependent fate parameters. An uncertainty analysis was performed by means of Monte Carlo analysis, which included the uncertainty of fate and ecotoxicity model input variables, as well as the spatial variability of landscape characteristics on the European continental scale. Several pharmaceutical compounds were identified as being of greatest concern, including 7 analgesics/anti-inflammatories, 3 β-blockers, 3 psychiatric drugs, and 1 each of 6 other therapeutic classes. The fate and impact modelling relied extensively on estimated data, given that most of these compounds have little or no experimental fate or ecotoxicity data available, as well as a limited reported occurrence in effluents. The contribution of estimated model input variables to the variance of freshwater ecotoxicity impact, as well as the lack of experimental abiotic degradation data for most compounds, helped in establishing priorities for further testing. Generally, the effluent concentration and the ecotoxicity effect factor were the model input variables with the most significant effect on the uncertainty of output results.