Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T17:56:56Z (GMT). No. of bitstreams: 1 Garcia_AlessandroFabricio_M.pdf: 21354412 bytes, checksum: 0b8c34f819e7b3411e1769f90955e457 (MD5) Previous issue date: 2000 / Resumo: Sistemas orientados a objetos confiáveis devem incorporar atividades de tratamento de exceções de forma a comportarem-se adequadamente sob uma grande variedade de situações, inclusive na presença de erros. Nesse contexto, um mecanismo de tratamento de exceções é fundamental para detecção e recuperação de erros bem como para ativação das medidas necessárias para restaurar a atividade normal do sistema. O desenvolvimento de um mecanismo de tratamento de exceções é uma tarefa difícil especialmente quando a concorrência é uma das características dos sistemas de software. O principal objetivo desta dissertação é o projeto e implementação de um mecanismo de tratamento de exceções para a construção de sistemas orientados a objetos confiáveis. Na construção do mecanismo proposto, nós utilizamos técnicas de estruturação de software, tais como reflexão computacional e padrões de projeto. Duas contribuições são consideradas principais. A primeira delas, caracterizada por aspectos técnicos e usos práticos, é o projeto e implementação de um mecanismo de exceções utilizando a linguagem de programação Java e uma' arquitetura de software reflexiva chamada Guaraná. O mecanismo proposto especialmente oferece suporte a tratamento de exceções concorrentes. A outra contribuição, caracterizada por aspectos abstratos e abordagem inovadora, é a definição de uma arquitetura de software reflexiva e um conjunto de padrões de projeto relacionados para a implementação de mecanismos de tratamento de exceções. / Abstract: Dependanble object-oriented software should incorporate exception handling activities in order to behave suitably in a great number of situations in spite of errors. In this context, an exception handling mechanism is fundamental to detect errors, and to activate the suitable measures to restore the normal activity of the system. The development of an exception handling mechanism is not a trivial task. This task is specially difficult when the software using the exception mechanism is concurrent. The main aim of this work is to propose the design and implementation of an exception handling mechanism for developing dependable object-oriented software. In order to build the proposed mechanism we apply techniques of software structuring, such as computational reflection and design patterns. The main contribution of this work is the design and implementation of an exception handling mechanism using the Java language and a reflective software architecture called Guaraná. The proposed mechanism specially supports concurrent exception handling. In addition, we define a reflective software architecture and a set of design patterns for implementing exception handling mechanisms. / Mestrado / Mestre em Ciência da Computação

Orientadores : Eliane Martins, Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-28T21:35:01Z (GMT). No. of bitstreams: 1 Leme_NelsonGuilhermeMendes_M.pdf: 5349075 bytes, checksum: 294466c6a29f791fd6d78925cf3f02ff (MD5) Previous issue date: 2001 / Resumo: O uso de sistemas computacionais tem se expandido cada vez mais. Esses sistemas vêm sendo usados em aplicações críticas, que devem dar uma resposta esperada mesmo na presença de falhas. Uma das formas encontradas de se garantir isso é testar o sistema usando Injeção de Falhas. Nesse processo são simuladas falhas e observada a resposta do sistema nessas circunstâncias. Uma das formas mais populares de se fazer isso é através de Injeção de Falhas por Software, onde um trecho especial de código, associado ao sistema sob teste, procura simular a presença de falhas. Várias ferramentas e programas que realizam Injeção de Falhas por Software já foram desenvolvidas. Entretanto, novos tipos de sistema são criados, e é difícil encontrar ferramentas para esses sistemas. Portanto, há a necessidade de se desenvolver novos programas para realizar Injeção de Falhas por Software. Uma maneira de se facilitar isso é através da criação de Padrões para desenvolver tais sistemas. Através de Padrões, pode-se descrever a arquitetura de programas de Injeção de Falhas por Software, bem como estruturas que esses programas usariam. Isso de uma maneira já determinada e independente de linguagem de programação, e dessa maneira apta a ser utilizada pelo maior número possível de desenvolvedores. Esses Padrões para Injeção de Falhas por Software, organizados na forma de um Sistema, estão expostos neste trabalho. Também é mostrada aqui a ferramenta de Injeção de Falhas JACA, criada com base nesses Padrões, não só como exemplo da aplicação dos mesmos, mas também com utilidade própria, de testar sistemas na presença de falhas / Abstract: The utilization of computing systems has increased continuos1y. That includes the increase in use of systems running in critical applications, when those systems must give an expected answer even in the presence of faults. One way of guaranteeing this is testing the system through Fault Injection. In that process, faults are simulated and the answer of the system to those conditions is observed. One of the most popular ways of doing this is using Software Fault Injection, in which a special piece of code, associated with the system under test, tries to simu1ate the presence of faults. Many too1s and programs that perfonn Software Fau1t Injection have already been deve10ped. However, new kinds of systems are being created, and there are no too1s for such systems. Therefore, there is a need of deve10pment of new programs that make Software Fau1t Injection. This process could be eased through the creation of Patterns to deve10p such programs. Through the use of Patterns, the architecture and structures used by Software Fault Injection programs could be described. And that would be done in a standard and programming 1anguage independent way, and therefore it cou1d be used by the majority af deve10pers. Those Software Fault Injection Patterns, organized in a System, are exposed in the present paper. Also, a Fault Injection Too1, JACA, is described. That too1 was designed based on the Pattern System. It is not on1y an examp1e of the imp1ementation of those Patterns in a real program, but also as Fault Injection too1 with its own usefulness, which is able to test systems in the presence of faults / Mestrado / Mestre em Ciência da Computação

Orientador : Luiz Eduardo Buzato / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-29T03:55:29Z (GMT). No. of bitstreams: 1 Garcia_IsleneCalciolari_D.pdf: 7273210 bytes, checksum: 2bc04d2a705337b28f6c598e011ecde7 (MD5) Previous issue date: 2001 / Resumo: Um checkpoint é um estado selecionado por um processo durante a sua execução. Um checkpoint global é composto por um checkpoint de cada processo e é consistente se representa urna foto­grafia da computação que poderia ter sido capturada por um observador externo. Soluções para vários problemas em sistemas distribuídos necessitam de uma seqüência de checkpoints globais consistentes que descreva o progresso de urna computação distribuída. Corno primeira contri­buição desta tese, apresentamos um conjunto de algoritmos para a construção destas seqüências, denominadas visões progressivas. Outras contribuições provaram que certas suposições feitas na literatura eram falsas utilizando o argumento de que algumas propriedades precisam ser válidas ao longo de todo o progresso da computação. Durante algumas computações distribuídas, todas as dependências de retrocesso entre check­points podem ser rastreadas em tempo de execução. Esta propriedade é garantida através da indução de checkpoints imediatamente antes da formação de um padrão de mensagens que poderia dar origem a urna dependência de retrocesso não rastreável. Estudos teóricos e de simu­lação indicam que, na maioria das vezes, quanto mais restrito o padrão de mensagens, menor o número de checkpoints induzidos. Acreditava-se que a caracterização minimal para a obtenção desta propriedade estava estabelecida e que um protocolo baseado nesta caracterização precisa­ria da manutenção e propagação de informações de controle com complexidade O(n2), onde n é o número de processos na computação. A complexidade quadrática tornava o protocolo base­ado na caracterização mimimal menos interessante que protocolos baseados em caracterizações maiores, mas com complexidade linear.A segunda contribuição desta tese é uma prova de que a caracterização considerada minimal podia ser eduzida, embora a complexidade requerida por um protocolo baseado nesta nova caracterização minimal continuasse indicando ser quadrática. A terceira contribuição desta tese é a proposta de um pequeno relaxamento na caracterização minimal que propicia a implementação de um protocolo com complexidade linear e desempenho semelhante à solução quadrática. Como última contribuição, através de um estudo detalhado das variações da informação de controle durante o progresso de urna computação, propomos um protocolo que implementa exatamente a caracterização minimal, mas com complexidade linear / Abstract: A checkpoint is a state selected by a process during its execution. A global checkpoint is composed of one checkpoint from each process and it is consistent if it represents a snapshot of the computation that could have been taken by an external observer. The solution to many problems in distributed systems requires a sequence of consistent global checkpoints that describes the progress of a distributed computation. As the first contribution of this thesis, we present a set of algorithms to the construction of these sequences, called progressive views. Additionally, the analysis of properties during the progress of a distributed computation allowed us to verify that some assumptions made in the literature were false. Some checkpoint patterns present only on-line trackable rollback-dependencies among check­points. This property is enforced by taking a checkpoint immediately before the formation of a message pattern that can produce a non-trackable rollback-dependency. Theoretical and simula­tion studies have shown that, most often, the more restricted the pattern, the more efficient the protocol. The minimal characterization was supposed to be known and its implementation was supposed to require the processes of the computation to maintain and propagate O(n2) control information, where n is the number of processes in the computation. The quadratic complexity makes the protocol based on the minimal characterization less interesting than protocols based on wider characterizations, but with a linear complexity. The second contribution of this thesis is a proof that the characterization that was supposed to be minimal could be reduced. However, the complexity required by a protocol based on the new minimal characterization seemed to be also quadratic. The third contribution of this thesis is a protocol based on a slightly weaker condition than the minimal characterization, but with linear complexity and performance similar to the quadratic solution. As the last contribution, through a detailed analysis of the control information computed and transmitted during the progress of distributed computations, we have proposed a protocol that implements exactly the minimal characterization, but with a linear complexity / Doutorado / Doutor em Ciência da Computação

Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2018-10-10T14:06:56Z No. of bitstreams: 1 Amauri Costa de Oliveira.pdf: 1290238 bytes, checksum: dc5d7c37f1c622cf1cdbab93bcb9cfb0 (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2018-10-25T14:45:04Z (GMT) No. of bitstreams: 1 Amauri Costa de Oliveira.pdf: 1290238 bytes, checksum: dc5d7c37f1c622cf1cdbab93bcb9cfb0 (MD5) / Made available in DSpace on 2018-10-25T14:45:04Z (GMT). No. of bitstreams: 1 Amauri Costa de Oliveira.pdf: 1290238 bytes, checksum: dc5d7c37f1c622cf1cdbab93bcb9cfb0 (MD5) Previous issue date: 2018-08-13 / This paper analyzes how Islam conceives tolerance and religious freedom. I will approach the history of religious freedom from a Christian perspective reformed from its earliest days to today to place it in an Islamic context. By doing this, the research sought for information on literary production about Islam, its doctrines and its application in the Sunni Islamic majority countries in order to be the majority group in present-day Islam. The methodology used consisted of a bibliographical review of works, essays and scientific articles, produced by specialists, in Brazil and abroad; in addition to works of thinkers of considerable importance within Islam, as well as research in the Qur'an itself in Portuguese, analyzing Islamic texts that refer to people of other religions in order to analyze their understanding of this matter, and the orientations of how relations should be between Muslims and those of other faiths. We will deal with the need for tolerant coexistence and religious freedom and how Islam sees it. / Este trabalho analisa como o Islamismo concebe tolerância e liberdade religiosa. Ele apresenta uma abordagem da história da liberdade religiosa numa perspectiva cristã reformada desde seus primórdios até os dias hoje a fim de situá-la num contexto islâmico. Para isso, a presente pesquisa buscou informações na produção literária sobre o islamismo, em suas doutrinas e na aplicação da mesma nos países de maioria islâmica Sunita tendo em vista ser o grupo majoritário no Islamismo atual. A metodologia empregada constou de uma revisão bibliográfica de obras, ensaios e artigos científicos, produzidos por especialistas, no Brasil e fora dele; além de obras de pensadores de considerável importância dentro do Islã, bem como pesquisas no próprio Alcorão em português, analisando textos islâmicos que se refiram a pessoas de outras religiões a fim de analisar sua compreensão desta matéria, e as orientações de como devem ser as relações entre muçulmanos e os de outras crenças. Será apresentada aqui uma abordagem sobre a necessidade de convivência tolerante e da liberdade religiosa e de como o Islã a vê.

O herbicida deve ter a capacidade de controlar as plantas daninhas sem reduzir a produtividade e a qualidade da matéria-prima. Todavia, a tolerância da cana-de-açúcar pode variar com o herbicida, a dose desse produto, o genótipo da variedade, a época de aplicação (semi-seca, seca, semi-úmida e úmida), ambientes de produção, o estádio fenológico da cultura, dentre outros fatores. Visando o melhor entendimento do comportamento da cana-de-açúcar a aplicações do herbicida diuron+hexazinone+sulfometuron-methyl, avaliou-se a seletividade em diferentes estádios de desenvolvimento, em condições de campo, em casa de vegetação, e em laboratório. No campo, com início em setembro de 2013, as aplicações deste herbicida foram feitas em pré-emergência, esporão, 2 a 3 folhas e 5 a 6 folhas, comparando com o desempenho do herbicida amicarbazone, nas mesmas épocas, em canavial de segundo corte, onde avaliou-se fitotoxicidade, os parâmetros tecnológicos (fibra, pol, brix e ATR) e a produtividade. Constatou-se que mesmo com índices de fitotoxicidade altos nos diferentes estádios de desenvolvimento até 90 DAA, a produtividade não foi prejudicada a níveis significativos, bem como os parâmetros tecnológicos, quando comparados a testemunha. Na casa de vegetação, foi avaliado a seletividade do herbicida diuron+hexazinone+sulfometuron-methyl nos mesmos estádios de desenvolvimento avaliados em campo, nas variedades CTC 15, B86-7515, BR85-5536 e RB92-579. Observou-se diferenças significativas entre as variedades na variável altura em uma mesma época de aplicação, porém não refletiu na massa de matéria seca da parte aérea, a qual manteve-se semelhante entre os tratamentos. Para entendimento da fisiologia deste herbicida em cana-de-açúcar, avaliou-se a absorção e translocação ao longo do tempo, após sua aplicação nas fases de 2 a 3 e 5 a 6 folhas, onde apesar de serem detectadas diferenças significativas no quesito fitotoxicidade em ensaio de campo preliminar, tal acontecimento não pode ser justificado por diferenças no parâmetro absorção, conforme resultados do estudo. / The herbicide should be capable of controlling weeds without reducing productivity and quality of the raw material. However, the tolerance of sugarcane can vary with the herbicide, the dose of this product, the variety genotype, timing of application (semi-dry, dry, semi-wet and wet), production environments, the stadium phenological culture, among other factors. Aimed at better understanding the behavior of sugarcane to the herbicide diuron + hexazinone applications + sulfometuron-methyl, evaluated the selectivity at different stages of development in field conditions in the greenhouse and in the laboratory. In the field, starting in September 2013, the applications of this herbicide were made in pre-emergence, spur, 2-3 leaves and 5-6 leaves, compared to the performance of amicarbazone herbicide, at the same times, in the second cut cane field where phytotoxicity was evaluated, the technological parameters (fiber, pol, Brix and ATR) and productivity. It was found that with high phytotoxicity rates in different stages of development up to 90 DAA, productivity was not affected at significant levels, as well as technological parameters compared the witness. In the greenhouse, the selectivity of the herbicide diuron + hexazinone was rated + sulfometuron-methyl the same developmental stages evaluated in the field, in varieties CTC 15, RB86-7515, BR85-5536 and RB92-579. There were statistically significant differences between varieties in the variable height in the same time of application, but not reflected in the dry matter of the shoot, which remained similar between treatments. In order to understand the physiology of this herbicide in sugarcane, studies wih absorption and translocation was carried out over time, after application in the stages of 2 to 3 and 5 to 6 leaves, which despite being detected significant differences in field test for phytotoxicity such an event can not be justified by differences in absorption parameter, according to study results.

O objetivo deste trabalho é analisar alguns aspectos relativos à questão da educação na obra de Rousseau. No primeiro capítulo, analisaremos a educaçào da natureza tal qual foi elaborada no Emílio. Nesta obra, Rousseau reflete sobre odesenvolvimento da criança e propõe objetos e formas de abordagem adequadas às diferentes idades. Desde exercícios físicos até a inserçào de Emílio no mundo da moral e da política, momento fundamental, pois coroa todo o processo formando o homemda natureza. No segundo capítulo analisamos a educação pública exposta por Rousseau nas Considerações sobre o governo da Polônia e no Economia Política. Esta forma de educação está fundada nos mesmos princípios pedagógicos do Emílio, isto é,para cada idade um objeto e uma forma de abordagem que lhe é propícia. Contudo, a educação pública se diferencia da educaçào da natureza no que se refere ao seu caráter coletivo, mas fundamentalmente porque é própria aos povos livres, ao passoque aquela do Emílio não passa de um recurso para salvar uma alma em meio à corrupção. No terceiro cápítulo, propomos uma interpretação da obra do legislador como sendo uma obra educacional, porque transforma os homens ao levar o amor de si a setransformar em amor à pátria, impedindo-o de se tornar amor-próprio. Este processo de transformação é o próprio espírito de sua obra tal como, segundo Rousseau, realizaram Moisés, Licurgo e Numa, pois suas leis tinham por objetivo afeiçoar oscidadãos entre si e à pátria. Este é o único meio de tornar um povo de fato livre, pois dá às almas uma forma nacional fazendo de um grupo de homens uma nação. / The objective of this work is to prove, firstly, that in spite of the criticisms of Rousseaus contemporaries and the interpretations of some scholars of his thought, there is no trace of anti-Christianism in his work and not even the affirmation of the existence of an antinomy between Christianism and politics. Secondly, Rousseau conceived of a type of particular private religiosity which may be defined as Christian theism, for at the same time in which he assumes part of the elements of natural religion, he accepts the Bible and Christ as foundations of his faith. Thirdly, Rousseau presents Civil Religion as an original solution for dealing with the problem created by religious intolerance in the Modern Age, for this demands a new conception of the relationship between religion and politics that could not be found in previous political philosophy. Civil Religion is therefore a solution because it touches on the central points of the problem: it is necessary that the sovereign be tolerant in the matter of religion, thus the formulation of the positive dogmas; but intolerant toward the intolerant, whether the fanatics be atheists or devoted followers, thus the need for the negative dogma. Finally, assuming the role of official religion, do not leave the laws relegated to luck itself.

Orientador : Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-01T02:33:00Z (GMT). No. of bitstreams: 1 Vieira_GustavoMacielDias_M.pdf: 3096254 bytes, checksum: 30b7155e50de3e9afd753dd40520b771 (MD5) Previous issue date: 2001 / Resumo: Esta dissertação fornece um estudo comparativo abrangente de algoritmos quase-síncronos para checkpointing. Para tanto, utilizamos a simulação de sistemas distribuídos que nos oferece liberdade para construirmos modelos de sistemas com grande facilidade. O estudo comparativo avaliou pela primeira vez de forma uniforme o impacto sobre o desempenho dos algoritmos de fatores como a escala do sistema, a freqüência de check points básicos e a diferença na velocidade dos processos da aplicação. Com base nestes dados obtivemos um profundo conhecimento sobre o comportamento destes algoritmos e produzimos um valioso referencial para projetistas de sistemas em busca de algoritmos para check pointing para as suas aplicações distribuídas / Abstract: This dissertation provides a comprehensive comparative study ofthe performance of quase synchronous check pointing algorithms. To do so we used the simulation of distributed systems, which provides freedom to build system models easily. The comparative study assessed for the first time in an uniform environment the impact of the algorithms' performance with respect to factors such as the system's scale, the basic checkpoint rate and the relative processes' speed. By analyzing these data we acquired a deep understanding of the behavior of these algorithms and were able to produce a valuable reference to system architects looking for check pointing algorithms for their distributed applications / Mestrado / Mestre em Ciência da Computação

Orientador : Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T07:47:45Z (GMT). No. of bitstreams: 1 Almeida_HudoRodriguesde_M.pdf: 4932798 bytes, checksum: 8ec72a7d06fd010d7b6a55baf11da594 (MD5) Previous issue date: 2002 / Resumo: Esta dissertação propõe uma arquitetura para um sistema de gerenciamento de workflows que atenda aos requisitos de aplicações para o desenvolvimento de projetos. São considerados modos mais flexíveis para troca de informações entre usuários que trabalham no mesmo projeto, no contexto de uma transação de grupo. Em sistemas de workflow tradicionais, a troca de informações é realizada através de parâmetros entre tarefas. O modelo proposto permite a troca de resultados intermediários entre usuários de uma transação de grupo. Além disso, o sistema garante a execução confiável de processos mesmo quando falhas ocorrem. Finalmente, um protótipo foi implementado sobre uma plataforma distribuída baseada em CORBA / Abstract: This dissertation proposes an architecture for a workflow management system that meets the requirements of project development applications. More flexible modes for information exchange between users that work on the same project are considered, in the context of a group transaction. In traditional workflow systems, the information exchange is achieved by parameter passing between tasks. The proposed model allows the exchange of intermediary results between users within a group transaction. Moreover, the system guarantees the reliable execution of processes even when failures occur. Finally, a prototype has been implemented on a CORBA-based distributed platform / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T17:14:10Z (GMT). No. of bitstreams: 1 Moraes_ReginaLuciadeOliveira_M.pdf: 4967763 bytes, checksum: 7156a7a1a1801995591c7016b750cc40 (MD5) Previous issue date: 2003 / Resumo: A maioria dos software desenvolvidos atualmente, incluindo sistemas críticos, utiliza em algum momento software desenvolvido por terceiros ou do inglês, third-parties components. Em especial, quase a totalidade dos sistemas desenvolvidos utiliza um gerenciador de base de dados que é adquirido de empresas especializadas nesse segmento. Como a segurança que se espera do funcionamento desses componentes é importante, a injeção de falhas por software é uma ferramenta útil na sua validação, tendo se mostrado uma das formas mais eficientes para isso. Nesse processo são introduzidas falhas, e observada a resposta do sistema quando em presença das falhas injetadas. Para que se possa utilizar essa técnica, é necessário que se tenha à mão uma ferramenta que nos permita injetar as falhas e monitorar o sistema sob teste para que possamos acompanhar o seu comportamento. Para a credibilidade desses testes, é interessante que se tenha uma estratégia que se possa seguir, objetivando a escolha de alguns requisitos necessários para a injeção: as falhas a injetar, onde injeta-las, a maneira de ativa-las, como coletar os resultados e determinar o sucesso ou insucesso do componente ao tentar resolver da maneira esperada o erro causado pela injeção. Para nossos experimentos, escolhemos como componente terceirizado um gerenciador de banco de dados orientado a objetos, o Ozone. Como aplicação, utilizada para ativar as falhas injetadas, utilizamos um benchmark desenvolvido para testes de desempenho desse tipo de componente, o Wisconsin 007. A Jaca, desenvolvida em trabalho anterior de mestrado do Instituto de Computação, foi a ferramenta escolhida para viabilizar os testes por injeção de falhas, permitindo injetar falhas por software. Uma das contribuições desse trabalho foi, a proposta de uma estratégia para a validação de componentes 00. Outra contribuição foram os testes da ferramenta de injeção, bem como, o aparte de correções e melhorias à mesma / Abstract: The majority of software currently developed - including critical systems - utilize third-party components. Further, a1most all systems use Database Management Systems that are acquired from firms that specialize in this sector. Given the security expected from these components, software fault injection is a useful and efficient validation too1. The process comprises the introduction of faults and observation of system replies when in presence of injected faults. To use this technique it is necessary to have a tool that allows for the injection of faults and the monitoring of the system under test in order to accompany its behavior. To achieve credibility these tests need a strategy that permits the choice of some necessary requirements for the injection. Among these requirements are what faults to inject, where to inject them, how to activate them, how to collect results and how to determine the component's success or failure when trying to solve the problem caused by the injections through the expected manner. For the experiments conducted, Ozone - an object-oriented database management system - was chosen as the third-party component. We have used Wisconsin 007, a benchmark developed for performance tests on these types of components, as the application to activate the injected faults. Jaca, that was developed previously at the Institute of Computing, was the chosen tool to make feasible the injection tests. 1t allowed for software fault injection. One contribution of this work is the proposed validation strategy for 00 components. The other contribution is the injection tool' s tests, its corrections and improvements proposed. / Mestrado / Mestre em Ciência da Computação

Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T18:00:42Z (GMT). No. of bitstreams: 1 Camargos_LasaroJonas_M.pdf: 3140522 bytes, checksum: 05a0621c657843119225cda44fec1186 (MD5) Previous issue date: 2003 / Resumo: Esta dissertação trata do processo de engenharia de um serviço de detecção de falhas compatível com FT-CORBA, a especm.cação para tolerância a falhas em CORBA, e de um serviço de consenso distribuído. Os serviços são independentes e fornecem diferentes propriedades para a aplicação cliente, dependendo dos módulos, com implementaçães de algoritmos diferentes, selecionados para uma instanciação destes serviços. A arquitetura dos serviços é tal que a aplicação cliente não toma conhecimento dos algoritmos de detecção e consenso sendo executados, acessando-os por uma interface genérica. Com o intuito de facilitar a escolha dos módulos dos serviços, apresentamos um pequeno estudo comparativo da influência de detectores de falhas adaptativos, aqueles que se adaptam para prover melhor qualidade de serviço na detecção, e não adaptativos sobre o desempenho dos algoritmos de consenso distribuído / Abstract: This thesis is on the process of development of a distributed consensus service and its fault detection service, being the last one, compliant with FT -CORBA, the Fault Tolerant CORBA specification. These services are independent and, depending on the selected modules, offer different properties to client applications. The presented architecture is defined in such a way that client applications do not know which algorithms are running, both for detection and for consensus, just accessing them through a generic interface. To make easier the task of selecting modules in the services, we also present a comparative study of the influence of adaptive and non-adaptive failure detectors over the execution of consensus algorithms / Mestrado / Ciência da Computação / Mestre em Ciência da Computação