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.

Urban land use change analysis and modelling: a case study of Setubal-Sesimbra, Portugal

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

Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Electrotécnica, especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Real time manufacturing systems simulator

A área da simulação computacional teve um rápido crescimento desde o seu apareciment, sendo actualmente uma das ciências de gestão e de investigação operacional mais utilizadas. O seu princípio baseia-se na replicação da operação de processos ou sistemas ao longo de períodos de tempo, tornando-se assim uma metodologia indispensável para a resolução de variados problemas do mundo real, independentemente da sua complexidade. Das inúmeras áreas de aplicação, nos mais diversos campos, a que mais se destaca é a utilização em sistemas de produção, onde o leque de aplicações disponível é muito vasto. A sua aplicação tem vindo a ser utilizada para solucionar problemas em sistemas de produção, uma vez que permite às empresas ajustar e planear de uma maneira rápida, eficaz e ponderada as suas operações e os seus sistemas, permitindo assim uma rápida adaptação das mesmas às constantes mudanças das necessidades da economia global. As aplicações e packages de simulação têm seguindo as tendências tecnológicas pelo que é notório o recurso a tecnologias orientadas a objectos para o desenvolvimento das mesmas. Este estudo baseou-se, numa primeira fase, na recolha de informação de suporte aos conceitos de modelação e simulação, bem como a respectiva aplicação a sistemas de produção em tempo real. Posteriormente centralizou-se no desenvolvimento de um protótipo de uma aplicação de simulação de ambientes de fabrico em tempo real. O desenvolvimento desta ferramenta teve em vista eventuais fins pedagógicos e uma utilização a nível académico, sendo esta capaz de simular um modelo de um sistema de produção, estando também dotada de animação. Sem deixar de parte a possibilidade de integração de outros módulos ou, até mesmo, em outras plataformas, houve ainda a preocupação acrescida de que a sua implementação recorresse a metodologias de desenvolvimento orientadas a objectos.

Real time mobile system for support in firefighting environments

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

People counting system using existing surveillance video camera

The Casa da Música Foundation, responsible for the management of Casa da Música do Porto building, has the need to obtain statistical data related to the number of building’s visitors. This information is a valuable tool for the elaboration of periodical reports concerning the success of this cultural institution. For this reason it was necessary to develop a system capable of returning the number of visitors for a requested period of time. This represents a complex task due to the building’s unique architectural design, characterized by very large doors and halls, and the sudden large number of people that pass through them in moments preceding and proceeding the different activities occurring in the building. To achieve the technical solution for this challenge, several image processing methods, for people detection with still cameras, were first studied. The next step was the development of a real time algorithm, using OpenCV libraries and computer vision concepts,to count individuals with the desired accuracy. This algorithm includes the scientific and technical knowledge acquired in the study of the previous methods. The themes developed in this thesis comprise the fields of background maintenance, shadow and highlight detection, and blob detection and tracking. A graphical interface was also built, to help on the development, test and tunning of the proposed system, as a complement to the work. Furthermore, tests to the system were also performed, to certify the proposed techniques against a set of limited circumstances. The results obtained revealed that the algorithm was successfully applied to count the number of people in complex environments with reliable accuracy.

A framework for fault tolerant real time systems based on reconfigurable FPGAs

To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its use more attractive. However, these technological improvements also make FPGAs particularly vulnerable to configuration memory bit-flips caused by power fluctuations, strong electromagnetic fields and radiation. This issue is particularly sensitive because of the increasing amount of configuration memory cells needed to define their functionality. A short survey of the most recent publications is presented to support the options assumed during the definition of a framework for implementing circuits immune to bit-flips induction mechanisms in memory cells, based on a customized redundant infrastructure and on a detection-and-fix controller.

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.

A self-healing real-time system based on run-time self-reconfiguration

The new generations of SRAM-based FPGA (field programmable gate array) devices are the preferred choice for the implementation of reconfigurable computing platforms intended to accelerate processing in real-time systems. However, FPGA's vulnerability to hard and soft errors is a major weakness to robust configurable system design. In this paper, a novel built-in self-healing (BISH) methodology, based on run-time self-reconfiguration, is proposed. A soft microprocessor core implemented in the FPGA is responsible for the management and execution of all the BISH procedures. Fault detection and diagnosis is followed by repairing actions, taking advantage of the dynamic reconfiguration features offered by new FPGA families. Meanwhile, modular redundancy assures that the system still works correctly

Forest fires occurrences and burned area in mainland Portugal: preliminary assessment to a fifteen years period

Portugal, as well as the Mediterranean basin, is favorable to the occurrence of forest fires. In this work a statistical analysis was carried out based on the official information, considering the forest fires occurrences and the corresponding burned area for each of the districts of the mainland Portugal, between 1996 and 2010. Concerning to the forest fires occurrence it was possible to identify three main regions in mainland Portugal, while the burned area can be characterized in two main regions. Associations between districts and years are different in the two approaches. The results obtained provide a synthetic analysis of the phenomenon of forest fires in continental Portugal, based on all the official information available to date.

Soil erosion after forest fires: evaluation of mitigation measures applied to drainage channels in the northwest of Portugal

The development and implementation of measures which promote the reduction of the impacts of forest fires on soils is imperative and should be part of any strategy for forest and soil preservation and recovery, especially considering the actual scenario of continuous growth in the number of fires and burnt area. Consequently, with the dendrocaustologic reality that has characterized the Portuguese mainland in recent decades, a research project promoted by the Center for the Study of Geography and Spatial Planning (CEGOT) was implemented with the objective of applying several erosion mitigation measures in a burned area of the Peneda-Geres National Park in NW Portugal. This paper therefore seeks to present the measures applied in the study area within the project Soil Protec, relating to triggered channel processes and the results of preliminary observations concerning the evaluation of the effectiveness of erosion mitigation measures implemented, as well as their cost/benefit ratio.

Acompanhamento da construção de um edifício de habitação multifamiliar

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Edificações

Gestão integrada de ativos num contexto real

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Manutenção

Avaliação do desempenho energético de um grande edifício de serviços existente

Nesta dissertação pretende-se caracterizar o desempenho energético de um grande edifício de serviços existente, da tipologia ensino, avaliar e identificar potenciais medidas que melhorem aquele desempenho, permitindo, em complemento, determinar a sua classificação energética no âmbito da legislação vigente. A pertinência do estudo prende-se com a avaliação do desempenho energético dos edifícios e com o estudo de medidas de melhoria que permitam incrementar a eficiência energética, por recurso a um programa de simulação energética dinâmica certificado – DesignBuilder e tendo em conta a regulamentação portuguesa em vigor. Inicialmente procedeu-se à modelação do edifício com recurso ao programa DesignBuilder, e, simultaneamente, realizou-se um levantamento de todas as suas características ao nível de geometria, pormenores construtivos, sistemas AVAC e de iluminação e fontes de energia utilizadas. Com vista à caracterização do modo de operação do edifício, foi realizado um levantamento dos perfis reais de utilização em termos de ocupação, iluminação e equipamentos para os vários espaços. Foram realizadas medições de caudais de ar novo e da temperatura do ar, em alguns equipamentos e alguns espaços específicos. Foram realizadas medições em tempo real e leituras de contagens da energia eléctrica utilizada, quer em período de aulas quer em período de férias, que permitiram a desagregação das facturas da energia eléctrica que se apresentam globais para o campus do ISEP. Foram realizadas leituras de contagens de gás natural. Em sequência, foi realizada a simulação energética dinâmica com o intuito de ajustar o modelo criado aos consumos reais e de analisar medidas de melhoria que lhe conferissem um melhor desempenho energético. Essas medidas são agrupadas em quatro tipos: - Medidas de natureza comportamental; - Medidas de melhoria da eficiência energética nos sistemas de iluminação; - Medidas de melhoria de eficiência energética nos sistemas AVAC;- Medidas que visam a introdução de energias de fonte renovável; Em sequência, foi elaborada a simulação nominal e calculados os indicadores de eficiência energética com vista à respectiva classificação energética do edifício, tendo o edifício apresentado uma Classe Energética D de acordo com a escala do SCE. Finalmente, foi avaliado o impacto das diferentes medidas de melhoria identificadas e com potencial de aplicação, isto é, que apresentaram um retorno simples do investimento inferior a oito anos, tanto ao nível do desempenho energético real do edifício, como ao nível da sua classificação energética. De onde se concluiu que existe um potencial de 7% de redução nos consumos energéticos actuais do edifício e de 18% se o funcionamento do edifício for em pleno, ou seja, se todos os seus sistemas estiverem efectivamente em funcionamento, e que terá impacto na classificação energética alcançado uma Classe Energética C.

Análise comparativa de valores de imóveis e de métodos de avaliação

Esta dissertação considera a importância da avaliação imobiliária no mercado imobiliário, nas mais diversas situações. Contudo, cinge-se à determinação de um presumível valor de transação para apartamentos, moradias, lojas e terrenos, para venda ou arrendamento. Os mercados imobiliários escolhidos são dois concelhos conhecidos, da autora, por ser mais fácil a perceção dos locais e preços de venda. Foi escolhido o Concelho de Valongo para apartamentos, moradias e terrenos e o Concelho da Maia para lojas. Para determinarmos os valores em estudo adotaram-se os métodos de avaliação imobiliária mais comuns nomeadamente: o Método Comparativo, Método do Rendimento e o Método do Custo. São apresentados os métodos de avaliação mais utilizados, descrevendo-se a aplicação de cada um deles e as suas condições necessárias. Fez-se uma comparação entre cada um o que permitiu concluir sobre os mesmos. A recolha dos imóveis objeto de estudo foi efetuada em Sites de empresas imobiliárias que dispunham de informação necessária ao âmbito do trabalho. Aplicaram-se os métodos a cada caso recolhido e posteriormente fez-se a comparação dos resultados obtidos. Através de tratamento estatístico, utilizaram-se as técnicas de regressão múltipla para análise de relações entre os métodos de avaliação aplicados. Por fim, retiraram-se conclusões sobre a relação existente entre os três métodos de avaliação.