INFIMO : um toolkit para experimentos de intrusão de injetores de falhas

Técnicas de tolerância a falhas visam a aumentar a dependabilidade dos sistemas nos quais são empregadas. Entretanto, há necessidade de garantir a confiança na capacidade do sistema em fornecer o serviço especificado. A validação possui como objetivo propiciar essa garantia. Uma técnica de validação bastante utilizada é a injeção de falhas, que consiste na introdução controlada de falhas no sistema para observar seu comportamento. A técnica de injeção de falhas acelera a ocorrência de falhas em um sistema. Com isso, ao invés de esperar pela ocorrência espontânea das falhas, pode-se introduzi-las intencionalmente, controlando o tipo, a localização, o disparo e a duração das falhas. Injeção de falhas pode ser implementada por hardware, software ou simulação. Neste trabalho são enfocadas técnicas de injeção de falhas por software, desenvolvidas nos níveis da aplicação e do sistema operacional. O trabalho apresenta o problema da validação, através da injeção de falhas, de um protocolo de troca de pacotes. Enfoque especial é dado ao impacto resultante da inclusão de um módulo extra no protocolo, uma vez que o mesmo apresenta restrições temporais. O trabalho investiga alternativas de implementação de injetores de falhas por software que minimizem este impacto. Tais alternativas referem-se a localização do injetor de falhas no sistema, a forma de ativação das atividades do injetor de falhas e a operação de injeção de falhas em si. Um toolkit para experimentos de intrusão da injeção de falhas é apresentado. O alvo da injeção de falhas é um protocolo com característica tempo real. O toolkit desenvolvido, denominado INFIMO (INtrusiveless Fault Injector MOdule), visa a analisar, de forma experimental, a intrusão do injetor de falhas sobre o protocolo alvo. O INFIMO preocupa-se com protocolos com restrições temporais por esses constituírem um desafio sob o ponto de vista de injeção de falhas. O INFIMO suporta falhas de comunicação, as quais podem ocasionar a omissão de alguns pacotes. O INFIMO apresenta duas ferramentas de injeção de falhas: INFIMO_LIB, implementada no nível da aplicação e INFIMO_DBG implementada com auxílio de recursos do sistema operacional. Destacam-se ainda como contribuições do INFIMO a definição e a implementação do protocolo alvo para experimentos de injeção de falhas, o protocolo INFIMO_TAP. Além disso, o INFIMO apresenta métricas para avaliação da intrusão provocada pelo injetor de falhas no protocolo alvo.

Aplicação de microssatélites (STR) de bovinos em animais de raças zebuínas

O gado zebu (Bos indicus) é predominante em todo o mundo. Atualmente, no Brasil, o rebanho de bovinos e zebuínos é composto por aproximadamente 170 milhões de indivíduos, no qual, 80% são zebuínos ou animais de raças cruzadas com zebu. O principal objetivo deste estudo foi determinar a possibilidade da utilização de marcadores moleculares de bovinos na identificação genética de zebuínos. A confirmação desta possibilidade seria de extrema valia, já que a quantidade de informações sobre o genoma zebuíno é limitada e metodologias específicas de identificação de marcadores genéticos para raças zebuínas são raras. Assim, o DNA de 65 zebus, de 4 raças diferentes (Gir, Tabapuã, Nelore e Brahman), foi extraído a partir de sangue aplicado em papel filtro, utilizando o “kit” DNA IQTM SYSTEM (Promega®). Após a extração de DNA, foi feito um PCR Multiplex utilizando o “kit” StockMarks® (Applied Biosystems®), o qual amplifica um total de 11 loci (BM1824, BM2113, ETH10, ETH225, ETH3, INRA023, SPS115, TGLA122, TGLA126, TGLA227 e TGLA53). Os fragmentos gerados pela PCR foram analisados por eletroforese capilar utilizando o analisador genético ABI Prism 3100 (Applied Biosystems®) e o programa GeneScan® v.3.7 (Applied Biosystems®). A freqüência dos marcadores e os índices de variabilidade genética foram calculados utilizando o programa Microsatellite Toolkit v.3.1 e o equilíbrio de Hardy-Weinberg foi determinado através do programa GENEPOP v.3.4. Através destas técnicas foi possível demonstrar que os marcadores moleculares utilizados para identificação genética de bovinos podem também ser utilizados para a realização da técnica de identificação genética de zebuínos Além disso, foi possível demonstrar a freqüência alélica na população de zebuínos analisada como um todo, assim como foi determinada a freqüência alélica para os diferentes marcadores moleculares dentro das 4 raças estudas. Considerando o total de 100 diferentes alelos identificados entre os 11 STR (Short Tandem Repeats) analisados, foi possível observar que a heterozigosidade esperada (He) foi relativamente alta na população analisada, assim como na análise por raça. Estes dados indicam alto grau de diversidade genética nas diferentes raças. Neste sentido, a raça Brahman apresentou a menor diversidade (0,60) e a raça Tabapuã, a maior (0,69). Contudo, estudos complementares são necessários, a fim de confirmar as freqüências alélicas estabelecidas, uma vez que os resultados encontrados no presente trabalho referem-se a um número relativamente pequeno de zebuínos, quando comparados com o total de zebus encontrados no rebanho brasileiro.