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.

Estratégia multi-temporal para produção automática de cartografia de ocupação do solo com imagens AWiFS

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

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.

Spatio-temporal land use/land cover changes analysis and monitoring in the Valencia Municipality, Spain

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies

Uma metaheurística para a programação de projectos com multi-modos e recursos limitados

Este artigo apresenta uma nova abordagem (MM-GAV-FBI), aplicável ao problema da programação de projectos com restrições de recursos e vários modos de execução por actividade, problema conhecido na literatura anglo-saxónica por MRCPSP. Cada projecto tem um conjunto de actividades com precedências tecnológicas definidas e um conjunto de recursos limitados, sendo que cada actividade pode ter mais do que um modo de realização. A programação dos projectos é realizada com recurso a um esquema de geração de planos (do inglês Schedule Generation Scheme - SGS) integrado com uma metaheurística. A metaheurística é baseada no paradigma dos algoritmos genéticos. As prioridades das actividades são obtidas a partir de um algoritmo genético. A representação cromossómica utilizada baseia-se em chaves aleatórias. O SGS gera planos não-atrasados. Após a obtenção de uma solução é aplicada uma melhoria local. O objectivo da abordagem é encontrar o melhor plano (planning), ou seja, o plano que tenha a menor duração temporal possível, satisfazendo as precedências das actividades e as restrições de recursos. A abordagem proposta é testada num conjunto de problemas retirados da literatura da especialidade e os resultados computacionais são comparados com outras abordagens. Os resultados computacionais validam o bom desempenho da abordagem, não apenas em termos de qualidade da solução, mas também em termos de tempo útil.

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Multi-bit sigma-delta modulators with enhanced dynamic-range using non-linear DAC for hearing aids

15th IEEE International Conference on Electronics, Circuits and Systems, Malta

Radiation dose rates and exposure associated to Technologically Enhanced Naturally Occurring Radioactive Materials (TENORM) at locations of a Portuguese coal-fired power plant

Coal contains trace quantities of natural radionuclides such as Th-232, U-235, U-238, as well as their radioactive decay products and 40K. These radionuclides can be released as fly ash in atmospheric emissions from coal-fired power plants, dispersed into the environment and deposited on the surrounding top soils. Therefore, the natural radiation background level is enhanced and consequently increase the total dose for the nearby population. A radiation monitoring programme was used to assess the external dose contribution to the natural radiation background, potentially resulting from the dispersion of coal ash in past atmospheric emissions. Radiation measurements were carried out by gamma spectrometry in the vicinity of a Portuguese coal-fired power plant. The radiation monitoring was achieved both on and off site, being the boundary delimited by a 20 km circle centered in the stacks of the coal plant. The measured radionuclides concentrations for the uranium and thorium series ranged from 7.7 to 41.3 Bq/kg for Ra-226 and from 4.7 to 71.6 Bq/kg for Th-232, while K-40 concentrations ranged from 62.3 to 795.1 Bq/kg. The highest values were registered near the power plant and at distances between 6 and 20 km from the stacks, mainly in the prevailing wind direction. The absorbed dose rates were calculated for each sampling location: 13.97-84.00 ηGy/h, while measurements from previous studies carried out in 1993 registered values in the range of 16.6-77.6 ηGy/h. The highest values were registered at locations in the prevailing wind direction (NW-SE). This study has been primarily done to assess the radiation dose rates and exposure to the nearby population in the surroundings of a coal-fired power plant. The results suggest an enhancement or at least an influence in the background radiation due to the coal plant past activities.

Radiological impact associated to Technologically Enhanced Naturally Occurring Radioactive Materials (TENORM) from coal-fired power plants emissions

Certain materials used and produced in a wide range of non-nuclear industries contain enhanced activity concentrations of natural radionuclides. In particular, electricity production from coal is one of the major sources of increased human exposure to naturally occurring radioactive materials. A methodology was developed to assess the radiological impact due to natural radiation background. The developed research was applied to a specific case study, the Sines coal-fired power plant, located in the southwest coastline of Portugal. Gamma radiation measurements were carried out with two different instruments: a sodium iodide scintillation detector counter (SPP2 NF, Saphymo) and a gamma ray spectrometer with energy discrimination (Falcon 5000, Canberra). Two circular survey areas were defined within 20 km of the power plant. Forty relevant measurements points were established within the sampling area: 15 urban and 25 suburban locations. Additionally, ten more measurements points were defined, mostly at the 20-km area. The registered gamma radiation varies from 20 to 98.33 counts per seconds (c.p.s.) corresponding to an external gamma exposure rate variable between 87.70 and 431.19 nGy/h. The highest values were measured at locations near the power plant and those located in an area within the 6 and 20 km from the stacks. In situ gamma radiation measurements with energy discrimination identified natural emitting nuclides as well as their decay products (Pb-212, Pb-2142, Ra-226, Th-232, Ac-228, Th-234, Pa-234, U- 235, etc.). According to the results, an influence from the stacks emissions has been identified both qualitatively and quantitatively. The developed methodology accomplished the lack of data in what concerns to radiation rate in the vicinity of Sines coal-fired power plant and consequently the resulting exposure to the nearby population.

Mobile cockpit system for enhanced electric bicycle use

This paper presents the project of a mobile cockpit system (MCS) for smartphones, which provides assistance to electric bicycle (EB) cyclists in smart cities' environment. The presented system introduces a mobile application (MCS App) with the goal to provide useful personalized information to the cyclist related to the EB's use, including EB range prediction considering the intended path, management of the cycling effort performed by the cyclist, handling of the battery charging process, and the provisioning of information regarding available public transport. This work also introduces the EB cyclist profile concept, which is based on historical data analysis previously stored in a database and collected from mobile devices' sensors. From the tests performed, the results show the importance of route guidance, taking into account the energy savings. The results also show significant changes on range prediction based on user and route taken. It is important to say that the proposed system can be used for all bicycles in general.

Transcranial magnetic resonance guided focused ultrasound: neurosurgery applications

Mestrado em Radiações Aplicadas às Tecnologias da Saúde

Biofunctional composite coating architectures based on polycaprolactone and nanohydroxyapatite for controlled corrosion activity and enhanced biocompatibility of magnesium AZ31 alloy

In this work a biofunctional composite coating architecture for controlled corrosion activity and enhanced cellular adhesion of AZ31 Mg alloys is proposed. The composite coating consists of a polycaprolactone (PCL) matrix modified with nanohydroxyapatite (HA) applied over a nanometric layer of polyetherimide (PEI). The protective properties of the coating were studied by electrochemical impedance spectroscopy (EIS), a non-disturbing technique, and the coating morphology was investigated by field emission scanning electron microscopy (FE-SEM). The results show that the composite coating protects the AZ31 substrate. The barrier properties of the coating can be optimized by changing the PCL concentration. The presence of nanohydroxyapatite particles influences the coating morphology and decreases the corrosion resistance. The biocompatibility was assessed by studying the response of osteoblastic cells on coated samples through resazurin assay, confocal laser scanning microscopy (CLSM) and scanning electron microscopy (SEM). The results show that the polycaprolactone to hydroxyapatite ratio affects the cell behavior and that the presence of hydroxyapatite induces high osteoblastic differentiation. (C) 2014 Elsevier B.V. All rights reserved.

Enhanced PCA-based localization using depth maps with missing data

In this paper a new method for self-localization of mobile robots, based on a PCA positioning sensor to operate in unstructured environments, is proposed and experimentally validated. The proposed PCA extension is able to perform the eigenvectors computation from a set of signals corrupted by missing data. The sensor package considered in this work contains a 2D depth sensor pointed upwards to the ceiling, providing depth images with missing data. The positioning sensor obtained is then integrated in a Linear Parameter Varying mobile robot model to obtain a self-localization system, based on linear Kalman filters, with globally stable position error estimates. A study consisting in adding synthetic random corrupted data to the captured depth images revealed that this extended PCA technique is able to reconstruct the signals, with improved accuracy. The self-localization system obtained is assessed in unstructured environments and the methodologies are validated even in the case of varying illumination conditions.

Evaluation of temporal, seasonal and geographic stability of the molluscicidal property of Euphorbia splendens latex

Laboratory tests with aqueous solutions of Euphorbia splendens var. hislopii latex have demonstrated seasonal stability of the molluscicidal principle, with LD90 values of 1.14 ppm (spring), 1.02 ppm (fall), 1.09 ppm (winter), and 1.07 ppm (summer) that have been determined against Biomphalaria tenagophila in the field. Assays on latex collected in Belo Horizonte and Recife yielded LD90 values similar to those obtained with the reference substance collected in Rio de Janeiro (Ilha do Governador), demonstrating geographic stability of the molluscicidal effect. The molluscicidal action of aqueous dilutions of the latex in natura, centrifuged (precipitate) and lyophilized, was stable for up to 124 days at room temperature (in natura) and for up to 736 days in a common refrigerator at 10 to 12ºC (lyophilized product). A 5.0 ppm solution is 100% lethal for snails up to 13 days after preparation, the effect being gradually lost to almost total inactivity by the 30th day. This observation indicated that the active principle is instable. These properties together with the wide distribution of the plant, its resistance and adaptation to the tropical climate, its easy cultivation and the easy obtention of latex and preparation of the molluscicidal solution, make this a promising material for large-scale use in the control of schistosomiasis