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.

A importância da gestão baseada na criação de valor para o acionista (Value-Based Management): o caso do Grupo Galp Energia

A avaliação de empresas sempre constituiu um tema de elevada reflexão, sendo que vários especialistas tentam encontrar os modelos que melhor se adaptam a situações específicas e para as quais precisam de determinar um valor. No contexto empresarial português começa a ganhar significância a prática da gestão orientada para a criação de valor (Value-Based Management). O conceito de Value-Based Management assistiu a um particular desenvolvimento nos últimos 20 anos como resultado da globalização e desregulamentação dos mercados financeiros, dos avanços nas tecnologias de informação e do aumento da importância dos investidores institucionais. Vários analistas apresentaram evidência de que as empresas que adotam sistemas VBM melhoram o seu desempenho económico em relação a outras de dimensão semelhante no mesmo setor. É neste contexto que o EVA (Economic Value Added) se apresenta como uma métrica de desempenho privilegiada nos processos de controlo das decisões estratégicas tomadas. No presente trabalho pretendemos abordar o conceito da gestão baseada na criação de valor e a sua importância para o acionista, o que implica rever outros modelos de avaliação tradicionais baseados no valor contabilístico. Como métrica de avaliação do desempenho passado da empresa ao nível da criação de valor vamos dar particular importância ao estudo do EVA, fazendo referência à possível correlação entre esta métrica e o MVA (Market Value Added). O objetivo principal é analisar empiricamente a relação do EVA como medida de desempenho associada à criação de valor para os acionistas com a performance da empresa. Com efeito, vamos efetuar um estudo de caso, que vai incidir sobre um grupo empresarial português, referência no seu setor de atividade, o Grupo Galp Energia, cotado na Euronext Lisbon. Pensamos que a crescente prática da gestão baseada na criação de valor nas empresas cotadas em Portugal e a necessidade de aferir os resultados desta, tornam esta investigação pertinente, para além do facto de serem poucos os estudos empíricos à questão da criação de valor e a sua correlação com o valor acrescentado de mercado e com o valor de mercado dos capitais próprios das empresas cotadas em Portugal.

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.

Sistema de Torre de Refrigeração

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

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

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.

Discretization of complex-order algorithms for control applications

In this article we describe several methods for the discretization of the differintegral operator sa, where α = u + jv is a complex value. The concept of the conjugated-order differintegral is also introduced, which enables the use of complex-order differintegrals while still producing real-valued time responses and transfer functions. The performance of the resulting approximations is analysed in both the time and frequency domains. Several results are presented that demonstrate its utility in control system design.

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

Maximização da valorização energética em aterros sanitários recorrendo a equipamentos baseados no Ciclo Orgânico de Rankine (ORC)

Atualmente, os aterros sanitários representam uma solução para a gestão e tratamento dos resíduos sólidos urbanos. Da deposição, ocorrem duas formas de emissões ao longo do tempo, a produção de biogás e de lixiviados, que resultam sobretudo da decomposição da matéria orgânica. Um dos principais constituintes do biogás é o metano, o qual tem elevado poder calorífico. O presente trabalho aborda, a maximização da valorização energética em aterros sanitários, recorrendo a equipamentos baseados no Ciclo Orgânico de Rankine (ORC) para a produção de eletricidade. É apresentado como caso de estudo a central de valorização energética da Suldouro, em Sermonde, que produz eletricidade a partir do biogás resultante da decomposição da matéria orgânica depositada em aterro. O biogás é utilizado como combustível para os motogeradores utilizados para o seu aproveitamento energético, sendo que apenas cerca de 40% do potencial energético contido no biogás é transformado em eletricidade, registando-se perdas sobretudo nas emissões dos gases de exaustão e na água de arrefecimento dos motores. Para avaliação do potencial da recuperação energética dos gases de escape é avaliado o desempenho termodinâmico do ciclo ORC. Para tal foi desenvolvida uma ferramenta em MATLAB utilizando como modelo a configuração do ORC com recuperador de calor. O cálculo das propriedades termodinâmicas dos fluidos foi obtido através da criação de uma sub-rotina que chama o programa CoolProp. Este programa restitui propriedades como a entalpia, entropia, pressões e temperaturas em cada ponto do ciclo, permitindo assim ao utilizador otimizar o tempo na obtenção de resultados. A avaliação económica é fundamental na tomada de decisões por parte do investidor e dos financiadores do projeto. É então apresentada a análise económica e efetuada uma análise de sensibilidade, onde foram efetuadas variações nos vetores mais importantes de forma a poder avaliar-se o impacto em termos da sua rentabilidade. A ferramenta desenvolvida permite obter de forma prática, os três indicadores económicos extremamente influentes no que se refere à tomada de decisão. A utilização dos sistemas ORC e os seus benefícios não se esgotam na maximização dos aproveitamentos da valorização energética em aterros sanitários. Também a recuperação de calor para a produção de energia elétrica pode ter um impacto importante em muitos setores intensivos de energia, contribuindo significativamente para a redução do consumo e aumentando a eficiência de todo o processo de produção.

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.

Development of procedures for the simulation of atmospheric flows over complex terrain, using OpenFOAM

The main purpose of this work was the development of procedures for the simulation of atmospheric ows over complex terrain, using OpenFOAM. For this aim, tools and procedures were developed apart from this code for the preprocessing and data extraction, which were thereafter applied in the simulation of a real case. For the generation of the computational domain, a systematic method able to translate the terrain elevation model to a native OpenFOAM format (blockMeshDict) was developed. The outcome was a structured mesh, in which the user has the ability to de ne the number of control volumes and its dimensions. With this procedure, the di culties of case set up and the high computation computational e ort reported in literature associated to the use of snappyHexMesh, the OpenFOAM resource explored until then for the accomplishment of this task, were considered to be overwhelmed. Developed procedures for the generation of boundary conditions allowed for the automatic creation of idealized inlet vertical pro les, de nition of wall functions boundary conditions and the calculation of internal eld rst guesses for the iterative solution process, having as input experimental data supplied by the user. The applicability of the generated boundary conditions was limited to the simulation of turbulent, steady-state, incompressible and neutrally strati ed atmospheric ows, always recurring to RaNS (Reynolds-averaged Navier-Stokes) models. For the modelling of terrain roughness, the developed procedure allowed to the user the de nition of idealized conditions, like an uniform aerodynamic roughness length or making its value variable as a function of topography characteristic values, or the using of real site data, and it was complemented by the development of techniques for the visual inspection of generated roughness maps. The absence and the non inclusion of a forest canopy model limited the applicability of this procedure to low aerodynamic roughness lengths. The developed tools and procedures were then applied in the simulation of a neutrally strati ed atmospheric ow over the Askervein hill. In the performed simulations was evaluated the solution sensibility to di erent convection schemes, mesh dimensions, ground roughness and formulations of the k - ε and k - ω models. When compared to experimental data, calculated values showed a good agreement of speed-up in hill top and lee side, with a relative error of less than 10% at a height of 10 m above ground level. Turbulent kinetic energy was considered to be well simulated in the hill windward and hill top, and grossly predicted in the lee side, where a zone of ow separation was also identi ed. Despite the need of more work to evaluate the importance of the downstream recirculation zone in the quality of gathered results, the agreement between the calculated and experimental values and the OpenFOAM sensibility to the tested parameters were considered to be generally in line with the simulations presented in the reviewed bibliographic sources.

Diagnóstico e avaliação da segurança de estruturas de madeira existentes

A utilização da madeira enquanto material estrutural é um aspeto abordado com algum receio ou até desconhecimento por parte dos elementos intervenientes no processo de construção civil, sendo ainda uma área pouco lecionada e muitas vezes excluída dos planos curriculares em Engenharia Civil. Assim sendo é importante o surgimento de trabalhos relacionados com esta matéria, relembrando ao sector da construção civil e ao ramo de estudo relacionado, que a madeira já teve e possivelmente voltará a ter um papel importante a desempenhar na área da construção. Um dos aspetos evidenciados nos estudos realizados consiste na importância da reabilitação de edifícios e do seu papel cada vez mais determinante na sociedade. Esta metodologia de intervenção apresenta-se muitas vezes como uma vantagem económica assim como contribui para a preservação do património arquitetónico e cultural, cujo valor histórico é incalculável. A importância da reabilitação de edifícios habitacionais nas zonas históricas, bem como de monumentos de grande importância cultural apresenta-se cada vez mais como um desafio devido à falta de conservação dos mesmos ao longo da sua vida útil, e da necessidade de preservar a identidade do local, beneficiando assim a qualidade do tecido urbano. Assim sendo, este trabalho apresenta um levantamento dos danos possíveis de ocorrer em elementos de madeira, dando especial destaque aos agentes patológicos e às consequências da sua atividade na madeira assim como às metodologias de inspeção e diagnóstico que poderão ser aplicadas em estruturas de madeira existentes, favorecendo assim a vertente da reabilitação ao invés da demolição. Estas metodologias recorrem a ensaios não destrutivos, como é exemplo o Pilodyn, o Resistógrafo, o Ultra-sons, etc., referindo também o recurso a ensaios destrutivos, cuja utilização terá de ser uma questão muito bem ponderada devido às consequências que implica. Por fim, apresenta-se um caso real de estudo em que se analisa um pavimento em madeira através da aplicação de metodologias de ensaio não destrutivas e destrutivas a amostras recolhidas. O objetivo será determinar o estado de conservação da madeira e algumas características físicas tais como a sua densidade e os módulos de elasticidade, sendo posteriormente efetuada uma análise estrutural. Os resultados obtidos permitem efetuar uma avaliação qualitativa do estado geral do pavimento sendo as principais conclusões que o pavimento se encontra atacado por parte de insetos xilófagos e apresenta problemas a nível de verificação a estados limite de utilização, deformação e vibração, fator que condiciona a possível utilização do pavimento.

New recycling approaches for thermoset polymeric composite wastes – an experimental study on polyester based concrete materials filled with fibre reinforced plastic recyclates

In this study, a new waste management solution for thermoset glass fibre reinforced polymer (GFRP) based products was assessed. Mechanical recycling approach, with reduction of GFRP waste to powdered and fibrous materials was applied, and the prospective added-value of obtained recyclates was experimentally investigated as raw material for polyester based mortars. Different GFRP waste admixed mortar formulations were analyzed varying the content, between 4% up to 12% in weight, of GFRP powder and fibre mix waste. The effect of incorporation of a silane coupling agent was also assessed. Design of experiments and data treatment was accomplished through implementation of full factorial design and analysis of variance ANOVA. Added value of potential recycling solution was assessed by means of flexural and compressive loading capacity of GFRP waste admixed mortars with regard to unmodified polymer mortars. The key findings of this study showed a viable technological option for improving the quality of polyester based mortars and highlight a potential cost-effective waste management solution for thermoset composite materials in the production of sustainable concrete-polymer based products.