ComFIRM - Injeção de falhas de comunicação através da alteração de recursos do sistema operacional

Este trabalho trata da técnica de validação experimental de protocolos de comunicação confiável, através da injeção de falhas de comunicação. São estudadas inicialmente as técnicas de injeção de falhas, por hardware, software e simulação, e então são aprofundados os conceitos de injeção de falhas de comunicação, modelos de falha e especificação de experimentos de injeção de falhas. Em um segundo momento, são estudadas as formas de implementação de injetores de falhas em software, em suas duas formas mais comuns: no nível da aplicação e no nível do sistema operacional. São comentados os impactos da implementação de injetores no código da aplicação, por processos concorrentes à aplicação, em código utilizado pela aplicação e no meta-nível. Por fim, são estudados também que influências sofre a implementação de um injetor de falhas em um sistema operacional, e mais especificamente a de injetores de falhas de comunicação. O objetivo específico deste trabalho é implementar um injetor de falhas de comunicação bastante abrangente e flexível, situado dentro do núcleo do Sistema Operacional Linux. Para viabilizar esta implementação foi estudada também a arquitetura do Sistema Operacional Linux, sua decomposição em subsistemas e a interação entre estes. Foram estudadas também as várias técnicas de programação e mecanismos que o Sistema Operacional Linux fornece aos seus subsistemas. Estando completas a revisão bibliográfica a respeito de injeção de falhas e o estudo do código do Sistema Operacional Linux, são apresentadas a proposta e a implementação da ferramenta ComFIRM—Communication Fault Injection through Operating System Resource Modification, suas características e sua inserção dentro do núcleo do Sistema Operacional Linux. Finalizando este trabalho, são apresentados uma pequena série de testes de funcionamento e experimentos realizados com a ferramenta ComFIRM, visando demonstrar a correção de seu funcionamento, o cumprimento de seus objetivos e também sua praticidade e flexibilidade de uso. São apresentadas as conclusões deste trabalho, propostas de melhorias à ferramenta apresentada, bem como possibilidades de trabalhos futuros.

Injeção distribuída de falhas para validação de dependabilidade de sistemas distribuídos de larga escala

Uma etapa fundamental no desenvolvimento de sistemas tolerantes a falhas é a fase de validação, onde é verificado se o sistema está reagindo de maneira correta à ocorrência de falhas. Uma das técnicas usadas para validar experimentalmente um sistema é injeção de falhas. O recente uso de sistemas largamente distribuídos para execução dos mais diversos tipos de aplicações, faz com que novas técnicas para validação de mecanismos de tolerância a falhas sejam desenvolvidas considerando este novo cenário. Injeção de falhas no sistema de comunicação do nodo é uma técnica tradicional para a validação de aplicações distribuídas, para forçar a ativação dos mecanismos de detecção e recuperação de erros relacionados à troca de mensagens. A condução de experimentos com injetores de comunicação tradicionais é feita pelo uso do injetor em uma máquina do sistema distribuído. Se o cenário desejado é de múltiplas falhas, o injetor deve ser instanciado independentemente nas n máquinas que as falhas serão injetadas. O controle de cada injetor é individual, o que dificulta a realização do experimento. Esta dificuldade aumenta significativamente se o cenário for um sistema distribuído de larga escala. Outro problema a considerar é a ausência de ferramentas apropriadas para a emulação de determinados cenários de falhas. Em aplicações distribuídas de larga escala, um tipo comum de falha é o particionamento de rede. Não há ferramentas que permitam diretamente a validação ou a verificação do processo de defeito de aplicações distribuídas quando ocorre um particionamento de rede Este trabalho apresenta o estudo de uma abordagem para injeção de falhas que permita o teste de atributos de dependabilidade de aplicações distribuídas de pequena e larga escala implementadas em Java. A abordagem considera a não obrigatoriedade da alteração do código da aplicação sob teste; a emulação de um cenário de falhas múltiplas que ocorrem em diferentes nodos, permitindo o controle centralizado do experimento; a validação de aplicações que executem em sistemas distribuídos de larga escala e consideram um modelo de falhas realista deste tipo de ambiente, incluindo particionamentos de rede. A viabilidade da abordagem proposta é mostrada através do desenvolvimento do protótipo chamado FIONA (Fault Injector Oriented to Network Applications), o qual atualmente injeta falhas em aplicações desenvolvidas sob o protocolo UDP.

Estimativas de confiabilidade de produto a partir das contagens mensais de vendas e falhas ao longo do período de garantia

Esta dissertação aborda a estimativa das probabilidades de falha de um produto ao longo do período de garantia. As fontes de dados para esta estimativa são a quantidade de produtos vendidos e o número de falhas detectadas em cada mês. Duas metodologias não-paramétricas para esta análise são apresentadas e validadas. A metodologia de análise de dados completos requer o conhecimento da data de venda e de falha de cada produto. A metodologia de análise de dados incompletos requer apenas os totais de vendas e falhas em cada mês ao longo do período de garantia. Para os dois casos, é ainda implementada a suavização das probabilidades de falha estimadas, utilizando distribuições paramétricas Weibull ou Lognormal. As duas técnicas são implementadas em planilha eletrônica e aplicadas na análise de dados simulados. O desempenho de cada metodologia é avaliado com dados de diferentes características, resultando em recomendações para escolha e aplicação da metodologia mais adequada em cada caso

Firmament : um módulo de injeção de falhas de comunicação para linux

A execução de testes é um passo essencial na adoção de novos protocolos de comunicação e sistemas distribuídos. A forma com que estes se comportam na presença de falhas, tão comuns em ambientes geograficamente distribuídos, deve ser conhecida e considerada. Testes sob condições de falha devem ser realizados e as implementações devem trabalhar dentro de sua especificação nestas condições, garantindo explicitamente o funcionamento dos seus mecanismos de detecção e recuperação de erros. Para a realização de tais testes, uma técnica poderosa é a injeção de falhas. Ferramentas de injeção de falhas permitem ao projetista ou engenheiro de testes medir a eficiência dos mecanismos de um sistema antes que o mesmo seja colocado em operação efetiva. Este trabalho apresenta o projeto, desenvolvimento e teste do injetor de falhas FIRMAMENT. Esta ferramenta executa, dentro do núcleo do sistema operacional, microprogramas, ou faultlets, sobre cada mensagem processada para a emulação de situações de falha de comunicação, utilizando uma abordagem de scripts. A ferramenta é implementada como um módulo de núcleo do sistema operacional Linux, tendo acesso total aos fluxos de entrada e saída de pacotes de forma limpa e não intrusiva, permitindo o teste de sistemas baseados nos protocolos IPv4 e IPv6. Seu desempenho é significativo, já que a ferramenta evita que os mecanismos de injeção de falhas sejam invocados nos fluxos que não sejam de interesse aos testes, bem como dispensa a cópia de dados dos pacotes de comunicação a serem inspecionados e manipulados. A aplicabilidade da ferramenta, dada pela sua facilidade de integração a um ambiente de produção, é conseqüência de sua disponibilidade como um módulo de núcleo, podendo ser carregada como um plugin em um núcleo não modificado. As instruções por FIRMAMENT suportadas lhe dão alto poder de expressão dos cenários de falhas. Estas instruções permitem a inspeção e seleção de mensagens de forma determinística ou estatística. Além disso, fornecem diversas ações a serem realizadas sobre os pacotes de comunicação e sobre as variáveis internas do injetor, fazendo-o imitar o comportamento de falhas reais, como descarte e duplicação de mensagens, atraso na sua entrega e modificação de seu conteúdo. Estas características tornam a ferramenta apropriada para a realização de experimentos sobre protocolos e sistemas distribuídos.

Alheios ao risco: influências das falhas de julgamento dos empreendedores na avaliação de oportunidades

Estudos passados demonstram que empreendedores, ao contrário do que se imaginava, não diferem de outros decisores quanto a sua propensão ao risco; porém, diferem quanto à percepção deste. Sabendo que a percepção varia entre os indivíduos, é objetivo deste estudo entender a relação entre os vieses cognitivos, a percepção de risco e a avaliação de oportunidades, partindo da premissa de que estes são, ao menos em parte, responsáveis por esta variação entre os indivíduos. O trabalho faz uma revisão da literatura da racionalidade limitada e do julgamento sob incerteza, abordando em especial a pesquisa em cognição empreendedora e percepção do risco, buscando estabelecer conexões teóricas entre elas. Em consonância com outros trabalhos da área, empiricamente o trabalho se desenvolveu através de pesquisa quantitativa utilizando surveys aplicados a micro e pequenos empreendedores, com respostas utilizadas em um modelo de equações estruturais que testou a influência dos vieses cognitivos na percepção de risco do empreendedor, influenciando sua avaliação de oportunidades. Os resultados, em dissonância com outros trabalhos acadêmicos sobre o tema, demonstram que apesar da hipótese de que a baixa percepção de risco do empreendedor está associada com uma avaliação mais positiva de oportunidades ser aceita, as demais, referentes a influência dos vieses cognitivos na avaliação de oportunidades e à mediação da percepção de risco na relação entre os vieses cognitivos e a avaliação de oportunidades, demonstraram-se em sua maioria não conclusivas, sendo uma delas rejeitada.

Deteção e caracterização molecular das estirpes de Wolbachia nos afídeos

A Wolbachiapertence a um grupo de bactérias intracelulares, transmitidas maternalmente, que se encontram amplamente distribuídas nos artrópodes. Estes endossimbiontes encontram-se normalmente nos tecidos do sistema reprodutor dos artrópodes e têm a capacidade manipular a sua reproduçãode modo a garantir a sua transmissão à descendência e rápida dispersão na população.A capacidade de manipulação reprodutiva da Wolbachia tornou-a o alvo de diversos estudos para uma maior e melhor perceção da sua implicação em processos biológicos e evolutivos e por acreditar-se que esta bactéria é uma promissora ferramenta no controlo de populações de insetos que são pragas agrícolas. Os afídeos são um grupo de insetos associados às plantas que podem ter um efeito devastador nas culturas agrícolas e hortícolas pois não só retiram nutrientes às plantas como podem ser vetores de doenças. Embora durante muito tempo se pensasse que estes insetos não albergavam a Wolbachia estudos recentes mostram que são várias as espécies de afídeos infetados com esta bactéria. O principal objetivo deste trabalho é estudar a prevalência de infeção por Wolbachia assim como a caracterização das suas estirpes em amostras de afídeos dos Arquipélagos da Madeira e dos Açores. Neste estudo foram analisadas 545 amostras de afídeos, 361 provenientes do Arquipélago da Madeira e 184 dos Açores. Utilizando a técnica da “Polymerase Chain Reaction” (reação em cadeia da polimerase) amplificou-se o gene 16S rRNA (RNA ribossomal) e verificou-se que 32 destas amostras encontravam-se infetadas com Wolbachia sendo a maior parte das amostras infetadas provenientes dos Açores. Para determinar a estirpe que infeta estes afídeos utilizou-se a tipagem sequencial multilocus (MLST) com os genesglutamil-tRNA amidotransferase, subunidade B (gatB), citocromo c oxidase, subunidade I (coxA), proteína hipotética conservativa (hcpA) e proteína da divisão celular (ftsZ). A análise filogenética realizada para os diferentes genes mostrou que grande parte das amostras analisadas estão incluídas em dois dos novos supergrupos descobertos para Wolbachia, supergrupo M e N.Foi detetada a presença da mesma estirpe de Wolbachia, supergrupo N, em duas espécies diferentes de afídeos, Neophyllaphis podocarpi e Aphis spiraecola da mesma planta hospedeira, Podocarpus macrophyllus. Esta infeção reforça a ideia de que a Wolbachia não recorre só a transmissão vertical para se difundir na população mas utiliza também a transmissão horizontal. A deteção e caracterização das estirpes de Wolbachia é essencial para um maior entendimento sobre a sua origem e forma de disseminação. Esta informação é importante para desenvolvimento de estratégias de controlo de pestes recorrendo a estes endossimbiontes.

Estabelecimento do perfil metabolómico volátil da urina e saliva, como estratégia não-invasiva, para a deteção de potenciais biomarcadores de diferentes tipos de cancro

Com este trabalho pretendeu-se estabelecer o perfil metabolómico volátil de amostras de fluidos biológicos, nomeadamente saliva e urina, de pacientes com cancro da mama e do pulmão e de indivíduos saudáveis (grupo controlo), utilizando a Microextração em Fase Sólida em modo headspace (HS-SPME) seguida de Cromatografia Gasosa acoplada à Espectrometria de Massa (GC-MS). Efetuou-se a comparação entre os perfis voláteis dos grupos estudados com o objetivo de identificar metabolitos que possam ser considerados como potenciais biomarcadores dos tipos de cancro em estudo. De modo a otimizar a metodologia extrativa, HS-SPME, foram avaliados os diferentes parâmetros experimentais com influência no processo extrativo. Os melhores resultados foram obtidos com a fibra CAR/PDMS, usando um volume de 2 mL de saliva acidificada, 10% NaCl (m/v) e 45 minutos de extração a uma temperatura de 37±1°C. Para a urina foi utilizada a mesma fibra, 4 mL de urina acidificada, 20% NaCl (m/v) e 60 minutos de extração a 50±1°C. Nas amostras de saliva e urina, foram identificados 243 e 500 metabolitos voláteis respetivamente, sendo estes pertencentes a diferentes famílias químicas. Posteriormente, utilizou-se a análise discriminante por mínimos quadrados parciais (PLS-DA) que permitiu observar uma boa separação entre os grupos controlo e oncológicos. Nas amostras salivares o grupo de pacientes com cancro da mama foi maioritariamente caracterizado pelo metabolito ácido benzeno carboxílico e o grupo de pacientes com cancro do pulmão pelo ácido hexanóico. Na urina o grupo de pacientes com cancro da mama foi maioritariamente caracterizado pelo metabolito 1-[2-(Isobutiriloxi)-1-metiletil]-2,2-dimetilpropil 2-metilpropanoato e o grupo de pacientes com cancro do pulmão pelo o-cimeno. Além da metodologia PLS-DA foi realizada a validação cruzada de monte carlo (MCCV) tendo-se obtido uma elevada taxa de classificação, sensibilidade e especificidade o que demonstra a robustez dos dados obtidos.

Sistema sensor em fibra ótica para deteção de gás

O presente trabalho descreve duas técnicas de deteção de gás baseadas em fibra ótica e apresenta dois sistemas sensores testados em ambiente laboratorial, usando técnicas de processamento de sinal usualmente associadas à espetroscopia de absorção. O estudo inicial do estado da arte dos sensores baseados em fibra ótica para a deteção de gases apresenta soluções com elevada seletividade, sensibilidade e resolução que permitem tempos de resposta curtos e esquemas de multiplexagem versáteis. A técnica de espetroscopia de absorção direta (DAS) permite a deteção de gases de forma simples e com alguma eficácia, mas com uma baixa relação-sinal-ruido. A espetroscopia por modulação de comprimento de onda (WMS) é uma técnica muito eficaz e de elevada sensibilidade para a deteção de gases, dado que a deteção é deslocada para frequências afastadas do ruído base, melhorando significativamente a relação-sinal-ruído. Estas técnicas foram escolhidas para a implementação de dois sistemas optoeletrónicos, totalmente controlados pelas respetivas aplicações em LabVIEW para a deteção e monitorização de amónia (NH3), dióxido de carbono (CO2) e metano (CH4). O trabalho é finalizado com a caraterização laboratorial dos sistemas e avaliação do desempenho, permitindo a otimização dos sistemas e técnicas implementados. De referir que o trabalho realizado nas instalações da Unidade de Optoeletrónica e Sistemas Eletrónicos (UOSE) do Instituto de Engenharia de Sistemas e Computadores (INESC), Tecnologia e Ciência (TEC), laboratório associado coordenado pelo INESC Porto, permitiu, excelentes condições de trabalho, essenciais para implementar de forma prática os diversos conceitos estudados, bem como testar e caraterizar todos os sistemas desenvolvidos em ambiente laboratorial. O trabalho desenvolvido enquadra-se no âmbito do projeto europeu ECOAL-MGT (Gestão ecológica de pilhas de resíduos de carvão), que será implementado para monitorização remota de parâmetros fundamentais de uma escombreira de carvão em auto-combustão em S.ºPedro da Cova, Portugal.

Avaliação histomorfométrica do efeito do ultrasom pulsado nas falhas ósseas provocadas em fêmures de rato: estudo experimental

SILVA, J. S. P. Avaliação histomorfométrica do efeito do ultrasom pulsado nas falhas ósseas provocadas em fêmures de rato: estudo experimental . 2000. 85 f. Dissertação (Mestrado) – Faculdade de Medicina, Universidade de São Paulo. São Paulo, 2000.

Análise de falhas em martelos oscilantes dos desfibradores da indústria sucroalcooleira da Região Norte-Nordeste

The failure of materials is always an unwelcome event for several reasons: human lives are put in danger, economic losses, and interference in the availability of products and services. Although the causes of failures and behaviour of materials can be known, the prevention of such a condition is difficult to be guaranteed. Among the failures, wear abrasion by the low voltage is the kind of failure that occurs in more equipment and parts industry. The Plants Sucroalcooleiras suffer significant losses because of such attrition, this fact that motivated their choice for the development of this work. For both, were considered failures in the swing hammers desfibradores stopped soon after the exchange provided in accordance with tonnage of cane processed, then were analyzed by the level of wear testing of rubber wheel defined by the standard ASTM G65-91.The failures were classified as to the origin of the cause and mechanism, moreover, were prepared with samples of welding procedures according to ASME code, sec. IX as well, using the technique of thermal spraying to analyze the performance of these materials produced in laboratories, and compares them with the solder used in the plant. It was observed that the bodies-of-proof prepared by the procedure described as welding, and the thermal spraying the results of losing weight have been minimized significantly compared to the preparations in the plant. This is because the use of techniques more appropriate and more controlled conditions of the parameters of welding. As for the thermal spraying, this technique has presented a satisfactory result, but requires the use of these coatings in the best condition for real affirmation of the results