MILFONT, R. T. P. Redução de latência em redes intrachip tolerantes a falha através do uso de múltiplos caminhos. 2017. 69 f. Dissertação (Mestrado em Engenharia de Teleinformática)-Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2017. / Submitted by Renato Vasconcelos (ppgeti@ufc.br) on 2017-09-19T17:53:07Z No. of bitstreams: 1 2017_dis_rtpmilfont.pdf: 3379588 bytes, checksum: ebf86217b1f5958d98683a9be974f766 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-09-20T11:35:07Z (GMT) No. of bitstreams: 1 2017_dis_rtpmilfont.pdf: 3379588 bytes, checksum: ebf86217b1f5958d98683a9be974f766 (MD5) / Made available in DSpace on 2017-09-20T11:35:07Z (GMT). No. of bitstreams: 1 2017_dis_rtpmilfont.pdf: 3379588 bytes, checksum: ebf86217b1f5958d98683a9be974f766 (MD5) Previous issue date: 2017-09-02 / Digital circuit technologies are reaching nanometer scales and thereby increasing the likelihood of permanent, transient, and intermittent failures. As a result, the demand for fault tolerance strategies is the main subject of many types of research targeting Systems-on-Chip designs. In particular, retransmission mechanisms are one of the most used solutions in Networks-on-Chip. However, these mechanisms introduce an extra delays in packet latency. This work proposes the use of multiple paths (i.e minimum or not) as a way to reduce the extra delay caused by the impact of retransmissions in critical systems (i.e where latency is a critical problem). The technique encompasses using different sets of paths to create the routing tables. Two metrics are proposed to classify the different paths for a communication pair considering the probability of failure of the communication links and the amount of new communication links added when making use of a new path. The experimental results show that the use of multiple paths can reduce the impact caused by retransmissions in 25 % and 20 % of the average packet latency for 22 and 65 nm CMOS technologies, respectively. Moreover, the proposed technique can contribute to greater adaptability to faults on links and could be better investigated in future work under circumstances of heavy traffic and for 3D NoCs. / As tecnologias de circuitos digitais estão atingindo escalas nanométricas e com isto aumentando a probabilidade de falhas permanentes, transientes e intermitentes. Como resultado, a demanda por estratégias de tolerância a falhas é o tema principal de muitos tipos de pesquisa visando projetos de Sistemas Intrachip. Em particular, os mecanismos de retransmissão consistem de uma das soluções mais utilizadas nas Redes Intrachip. Todavia estes mecanismos introduzem atrasos na latência dos pacotes. Este trabalho propõe o uso de múltiplos caminhos, mínimos e não mínimos, como forma de reduzir o atraso adicionado causado pelo impacto das retransmissões em sistemas críticos, isto é, onde a latência é um problema crítico. A técnica contempla utilizar diferentes conjuntos de caminhos para criar as tabelas de roteamento. Duas métricas são propostas para classificar os diferentes caminhos existentes para um par de comunicação considerando probabilidade de falha das conexões de comunicação e a quantidade de novas conexões de comunicação adicionados ao fazer uso de um novo caminho. Os resultados experimentais mostram que o uso de caminhos múltiplos, mínimos ou não, permite diminuir o impacto causado por retransmissões em 25% e 20% da latência média de pacotes para tecnologias CMOS de 22 e 65 nm, respectivamente. Além disso, a técnica proposta pode contribuir para uma maior adaptabilidade a falhas nas ligações e pode ser melhor investigada em trabalhos futuros em circunstâncias de tráfego intenso e para NoCs 3D.

LOBÃO, J. R. S. Análise do desempenho, estabilidade e confiabilidade de estações de tratamento de esgoto no Ceará e proposta de uso de microalgas para a melhoria da qualidade de seus efluentes. 2014. 240 f. Tese (Doutorado em Engenharia Civil: Saneamento Ambiental) – Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2014. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2015-10-20T17:47:31Z No. of bitstreams: 1 2015_tese_jrslobão.pdf: 8491919 bytes, checksum: e9bb559588a46a934c24db86955eb045 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2015-10-27T12:34:50Z (GMT) No. of bitstreams: 1 2015_tese_jrslobão.pdf: 8491919 bytes, checksum: e9bb559588a46a934c24db86955eb045 (MD5) / Made available in DSpace on 2015-10-27T12:34:50Z (GMT). No. of bitstreams: 1 2015_tese_jrslobão.pdf: 8491919 bytes, checksum: e9bb559588a46a934c24db86955eb045 (MD5) Previous issue date: 2014-12-08 / In the present research was an elaborate investigative methodology inherent in effluent from sewage treatment plants in the State of Ceará. For this study were considered patterns BOD (biochemical oxygen demand), COD (chemical oxygen demand), TSS (Total suspended solids), CF (faecal coliforms), temperature, Nitrogen Compounds (Ammonia, phosphorus, nitrate) and pH, as the most representative parameters, as usual in the monitoring of ETE's, as the levels established by CONAMA (National Environment Council) and by State laws SEMACE (supervision of the Environment of the State of Ceará). The main objective is to elaborate a methodology research to quality of sewage treatment, as well as analyze the variability of the effluent samples, reliability, stability, sort the waste stations as Pollution program standards of Hydrographic Basins (PRODES) and analyze the impact of effluent polishing using microalgae like Spirulina platensis. The methodology was the approach and experimentation, qualitative and quantitative information, including evaluation of the efficiency, reliability and stability, which contributed to the rapprochement of systematic project with changes of variables concerning ETE ' s. The evaluation showed that the standards ETEs studied reached irregular performances, considering the standards of efficiency and strict confidence levels. Also, it was verified that the default maximum hit from Ceará Stations turned out to be the level F, considered median level. It was noted further that the polishing with microalgae promoted a reduction of 51.5%, 39.4% and 38.7% of the load of cod, BOD and TSS, respectively, with respect to the conventionally treated sewage effluent / Na presente pesquisa foi elaborada uma metodologia investigativa inerente aos efluentes de estações de tratamento de esgotos no estado do Ceará. Para esse estudo foram considerados padrões DBO (Demanda Bioquímica de Oxigênio), DQO (Demanda Química de Oxigênio), SST (Sólidos Suspensos Totais), CF (Coliformes Fecais), Temperatura, Compostos Nitrogenados (Amônia, Fósforo, Nitrato) e pH, como os parâmetros mais representativos, por serem usuais no monitoramento de ETE’s, conforme os patamares estabelecidos pelo CONAMA (Conselho Nacional do Meio Ambiente) e por legislações estaduais SEMACE (Superintendência do Meio Ambiente do Estado do Ceará). O principal objetivo foi elaborar uma metodologia investigativa à qualidade do tratamento de esgotos, bem como analisar a variabilidade das amostras efluentes, a confiabilidade, a estabilidade das estações, classificar os efluentes quanto às normas do Programa de Poluição de Bacias Hidrográfica (PRODES) e analisar o impacto do polimento de efluentes utilizando microalgas do tipo Spirulina platensis. A metodologia foi a abordagem e a experimentação, qualitativa e quantitativa de parâmetros, compreendendo avaliação da eficiência, confiabilidade e estabilidade, que contribuiram para a aproximação das sistemáticas de projeto com alterações das variáveis referentes às ETE’s. A avaliação às normas mostrou que as ETEs estudadas atingiram desempenhos irregulares, considerando os padrões de eficiência e níveis de confiança rigorosos. Também, foi verificado que, o máximo padrão atingido pelas Estações cearenses se mostrou ser o nível F, considerado de patamar mediano. Constatou-se ainda que, o polimento com microalgas promoveu um abatimento de 51,5%, 39,4% e 38,7% da carga de DQO, DBO e SST, respectivamente, com relação ao efluente do esgoto tratado convencionalmente

Submitted by LIVIA FREITAS (livia.freitas@ufba.br) on 2016-02-15T18:23:48Z No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / Approved for entry into archive by LIVIA FREITAS (livia.freitas@ufba.br) on 2016-03-17T18:21:19Z (GMT) No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / Made available in DSpace on 2016-03-17T18:21:19Z (GMT). No. of bitstreams: 1 Texto.pdf: 1567074 bytes, checksum: 3a4c435e968986bb0c579d5bb9890ddf (MD5) / A confiabilidade aumenta o desempenho do produto mecatrônico e, sua avaliação em geral, se constitui uma prática restrita à fase de projeto detalhado,sendo, poucas vezes, aplicada nas fases precedentes, sobretudo a fase de projeto conceitual, caracterizada por um elevado nível de abstração. No desenvolvimento do projeto conceitual é importante a utilização de uma linguagem abrangente, que possibilite a compreensão e sinergia em todos os domínios da mecatrônica. Por exemplo, a linguagem de orientação a objeto, muito utilizada no desenvolvimento de software, não atende o domínio da engenharia de controle. Diante dessa lacuna, a presente pesquisa objetivou introduzir um método abrangente a todos os domínios da mecatrônica, para elaboração do projeto conceitual, com avaliação da confiabilidade dos conceitos selecionados. O método proposto utiliza uma linguagem abrangente, proporcionando uma compreensão entre todos os domínios da mecatrônica, a exemplo do mecânico, eletrônico, software e controle. Avaliando as falhas funcionais em potencial, dos conceitos selecionados, é possível eliminar aqueles tidos como não confiáveis, impedindo sua passagem para a fase de projeto detalhado e, com isso, promovendo ganhos representativos no desempenho do processo de projeto. Como forma de avaliar o método, foi proposto sua aplicação em um estudo de caso, o desenvolvimento de um dispositivo mecatrônico para auxiliar a remoção de pacientes da cama-leito para a maca em hospitais. Como resultado, a experiência revelou que o método pode ser eficaz na avaliação da confiabilidade na fase de projeto conceitual e a sua linguagem abrangente facilita a compreensão e conhecimento de todos os especialistas envolvidos, criando uma sinergia entre os domínios da mecatrônica.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-20T17:39:55Z (GMT). No. of bitstreams: 1 194153.pdf: 3248534 bytes, checksum: 4aa2089d9045454a2573bf163b641ad2 (MD5) / O tema geral desta tese é o desenvolvimento de uma metodologia para incorporar conhecimento intensivo às tarefas de manutenção centrada em confiabilidade (RCM) aplicada em ativos de sistemas elétricos. Esta metodologia considera um processo, visando a estabelecer bases de conhecimento padronizadas e reutilizáveis para o setor elétrico, enquadrando-se no modelo tridimensional de PRAX, que busca a transformação de uma organização estruturada no paradigma do conhecimento.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Metrologia Científica e Industrial. / Made available in DSpace on 2012-10-20T02:41:35Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T00:54:14Z : No. of bitstreams: 1 186282.pdf: 11015662 bytes, checksum: 7cb22db8cb00b0538366c36fc563b278 (MD5) / A globalização da economia faz com que a concorrência no mercado mundial torne-se cada vez mais acirrada, exigindo das indústrias confiabilidade nos produtos fabricados e disponibilizados para o mercado mundial. A metrologia tem papel fundamental e determinante na busca por essa confiabilidade do que se produz, sendo que um dos fatores primordiais a se destacar é a implantação de sistemas da qualidade por parte das indústrias. Para um país garantir a confiabilidade dos seus produtos fabricados, não basta que as indústrias façam o seu papel, é necessário que se obedeça a uma cadeia contínua de responsabilidades. Esta cadeia vem desde o órgão nacional responsável pela metrologia, passando pelos diversos laboratórios de serviços metrológicos credenciados, posteriormente pelos laboratórios existentes na indústria e por último as atividades exercidas no ambiente fabril da indústria. Neste trabalho propõe-se uma sistemática para a confiabilidade metrológica das medições realizadas no chão de fábrica (ambiente laboratorial e ambiente fabril), considerando a aplicação de ferramentas, para serem utilizadas na indústria, com funções educativa e executiva. A função educativa foi desenvolvida para atender uma demanda por conhecimentos, conceitos e interpretações de documentos relacionados às atividades metrológicas nas empresas. Está relacionada à caracterização das variáveis do processo de medição e às informações contidas nos certificados de calibração. A função executiva foi desenvolvida para introduzir ferramentas que agreguem valor às atividades já existentes atualmente nas empresas, facilitando tomadas de decisão. Está relacionada ao cálculo da incerteza do processo de medição e à adequação do intervalo de calibração dos sistemas de medição. Para a validação da sistemática desenvolvida, foram realizados dois estudos de caso. Estes estudos serviram para viabilizar a aplicação da sistemática proposta, identificar pontos de melhoria e de novos formatos para serem implantados, além de efetivar a praticidade e factibilidade de inserção do módulo no ambiente industrial. Os resultados alcançados dizem respeito à percepção, por parte das empresas, dos diversos fatores que influenciam o resultado da medição; interpretação dos certificados de calibração, para que compreenda-se o comportamento dos sistemas de medição, com o intuito de ser utilizado de maneira otimizada nas calibrações e medições realizadas; adequação dos intervalos de calibração; cálculo e avaliação da incerteza do processo de medição, aumentando a confiabilidade metrológica das medições realizadas.

Um preciso planejamento financeiro das empresas fabricantes de máquinas agrícolas pode se configurar em um grande diferencial competitivo no atual cenário econômico de expansão assegurada para os próximos anos do agronegócio brasileiro. Os recursos financeiros alocados para cobrir os custos de falhas das máquinas durante seu período de garantia representam grande incerteza neste planejamento, uma vez que são expressivos e difíceis de prever com alto grau de confiança. Este trabalho propõe um método para se determinar a provisão dos custos relativos às falhas dos produtos de uma empresa fabricante de máquinas agrícolas durante o período de garantia de um ano futuro, baseado na análise de confiabilidade destas máquinas. Os resultados obtidos aplicando-se a metodologia aos dados reais de quatro diferentes modelos de tratores da empresa AGCO do Brasil se mostraram promissores com erros totais abaixo de 10%, além de efeitos que podem ser utilizados pela área de Serviço para rastrear o desempenho da confiabilidade das máquinas no campo em um espaço de tempo de apenas um mês. / A precise financial planning done by agricultural machinery manufactures can configure itself as a great competitive differential in today’s Brazilian expanding agribusiness. The financial resources made available to cover machines’ failures costs during their warranty period add great uncertainty to this plan, since they are significant and hard to predict with high confidence. This thesis proposes a method to determinate the failures’ cost prediction of products manufactured by an agricultural machinery company during their warranty period in a future year, based on the reliability analysis of these machines. The results when applying the method to real data from four different models of tractors produced by AGCO do Brasil shown to be interesting, with overall errors bellow 10%. Also it shows benefits that can be used by Service area in order to follow up products’ reliability performance in the field on a time window of only one month.

Esta tese tem como objetivo central investigar o impacto do gerenciamento de reclamações na confiança e lealdade do consumidor, em trocas de serviços relacionais. Para tanto, foi desenvolvido e testado um modelo teórico, que retrata os inter-relacionamentos entre avaliações específicas do processo de reclamação e construtos relacionais. Desta forma, o presente estudo relaciona três importantes correntes de pesquisa - teoria da justiça, gerenciamento de reclamações e estudos sobre confiança. De modo geral, os resultados obtidos através da Modelagem de Equações Estruturais confirmam 10 das 12 hipóteses estabelecidas a partir do modelo teórico proposto. Mais especificamente, os resultados indicam que as percepções de justiça distributiva, interpessoal e processual afetam significativamente a percepção global de justiça e o nível de satisfação do consumidor com o gerenciamento da reclamação. A confiança do consumidor após a reclamação é influenciada diretamente pelo nível de satisfa ção final alcançado e pelas experiências anteriores do consumidor com a empresa. Por fim, o grau de lealdade do consumidor é influenciado pela confiança do consumidor e pelo valor relacional.

Tese (doutorado)—Universidade de Brasília, Universidade Federal da Paraíba, Universidade Federal do Rio Grande do Norte, Programa Multi-Institucional e Inter-Regional de Pós-Graduação em Ciências Contábeis, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-07-06T20:40:26Z No. of bitstreams: 1 2017_TatianedeOliveiraMarques.pdf: 1293231 bytes, checksum: 308d3ac2ce46139a6922ac62736d0ce2 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-07-27T19:23:58Z (GMT) No. of bitstreams: 1 2017_TatianedeOliveiraMarques.pdf: 1293231 bytes, checksum: 308d3ac2ce46139a6922ac62736d0ce2 (MD5) / Made available in DSpace on 2017-07-27T19:23:58Z (GMT). No. of bitstreams: 1 2017_TatianedeOliveiraMarques.pdf: 1293231 bytes, checksum: 308d3ac2ce46139a6922ac62736d0ce2 (MD5) Previous issue date: 2017-07-27 / O objetivo geral deste estudo foi analisar como as características qualitativas da informação contábil requeridas pelas Estruturas Conceituais da Contabilidade são aplicadas às informações geradas a partir do método valor justo. Para atingir este objetivo foi realizada pesquisa descritiva, qualitativa e bibliográfica. Foram identificadas as estruturas conceituais da contabilidade dos EUA e do IASB, e os estudos que analisaram as características qualitativas das informações a valor justo. Em seguida, foram analisados os dois conjuntos de informações e promovidas as discussões teóricas. Os resultados da pesquisa sugerem que as informações a valor justo têm atendido satisfatoriamente as características qualitativas da informação, pois sempre atenderam de maneira suficiente as características fundamentais dessas estruturas. Quando analisadas separadamente, os resultados sugerem que as informações marcadas a mercado (Nível 1 e 2 da estrutura conceitual do valor justo) não apresentaram dificuldades em atender às características qualitativas e seus atributos ao longo do tempo. Já no caso das informações marcadas a modelo (Nível 3), os resultados sugerem que essas atenderam e continuam a atender a característica da relevância. No entanto, encontraram dificuldades em atender os atributos de neutralidade e verificabilidade, a característica de comparabilidade da estrutura do FASB (1980), bem como os atributos de neutralidade, prudência e integralidade prejudicando a confiabilidade das informações, e a característica da comparabilidade da estrutura do IASB (1989). A dificuldade no atendimento do atributo neutra e no atendimento às características de melhoria verificabilidade e comparabilidade persiste mesmo depois das novas estruturas conceituais do FASB e do IASB (2010), o que prejudica o atendimento à característica fundamental representação fiel. Considerandose a evolução das características qualitativas da informação contábil, realizadas nas modificações das estruturas conceituais da contabilidade, pode-se sugerir que as modificações foram favoráveis às informações a valor justo. Por fim, afirma-se que as informações a valor justo são úteis para a tomada de decisão, pois têm atendido as características fundamentais das estruturas conceituais analisadas no que tange à relevância, confiabilidade e representação fiel. / The overall objective in this study was to analyze how the qualitative characteristics of accounting information required by the Conceptual Framework of Accounting are applied to the information generated from the fair value method. In order to achieve this objective, a descriptive, qualitative and bibliographic research was conducted. The EUA and IASB‘s conceptual framework of accounting were identified, and the studies which analyzed the qualitative characteristics from the fair value information. Subsequently, the two sets of information were analyzed and theoretical discussions were promoted. The results of the research suggest that the fair value information has satisfactorily granted the qualitative characteristics of information, because they have always sufficiently met the fundamental characteristics of these frameworks. When analyzed separately, the results suggest that the information mark to market (Level 1 and 2 of the conceptual framework of fair value) did not present difficulties in attending the qualitative characteristics and its attributes over time. In the case of the information mark to model (Level 3) the results suggest that it attended and continued to attend the characteristic of relevance. However, they found difficulties in attending the attributes of neutrality and verifiability, and the characteristic of comparability of the FASB’s (1980) framework, as well as the attributes of neutrality, prudence and integrality, jeopardizing the reliability of information, and the characteristic of comparability of the IASB’s (1989) framework. The difficulty in the service of the neutral attribute and in the service to the characteristics of improvement verifiability and comparability persist, even after the new conceptual frameworks from FASB and IASB (2010), which jeopardizes the service to the fundamental characteristic faithful representation. Considering the evolution of qualitative characteristics of accounting information performed in modifications of the conceptual frameworks of accounting, it can be suggested that modifications were favorable to the fair value information. Lastly, it can be affirmed that the fair value information is useful for decision making, since it has reached the fundamental characteristics of the analyzed conceptual frameworks analyzed with regard to relevance, and reliability and faithful representation.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-12-22T10:53:47Z No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-02-15T20:00:30Z (GMT) No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) / Made available in DSpace on 2018-02-15T20:00:30Z (GMT). No. of bitstreams: 1 2017_AndréLuizPeronMartinsLanna.pdf: 4218714 bytes, checksum: a2374ea747f76f8e47ee2377c3a3a989 (MD5) Previous issue date: 2018-02-15 / Contexto: Técnicas de verificação têm sido aplicadas para garantir que sistemas de software atinjam níveis de qualidade desejados e atenda a requisitos funcionais e nãofuncionais. Entretanto a aplicação dessas técnicas de verificação em linhas de produto de software é desafiador devido à explosão combinatorial do número de produtos que uma linha de produtos pode instanciar. As técnicas atuais de verificação de linhas de produtos utilizam model checking simbólico e informações sobre variabilidade para otimizar a análise, mas ainda apresentam limitações que as tornam onerosas ou inviáveis. Em particular, as técnicas de verificação do estado da arte para análise de confiabilidade em linhas de produto são enumerativas o que dificulta a aplicabilidade das mesmas devido à explosão combinatorial do espaço de configurações. Objetivo: Os objetivos dessa tese são os seguintes: (a) apresentar um método eficiente para calcular a confiabilidade de todas as configurações de uma linha de produtos de sotware composicional ou anotacional à partir de seus modelos comportamentais UML, (b) fornecer uma ferramenta que implemente o método proposto e, (c) relatar um estudo empírico comparando o desempenho de diferentes estratégias de análises de confiabilidade para linhas de produto de software. Método: Esse trabalho apresenta uma nova estratégia de análise feature-family-based para calcular a confiabilidade de todos os produtos de uma linha de produtos de software (composicional ou anotacional). O passo feature-based da estratégia divide os modelos comportamentais em unidades menores para que essas possam ser analisadas mais eficientemente. O passo family-based realiza o cálculo de confiabilidade para todas as configurações de uma só vez ao avaliar as expressões de confiabilidade em termos de uma estrutura de dados variacional adequada. Resultados: Os resulstados empíricos mostram que a estratégia feature-family-based para análise de confiabilidade supera, em termos de tempo e espaço, quatro outras estratéfias de análise do estado da arte (product-based, family-based, feature-product-based e family-product-based) para a mesma propriedade. No contexto da avaliação e em comparação com as outras estratégias, a estratégia feature-family-based foi a única capaz de escalar a um crescimento do espaço de configuração da ordem de 220. Conclusões: A estratégia feature-family-based utiliza e se beneficia das estratégias feature- e family- ao domar o crescimento dos tamanhos dos modelos a serem analizados e por evitar a enumeração de produtos inerentes a alguns métodos de análise do estado da arte. / Context: Verification techniques are being applied to ensure that software systems achieve desired quality levels and fulfill functional and non-functional requirements. However, applying these techniques to software product lines is challenging, given the exponential blowup of the number of products. Current product-line verification techniques leverage symbolic model checking and variability information to optimize the analysis, but still face limitations that make them costly or infeasible. In particular, state-of-the-art verification techniques for product-line reliability analysis are enumerative which hinders their applicability, given the latent exponential blowup of the configuration space. Objective: The objectives of this thesis are the following: (a) we present a method to eciently compute the reliability of all configurations of a compositional or annotationbased software product line from its UML behavioral models, (b) we provide a tool that implements the proposed method, and (c) we report on an empirical study comparing the performance of dierent reliability analysis strategies for software product lines. Method: We present a novel feature-family-based analysis strategy to compute the reliability of all products of a (compositional or annotation-based) software product line. The feature-based step of our strategy divides the behavioral models into smaller units that can be analyzed more eciently. The family-based step performs the reliability computation for all configurations at once by evaluating reliability expressions in terms of a suitable variational data structure. Results: Our empirical results show that our feature-family-based strategy for reliability analysis outperforms, in terms of time and space, four state-of-the-art strategies (product-based, family-based, feature-product-based, and family-product-based) for the same property. In the evaluation’s context and in comparison with the other evaluation strategies, it is the only one that could be scaled to a 220-fold increase in the size of the configuration space. Conclusion: Our feature-family-based strategy leverages both feature- and familybased strategies by taming the size of the models to be analyzed and by avoiding the products enumeration inherent to some state-of-the-art analysis methods.

Este trabalho é um estudo aplicado da implementação e utilização do gerenciamento do crescimento da confiabilidade no setor de máquinas agrícolas na empresa John Deere Brasil SA. O uso de técnicas e softwares de confiabilidade para monitorar o desenvolvimento do projeto da colheitadeira de grãos – modelo da série 1100 – foi fundamental para determinar o momento exato de introduzir o produto no mercado. A análise das falhas dos produtos existentes, sugestões dos clientes e informações da área de suporte e serviços, serviram como base para a introdução de diversas melhorias para o novo modelo de colheitadeira. As principais atividades referentes à confiabilidade foram, a previsão da confiabilidade, testes e planejamento do crescimento da confiabilidade, modelagem do crescimento da confiabilidade e a análise dos dados obtidos com os testes de campo. O objetivo da implementação das ferramentas do gerenciamento do crescimento da confiabilidade foi administrar as informações dos eventos de testes de campo, para que as falhas verificadas durante o período de testes fossem reprojetadas e as ações corretivas implementadas e verificadas suas melhorias.