Made available in DSpace on 2015-08-20T17:09:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-06-27. Added 1 bitstream(s) on 2015-08-20T17:27:08Z : No. of bitstreams: 1 000844276.pdf: 29036188 bytes, checksum: 616a25863a975b7bbef55bbbb94efb03 (MD5) / O concreto celular, que se caracteriza por ter um peso próprio reduzido pela incorporação artificial de ar no concreto, pode constituir uma alternativa ao concreto armado nas estruturas de pequeno e médio porte. A baixa solicitação dos elementos estruturais permite aproveitar as principais vantagens do material: melhoria da isolação, economia de material para produzir o concreto e facilidade do transporte dos elementos pré-moldados. A fim de conhecer melhor o desempenho mecânico do material para aplicações estruturais, o presente trabalho trata da avaliação da aderência entre o concreto celular e as barras de aço. Para estudar esse fenômeno, foram realizados ensaios de arrancamento com barras de diâmetro igual a 4,2 mm, parcialmente imersas em corpos-de-prova de concreto cilíndrico. A variação da massa específica do concreto e a presença ou não de uma barra transversal dentro do cilindro constituem as variáveis da pesquisa. No total foram realizados três tipos de concreto, com massa específica aparente aos 28 dias de 2255, 1565 e 1510 kg/m 3 . Entre outros resultados, a pesquisa revelou, pelo arrancamento de barras simples de diâmetro igual a 4,2 mm, o forte decréscimo da tensão de aderência junto com o rebaixamento da massa específica aparente do concreto. Confrontando os resultados com trabalhos semelhantes, a elevada relação água/cimento parece ser o parâmetro que mais influenciou os resultados. Também, parâmetros que podem ter influenciado a tensão de aderência são a quantidade de agente espumígeno colocada nos concretos, a utilização de agregado graúdo e talvez o diâmetro das barras arrancadas. A introdução da barra transversal no meio do cilindro permitiu obter um ganho de resistência ao arrancamento da barra longitudinal, que cresceu junto com o rebaixamento da massa específica do concreto celular. Assim, a utilização de ancoragens especiais (não exclusivamente retas), que permite... / Cellular concrete is a lightweight concrete obtained by aerating agent, which produces air-voids into the mixture. Low loads acting on houses or small buildings permits to use cellular concrete advantages: good thermal insulation, lower concrete production costs and simplification of precast transportation. To improve the mechanical characteristic of structural cellular concrete knowledge, this work deals with bond between cellular concrete and steel rebars. Pull-out tests of 4,2 mm diameter rebars partly immersed into concrete cylinders were made. Concrete unit weight variation and setting of a transverse rebar into the concrete cylinder center constitute the variables of the work. Three types of mixture were prepared: one without aerating agent (with a dry unit weight of 2255 kg/m 3 ), and two with different aerating agent rates (with a dry unit weight equal to 1565 and 1510 kg/m 3 ). One of the conclusions of the study is the large decrease of bond stress between 4,2 diameter rebars and cellular concrete, due to concrete unit weight reduction. Comparison of results with others studies reveals that water/cement ratio could be the main variable which influences bond stress. Moreover, other variables like aerating agent quantity introduced into the mixture, coarse aggregate use or rebar diameter could influence the bond stress value. Transverse rebar introduced into concrete cylinder center increased the ultimate pull-out force of the test: the gain of bond produced by the transverse rebar grew up when the cellular concrete unit weight had been reduced. Therefore, special anchorages (not exclusively straight), permitting bond improvement between cellular concrete and 4,2 mm diameter rebar could be a solution to improve the mechanical performance of cellular concrete

O uso da recuperação de processos para obter sistemas computacionais tolerantes a falhas não é um assunto novo. Entretanto, a discussão de algoritmos para a recuperação em sistemas distribuídos, notadamente aqueles que se enquadram na categoria assíncrona, ainda encontra pontos em aberto. Este é o contexto do presente trabalho. Este trabalho apresenta um novo algoritmo de recuperação por retorno, em sistemas distribuídos. O algoritmo proposto é do tipo coordenado, e seus mecanismos componentes determinam que seja classificado como um algoritmo baseado em índices (index-based coordinated). Desta forma, a tolerância a falhas é obtida através do estabelecimento de linhas de recuperação, o que possibilita um retorno consideravelmente rápido, em caso de falha. Seu desenvolvimento foi feito com o objetivo de minimizar o impacto ao desempenho do sistema, tanto quando este estiver operando livre de falhas como quando ocorrerem as falhas. Além disso, os mecanismos componentes do algoritmo foram escolhidos visando facilitar a futura tarefa de implementação. A satisfação dos objetivos decorre principalmente de uma importante característica assegurada pelos mecanismos propostos no algoritmo: o não bloqueio da aplicação, enquanto é estabelecida uma nova linha de recuperação. Esta característica, associada ao rápido retorno, oferece uma solução promissora, em termos de eficiência, para a recuperação, um vez que o impacto no desempenho tende a ser reduzido, quando o sistema encontra-se operando em ambas condições: livre de erros ou sob falha. Diferentemente da maioria dos algoritmos coordenados encontrados na literatura, o algoritmo proposto neste trabalho trata as mensagens perdidas. A partir da análise das características das aplicações, bem como dos canais de comunicação, quando estes interagem com o algoritmo de recuperação, concluiu-se que os procedimentos usados para recuperação de processos devem prever o tratamento desta categoria de mensagens. Assim, o algoritmo proposto foi incrementado com um mecanismo para tratamento das mensagens que têm o potencial de tornarem-se perdidas, em caso de retorno, ou seja, evita a existência de mensagens perdidas. Uma das decisões tomadas durante o desenvolvimento do algoritmo foi a de permitir um processamento não determinístico. Na realidade, esta escolha visou o aumento do espectro das falhas que poderiam ser tratadas pela recuperação. Tradicionalmente, a recuperação por retorno é empregada para tolerar falhas temporárias. Entretanto, a diversidade de ambiente, freqüente nos SDs, também pode ser usada para tolerar algumas falhas permanentes. Para verificar a correção do algoritmo, decidiu-se empregar um formalismo existente. Assim, a lógica temporal de Lamport (TLA) foi usada na especificação dos mecanismos do algoritmo bem como em sua demonstração de correção. O tratamento referente às mensagens perdidas, atrav´es do uso de mensagens de resposta, associado com o uso de uma lógica temporal, levou à necessidade de rever os critérios de consistência. Esta revisão gerou um conjunto de fórmulas de consistência ajustadas à existência de mensagens de diferentes classes: mensagens da aplicação e mensagens de resposta.

Replicação de objetos é usada para garantir uma maior disponibilidade de recursos em um sistema distribuído. Porém, com a replicação, surgem problemas como o controle da consistência das réplicas e onde estas réplicas devem estar posicionadas. A consistência é garantida por um protocolo de consistência de réplicas. Para facilitar a implementação dos protocolos de controle de réplicas, pode-se utilizar mecanismos de comunicação de grupo como suporte para a replicação. Outro problema importante que surge com a replicação é o posicionamento das réplicas. A carga de processamento em um sistema distribuído muda continuamente e num determinado instante pode ser necessário mudar a distribuição atual das réplicas pela adição de novas réplicas, remoção de réplicas desnecessárias ou pela mudança de posicionamento das réplicas. Um sistema de gerenciamento de réplicas pode realizar esta tarefa. Este trabalho apresenta o sistema RPM – Replica Placement Manager – responsável por fornecer ao serviço de gerenciamento de réplicas uma lista ordenada de nodos potencialmente ideais, num determinado momento do processamento, para receber uma réplica de um objeto. Esta lista é criada pelo RPM, considerando um pequeno conjunto de variáveis estáticas e dinâmicas, facilmente obtidas nos nodos do sistema distribuído.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-03-09T18:50:07Z No. of bitstreams: 1 2017_IzabeladeFreitasMoreira.pdf: 3511223 bytes, checksum: be8a98bec7fc93e717961929ceff1d04 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-03-12T15:59:20Z (GMT) No. of bitstreams: 1 2017_IzabeladeFreitasMoreira.pdf: 3511223 bytes, checksum: be8a98bec7fc93e717961929ceff1d04 (MD5) / Made available in DSpace on 2018-03-12T15:59:20Z (GMT). No. of bitstreams: 1 2017_IzabeladeFreitasMoreira.pdf: 3511223 bytes, checksum: be8a98bec7fc93e717961929ceff1d04 (MD5) Previous issue date: 2018-03-12 / Esse trabalho apresenta um estudo do comportamento dos modos de falha de vigas mistas aço concreto, considerando o dimensionamento apresentado pela ABNT NBR 8800:2008. O método utilizado é probabilístico, pois considera os aspectos randômicos das principais variáveis aleatórias envolvidas em problemas dessa natureza. Na obtenção dos índices de confiabilidade de cada modo de falha, é utilizado o método FORM, presente na confiabilidade estrutural. O principal objetivo da pesquisa é quantificar o nível de segurança de cada modo de falha das vigas mistas, verificando quais desses modos governam o comportamento mecânico da estrutura. Um estudo dos principais parâmetros envolvidos é feito via análise de sensibilidade, tanto para a formulação pura, sem utilização dos coeficientes parciais de segurança, quanto para a formulação modificada por esses coeficientes. Além disso, é avaliada a influência da variação de determinados parâmetros de projeto no índice de confiabilidade. Aborda-se também a questão da calibração dos coeficientes parciais de segurança que atuam na minoração das cargas. Com isso, realiza-se a comparação do índice de confiabilidade de diferentes normas em função dos valores desses coeficientes adotados por cada uma. Por fim, realizou-se a análise do custo de vigas mistas com diferentes graus de conexão e a variação do índice de confiabilidade em função desses graus de conexão. Alguns exemplos práticos são mostrados de modo a exemplificar a metodologia utilizada. Os principais resultados mostram que os fatores de segurança alteram os modos de falha que governam o comportamento da estrutura, alterando os níveis de segurança e os tipos de ruptura das vigas mistas, sendo que o modo de falha mais afetado é o deslocamento no meio do vão seguido do fluxo cisalhante. Em relação a calibração, o que se percebe é que há diferentes combinações entre os fatores de segurança de cada tipo de carga que levam ao mesmo índice de confiabilidade. Nota-se também que os fatores de segurança adotados pelas normas brasileira, norte americana e européia levam a índices de confiabilidade próximos. Além disso, pode-se concluir que o pequeno ganho econômico que se tem reduzindo o grau de conexão não se equilibra com a grande perda no nível de segurança da estrutura, ressaltando a importância da adaptação das técnicas construtivas em relação aos materiais disponíveis no mercado de cada região. / This work presents a study the behavior of steel-concrete composite beam failure modes. The beams are designed according to Brazilian codes ABNT NBR 8800:2008. The method used is probabilistic. It considers the random aspects of the main random variables involved in problems like this. The method FORM, from the structural reliability, is used to obtain the reliability indexes of each failure mode. The main objective of the research is to quantify the safety level of each composite beam failure mode to verify which of these modes rule the structural mechanical behavior. In addition, a study of the main parameters is done by sensitivity analysis for the pure formulation, without using the partial safety factors, and for the formulation modified by these partial safety factors. Moreover, the influence of the variation of some design parameters on the reliability index is evaluated. It also addresses the issue of the calibration of the partial safety coefficients that act in the reduction of loads. Thus, the reliability indexes from different standards is compared according to the values of these coefficients adopted by each one. Finally, the analysis of the cost of composite beams with different degrees of connection and the variation of the reliability index in function of these connection degrees was carried out. Some practical examples are shown in order to exemplify the methodology proposed. The main results show that the safety coefficients change the failure modes that rule the behavior of the structure, affecting the safety levels and the types of composite beams rupture. The most affected failure mode is the displacement in the middle of the span followed by the shear flow. Regarding the calibration, it can be noticed that there are different combinations between the safety coefficients of each type of load that lead to the same reliability index. It is also noted that the safety coefficients adopted by Brazilian, North American and European standards lead to close reliability indexes. In addition, it can be concluded that the small economic gain from the reduction of the degree of connection does not balance with the great loss in the level of safety of the structure, emphasizing the importance of the adaptation of the constructive techniques in relation to the materials available in the market of each region.

Esta dissertação propõe uma metodologia de estimativa de vida útil de componentes mecânicos através de atividades de Confiabilidade inseridas no Processo de Desenvolvimento de Produtos (PDP). Atividades das fases de projeto são apresentadas em uma aplicação prática, em um sistema de uma colhedora de grãos. Busca-se estruturar uma Análise de Causa Raiz (ACR) integrada a uma Análise dos Modos e Efeitos de falha (FMEA), para que os resultados da FMEA sejam de melhor qualidade. Após a geração de soluções para o sistema, faz-se a verificação e validação em bancadas aceleradas de teste, onde o tempo de validação é comprimido. Os resultados desses testes são utilizados para a análise de confiabilidade, comparando-se a configuração atual com a proposta na FMEA. Além deste estudo, este artigo apresenta uma revisão de conceitos teóricos de PDP, Confiabilidade e Garantias. / This dissertation proposes a methodology to estimate the life of mechanical components using Reliability activities in the Product Development Process (PDP). Design activities are illustrated through a case study using a specific system of a harvest combine. This work integrates Root Cause Analysis (RCA) with Failure Mode and Effect Analysis (FMEA) with the goal of attaining better quality in the FMEA results. Such results lead to product improvement that need to be submitted to verification and validation tests, which will be performed in accelerated test, to minimize validation time. Test results are used in a reliability analysis comparing the current and proposed design. This work also presents a revision of theoretical concepts related to PDP, Reliability and Warranty.

Manutenção, para as organizações, possui a função estratégica de garantir a confiabilidade buscada com a disponibilidade projetada para os processos. Enquanto um serviço, a conformidade da execução dos serviços de manutenção é o resultado dos recursos envolvidos, da capacidade técnica, de logística, dos meios, do planejamento, do controle das condições de trabalho e do ambiente. Mantenabilidade é a adequada execução destes serviços, que acontece pela necessária adoção de requisitos para atender a normas, legislação e melhores praticas, particularmente associados ao ambiente em que as atividades e tarefas de manutenção serão desenvolvidas. Este estudo contempla um conjunto de quatro artigos que têm por finalidade identificar os requisitos de mantenabilidade a serem atendidos na execução dos serviços de manutenção. Para tanto, a partir de um estudo sistemático, identifica na literatura os principais requisitos, estruturando-os em áreas, e aplica pesquisa junto a especialistas de manutenção para classificá-los quanto à importância e aplicabilidade. Na sequência, agrupa estes requisitos em criticidade, estabelece um ranqueamento quanto à sua observação e debate a ocorrência na literatura e o operado nas organizações, bem como a possível defasagem existente entre o operado e o concebido em discussões acadêmicas. Como resultado, além de apresentar os principais requisitos de mantenabilidade na execução dos serviços de manutenção, caracteriza o impacto da adoção dos requisitos de mantenabilidade nas organizações e conclui que a mantenabilidade gerenciada é responsável pela conformidade da execução dos serviços e pelos resultados organizacionais buscados. O estudo aponta para a necessidade de construir uma sistemática capaz de diagnosticar o nível de observação dos requisitos de mantenabilidade em uma organização e de introduzir melhorias nos processos e execução de serviços de manutenção existentes. / Maintenance, for the organizations, comprises the strategic function of assuring the sought reliability by the planned availability for the processes. As a service, the conformity in the performance of maintenance services results from the involved resources, technical capacity, logistics, means, planning, control of work conditions and environment. Maintainability is the adequate performance of these services, which occur by the adoption of requirements that observe norms, legislation, and best practices, particularly connected to the environment where the maintenance activities and tasks will be developed. This study consists of a block of four articles, which aim to verify the necessary maintainability requirements to be attended in the performance of maintenance services. For the accomplishment, it takes a systematic study to identify in the literature the major requirements, organizing them by sections, and applies a research to maintenance experts in order to categorize these requirements on levels of importance and applicability. Subsequently, it groups these requirements on emergency levels, establishes a ranking board based on their observation, and discusses their occurrences in the literature towards what is performed in the organizations, as well as the possibly existent hiatus between the operated procedures and the concepts raised from academic discussions. As a result, besides presenting the major maintainability requirements in the performance of maintenance services, it characterizes the impact of the adoption of maintainability requirements by the organizations and concludes that the managed maintainability is responsible for the conformity in the performance of services and for the sought organizational results. The study reveals the necessity of structuring a systematics able to diagnose the level of attendance of maintainability requirements by an organization and to attach improvements to the processes and performance of existing maintenance services.

Uma aplicação distribuída freqüentemente tem que ser especificada e implementada para executar sobre uma rede de longa distância (wide-área network-WAN), tipicamente a Internet. Neste ambiente, tais aplicações são sujeitas a defeitos do tipo colapso(falha geral num dado nó), teporização (flutuações na latência de comunicação) e omissão (perdas de mensagens). Para evitar que este defeitos gerem comseqüências indesejáveis e irreparáveis na aplicação, explora-se técnicas para tolerá-los. A abstração de detectores de defeitos não confiáveis auxilia a especificação e trato de algoritmos distribuídos utilizados em sistemas tolerantes a falhas, pois permite uma modelagem baseada na noção de estado (suspeito ou não suspeito) dos componentes (objetos, processo ou processadores) da aplicação. Para garantir terminação, os algoritmos de detecção de defeitos costumam utilizar a noção de limites de tempo de espera (timeout). Adicionalmente, para minimizar seu erro (falasas suspeitas) e não comprometer seu desempenho (tempo para detecção de um defeito), alguns detectores de defeitos ajustam dinamicamente o timeout com base em previsões do atraso de comunicação. Esta tese explora o ajuste dinâmico do timeout realizado de acordo com métodos de previsão baseados na teoria de séries temporais. Tais métodos supõem uma amostragem periódica e fornececm estimativas relativamente confiáveis do comportamento futuro da variável aleatória. Neste trabalho é especificado uma interface para transformar uma amostragem aperiódica do atraso de ida e volta de uma mensagem (rtt) numa amostragem periódica, é analisado comportamento de séries reais do rtt e a precisão dee sete preditores distintos (três baseados em séries temporais e quatrro não), e é avaliado a influência destes preditores na qualidade de serviço de um detector de defeitos do estilopull. Uma arquitetura orientada a objetos que possibilita a escolha/troca de algoritmos de previsão e de margem de segurança é também proposta. Como resultado, esta tese mostra: (i) que embora a amostragem do rtt seja aperiódica, pode-se modelá-la como sendo uma série temporal (uma amostragem periódica) aplciando uma interface de transformação; (ii) que a série temporal rtt é não estacionária na maioria dos casos de teste, contradizendo a maioria das hipóteses comumente consideradas em detectores de defeitos; (iii) que dentre sete modelos de predição, o modelo ARIMA (autoregressive integrated moving-average model) é o que oferece a melhor precisão na predição de atrasos de comunicação, em termos do erro quadrático médio: (iv) que o impacto de preditores baseados em séries temporais na qualidade de serviço do detector de defeitos não significativo em relação a modelos bem mais simples, mas varia dependendo da margem de segurança adotada; e (v) que um serviço de detecção de defeitos pode possibilitar a fácil escolha de algoritmos de previsão e de margens de segurança, pois o preditor pode ser modelado como sendo um módulo dissociado do detector.

A confiabilidade de sistemas de processamento digital de sinais é, entre tantos fatores, diretamente proporcional à confiabilidade dos conversores analógico-digitais neles presentes para serem usados como interface com o mundo real. Este trabalho propõe um método novo de teste de conversores analógico-digitais baseado em ruído. O método proposto possibilita a detecção de falhas nos conversores em teste. Além disto, a técnica proposta é capaz de estimar simultaneamente características estáticas e dinâmicas tornando-se, portanto, inovador em relação aos demais métodos presentes na literatura. A proposta, a simulação e a implementação do método são apresentadas ao longo desta dissertação. A comparação dos resultados obtidos com um método padrão de teste de ADCs, o método do histograma, comprovam a eficácia do método.

Alta disponibilidade é uma das propriedades mais desejáveis em sistemas computacionais, principalmente em aplicações comerciais que, tipicamente, envolvem acesso a banco de dados e usam transações. Essas aplicações compreendem sistemas bancários e de comércio eletrônico, onde a indisponibilidade de um serviço pode representar substanciais perdas financeiras. Alta disponibilidade pode ser alcançada através de replicação. Se uma das réplicas não está operacional, outra possibilita que determinado serviço seja oferecido. No entanto, réplicas requerem protocolos que assegurem consistência de estado. Comunicação de grupo é uma abstração que tem sido aplicada com eficiência a sistemas distribuídos para implementar protocolos de replicação. Sua aplicação a sistemas práticos com transações e com banco de dados não é comum. Tipicamente, sistemas transacionais usam soluções ad hoc e sincronizam réplicas com protocolos centralizados, que são bloqueantes e, por isso, não asseguram alta disponibilidade. A tecnologia baseada em componentes Enterprise JavaBeans (EJB) é um exemplo de sistema prático que integra distribuição, transações e bancos de dados. Em uma aplicação EJB, o desenvolvedor codifica o serviço funcional que é dependente da aplicação, e os serviços não–funcionais são inseridos automaticamente. A especificação EJB descreve serviços não–funcionais de segurança, de transações e de persistência para bancos de dados, mas não descreve serviços que garantam alta disponibilidade. Neste trabalho, alta disponibilidade é oferecida como uma nova propriedade através da adição de serviços não–funcionais na tecnologia EJB usando abstrações de comunicação de grupo. Os serviços para alta disponibilidade são oferecidos através da arquitetura HA (highly-available architecture) que possui múltiplas camadas. Esses serviços incluem replicação, chaveamento de servidor, gerenciamento de membros do grupo e detecção de membros falhos do grupo. A arquitetura HA baseia-se nos serviços já descritos pela especificação EJB e preserva os serviços EJB existentes. O protocolo de replicação corresponde a uma subcamada, invisível para o usuário final. O serviço EJB é executado por membros em um grupo de réplicas, permitindo a existência de múltiplos bancos de dados idênticos. Conflitos de acesso aos múltiplos bancos de dados são tratados estabelecendo–se uma ordem total para aplicação das atualizações das transações. Esse grupo é modelado como um único componente e gerenciado por um sistema de comunicação de grupo. A combinação de conceitos de bancos de dados com comunicação de grupo demonstra uma interessante solução para aplicações com requisitos de alta disponibilidade, como as aplicações EJB. Os serviços adicionais da arquitetura HA foram implementados em protótipo. A validação através de um protótipo possibilita que experimentos sejam realizados dentro de um ambiente controlado, usando diferentes cargas de trabalho sintéticas. O protótipo combina dois sistemas de código aberto. Essa característica permitiu acesso à implementação e não somente à interface dos componentes dos sistemas em questão. Um dos sistemas implementa a especificação EJB e outro implementa o sistema de comunicação de grupos. Os resultados dos testes realizados com o protótipo mostraram a eficiência da solução proposta. A degradação de desempenho pelo uso de réplicas e da comunicação de grupo é mantida em valores adequados.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-04T12:07:33Z No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-05-19T21:55:04Z (GMT) No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / Made available in DSpace on 2016-05-19T21:55:04Z (GMT). No. of bitstreams: 1 2015_AlexandreVazRoriz.pdf: 1671166 bytes, checksum: c58f23212854280f05a5a7aba50ad0f9 (MD5) / O aumento da complexidade dos sistemas computacionais é uma tendência que precisa ser acompanhada pela busca por técnicas de desenvolvimento orientadas em garantir o nível de confiabilidade exigido, desde os estágios iniciais do ciclo de desenvolvimento de software. Nesse contexto, passa a ser requisito essencial que a modelagem seja feita de forma confiável, refletindo da melhor maneira possível o comportamento esperado para o sistema. A modelagem em cenários possibilita, ainda nas fases iniciais do desenvolvimento, a realização de análises de dependabilidade para verificar o atendimento a requisitos não funcionais do sistema. Configurando então uma técnica interessante para a construção de sistemas confiáveis. Entretanto, a modelagem em cenários traz a possibilidade da ocorrência de cenários implícitos, que são cenários que não estavam previstos inicialmente mas surgem da integração entre os diversos cenários especificados. Esses novos cenários podem ser desejados, quando não comprometem o sistema, ou indesejados, quando levam o sistema a um estado de erro. Nesse último caso, é exigida a tomada de ações corretivas para o modelo visando a eliminação ou atenuação desses efeitos negativos. Sendo assim, para a construção de um modelo confiável, faz-se necessário não somente identificar os eventuais cenários implícitos, mas avaliar o impacto desses sobre o sistema a ser modelado, de modo a fundamentar e direcionar as ações para se alcançar o nível de dependabilidade adequado. Esse trabalho apresenta uma metodologia para a avaliação quantitativa e qualitativa do impacto dos cenários implícitos sobre a confiabilidade de um sistema que está sendo modelado. Um estudo de caso é apresentado mostrando o emprego da metodologia para a definição de uma configuração mais confiável em um sistema de rede de câmeras inteligentes. Os resultados mostram que a metodologia é útil para a compreensão de como os cenários implícitos impactam a confiabilidade do modelo, fornecendo subsídios para a tomada de decisões que resultem em um sistema mais confiável. _______________________________________________________________________________________________ ABSTRACT / The increasing of the complexity in computing systems is a trend that needs be accompanied by the search for development techniques oriented to ensure the required reliability level, since the early stages of the software development cycle. In this context, it becomes a essential requirement that the modeling be done in a reliable way, reflecting the expected behavior for system. The scenario-based specification allows, even at early stages of the development, the realization of dependability analysis to verify the compliance with no-functional requirements of the system. Being considered an interesting technique for constructing reliable systems. However, the scenarios modeled brings the possibility of the occurrence of implied scenarios, which are scenarios that were not initially foreseen but arise from interaction between the others specified scenarios. These new scenarios can be allowed, when they do not compromise the system, or unwanted, when they take the system to an error state. In the latter case, it is required to take corrective action in order to eliminate or reduce these negative effects. Therefore, to construct a reliable model, it is necessary not only identify any implied scenarios, but also to assess the impact of these on the system to be modeled in order to ground and direct the actions in order to achieve the appropriate dependability level. This work presents a methodology for quantitative and qualitative analysis of the impact of implied scenarios on the reliability of a system being modeled. A case study is presented showing the use of the methodology for defining a more reliable configuration in a network system of smart cameras. The results show that the method is useful for understanding how the implied scenarios impact the reliability of the model, providing support for decisions that result in a more reliable system.