Orientador: Eleri Cardozo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T17:44:35Z (GMT). No. of bitstreams: 1 Conceicao_Ladislau_M.pdf: 7252231 bytes, checksum: 4b4cde4e17acaac6f53497e16779c0eb (MD5) Previous issue date: 1995 / Resumo: A Plataforma Multiware é um modelo de referência para o suporte ao processamento distribuído aberto (ODP). Esta plataforma é dividida nas camadas de processamento local, middleware, groupware e de aplicação. A camada middleware tem a responsabilidade de prover as funcionalidades ODP e é composta por serviços de comunicação se constituem na base para o processamento distribuído. Os serviços providos são: comunicação com reserva de banda, comunicação em grupo e comunicação sem-conexão confiável. Este trabalho apresenta o projeto e implementação destes serviços de comunicação. O serviço de comunicação com reserva de banda provê comunicação para transmissão de dados multimídia, tais como áudio e vídeo. Neste trabalho foi projetado um protocola para operar sobre redes de tráfego assíncrono, tais como Ethernet e FDDI (sem tráfego síncrono). Um esquema de taken-possing foi utilizado para disciplinar o acesso ao meio. O serviço de comunicação em grupo (reliable multicast) é um aperfeiçoamento de um protocolo já existente. Nele foi incluído controle de fluxo e recuperação total em caso de falha do nodo seqüenciador. O serviço de comunicação sem-conexão confiável é um serviço de datagramas com reconhecimento. Normalmente, comunicação confiável é somente oferecida em serviços com conexão e serviços sem conexão não oferecem confiabilidade... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The Multiware Platform is a reference model to support Open Distributed Processing (ODP). This platform is divided into layers, namely local processing, middleware, groupware, and application. The middleware layer is responsible for providing ODP functions, comprising communication services, kernel services, object service, and programming interface (API). The communication services ? namely bandwidth reservation communication, group communication, and reliable connectionless communication ? are the basis for the distributed processing. In this work these communication services were designed and implemented. The bandwidth reservation service provides support for multimedia communication, such as Ethernet and FDDI (without synchronous traffic). A token passing scheme was used to control the medium access. The group communication service is an improvement from a reliable multicast protocol. Flow control and full recovery sequencer crash were added to the protocol. The reliable communication is provided only in connection-oriented services and, and connectionless service does not provide only reliability... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Engenharia Elétrica

Orientadores: Shusaburo Motoyama, Claudio Kirner / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-17T11:53:47Z (GMT). No. of bitstreams: 1 Silva_JorgeLuize_D.pdf: 9332250 bytes, checksum: 7333ab47e718273c0c4a589b6727c50a (MD5) Previous issue date: 1992 / Resumo: Este trabalho teve como objetivo analisar e desenvolver Programação a Fluxo de Dados Tolerante a Falhas em um computador paralelo estruturado recursivamente (CPER). O CPER é uma máquina paralela que possui uma estrutura básica constituída de N Elementos de Processamento (EP), interligados através de um barramento paralelo de alta velocidade, correspondendo ao barramento nível 1. Várias destas estruturas básicas interligadas através de um outro barramento constitui a estrutura do barramento nível 2. O uso recursivo desta mesma regra irá compor a estrutura hierárquica do CPER, que permite expansão, flexibilidade e alto grau de Tolerância a Falhas. Entretanto esta arquitetura pode não ser eficiente, se não utilizarmos conceitos de programação paralela. Propusemos então a Programação a Fluxo de Dados na estrutura hierárquica do CPER. Inicialmente apresentamos o hardware do CPER, e suas estruturas de alto desempenho. Em seguida, mostramos como o CPER opera para executar programas a fluxo de dados de forma dinâmica e mostramos também uma solução de software para garantir Tolerância a Falhas na programação a fluxo de Dados. Finalmente apresentamos um simulador (FDsim), e uma análise estocástica, que tiveram como objetivo mostrar viabilidade e eficiência da máquina paralela proposta / Abstract: In this work is analyzed the fault tolerant data flow processing in a computer based on hierarchical parallel buses. In this architecture, a set of N processors, each one called processing element (PE), are interconnected to a bus constituting a basic structure or cluster. The set of the buses of these basic structures correspond to the parallel buses leveI 1. Several basic structures of level 1 are interconnected to a bus constituting a cluster for the parallel buses leveI 2. The same idea can be recursively used to get parallel buses leveI M. This computer architecture based on hierarchical parallel buses permits the expansion flexibility and is highly fault tolerant computer. However, this architecture may not be efficient. If it is not utilized parallel programming concept. In this work we proposed the data flow processing for the execution of the programs in hierarchical parallel buses machine. First of alI, it is proposed hardware solution to get high throughput for inter-clusters and inter-Ievels communications in hierarchical parallel buses machine. FOllowing, it is discussed how the parallel buses computer can work as a dynamic data flow machine and it is proposed software solution to get fault tolerant processing. Finally, a software simulation is carried out to show the feasibility and efficiency of proposed parallel buses machine / Doutorado / Doutor em Engenharia Elétrica

Orientador: Aleardo Manacero / Banca: Rafael Pasquini / Banca: Rodolfo Ipolito Meneguetti / Resumo: Computação em nuvem oferece serviços de computação por meio da internet, utilizando máquinas virtuais. A garantia de elasticidade e pagamento sobre demanda são os principais motivos para atrair pessoas para aderirem a esta tecnologia. Infelizmente, existem diversos fatores que podem ocasionar erros que poderão gerar falha(s) no serviço, sendo que muitas vezes tais falhas acabam ocasionando perda de dados, por exemplo. Para evitar transtornos além da própria falha do serviço é importante que o suporte de tolerância a falhas em computação em nuvem seja robusto, garantindo que o ambiente se recupere na íntegra, de maneira ágil e sem a necessidade de interferência do cliente ou até do administrador. Um ambiente de tolerância a falhas envolve inúmeras variáveis, tanto entre causas da falha como técnicas de tratamento, fazendo com que uma falha possa ser suprida de N maneiras. Na literatura é possível encontrar muitos trabalhos relacionados a tolerância falhas em nuvem, o que causa grande dificuldade em identificar pontos que podem ser melhorados em relação à falhas no ambiente. Neste trabalho é apresentada uma sistematização das inúmeras propostas para tratamento de falhas em uma infraestrutura de computação em nuvem encontradas na literatura, criando uma classificação por origem da falha e forma de tratamento, na qual se aponta ainda pontos fortes e fracos de cada abordagem. Essa sistematização serviu de base para a construção de um web site com informações objetivas sobre as... / Abstract: Cloud computing offers computer services over the internet using virtual machines. The guarantee of elasticity and payment on demand are the main reasons attracting people to join the technology. Unfortunately, there are a number of factors that may cause errors that could lead to service failure(s), with such failures often resulting in loss of data, for example. In order to avoid disruptions beyond the fault itself, it is important that the fault tolerance support is robust, ensuring that the environment is recovered in full, in an agile manner and without the need for customer, or even system's manager, interference. A fault tolerant environment deals with a myriad of variables related to the failure's cause or its treatment, implying that a failure can be managed through N approaches. One can find several papers describing approaches to solve cloud computing failures, which causes great difficulty in identifying points that can be improved in relation to the flaws in the environment. This work presents a systematic review of the methods for fault tolerance in a cloud computing infrastructure that are found in the literature, creating a classification based in the failure's cause and the solution's approach, including their strong and weak points. This systematization became the basis of a website containing objective information about the identified solutions, creating a prototype of a recommendation system for cloud computing managers / Mestre

[pt] O trabalho apresentado neste texto compreende o projeto e a realização física de um sistema programável destinado a gerar seqüências de teste previamente escolhidas aos diversos operadores do calculador A.S.M.O.D.E.E. O1. Este mesmo sistema ainda apresenta a capacidade de detetar e localizar as falhas encontradas segundo o princípio da comparação com um operador funcionando perfeitamente. / [en] This work consists of the design and construction of a programmable system for generating previously chosen sequences of tests for the diverse operators of the A.S.M.O.D.E.E. O1 calculator. Faults are detected and localized by comparing the results with another operator known to be functioning properly.

[pt] Neste trabalho apresenta-se um procedimento para a avaliação da Integridade Estrutural em máquinas de levantamento e movimentação de materiais utilizando a metodologia de Inspeção Baseada em Risco (IBR), com o objetivo de identificar as partes com maior risco de falha. Esta metodologia avalia tanto as Probabilidades de falha como as Consequências de falha para identificar os pontos críticos que serão analisados com prioridade nos programas de inspeção futuros. Um guincho hidráulico de pequeno porte é usado como exemplo da aplicação deste procedimento a equipamentos de grande porte. No desenvolvimento desta metodologia executa-se uma análise detalhada das tensões envolvidas nos principais pontos da máquina, considerando o cálculo analítico, cálculo numérico, medições experimentais e análise de incertezas. Para o cálculo das probabilidades de falha foram considerados os seguintes mecanismos de dano: colapso plástico por carregamento excessivo, fadiga e corrosão. As probabilidades de falha para cada mecanismo são calculadas e classificadas em diferentes níveis, assim como as consequências de falha, o que origina diferentes níveis de risco. / [en] This report presents a procedure for the assesment of Structural Integrity of material lifting and handling machinery, using the methodology of Risk Based Inspection (IBR - Inspeção Baseada em Risco) in order to indentify the parts with high risk of failure. This methodology assesses both probabilities of failure and consequences of failure to identify the critical points; those will be analyzed with priority in future inspection programs. A small hydraulic hoist is used as an example of this procedure applying to big equipments. A detailed strain analysis is carried out for the most important points of the equipment. The strain analysis consider analytic calculations, numeric calculations, experimental measurements and related uncertainly evaluations. In order to calculate the probabilities of failure, the followings damage mechanisms were considered: plastic collapse by excessive loading, fatigue and corrosion. The failure probabilities for each mechanism are calculated and classificated in different levels, as well as failure consequences, that originate different risk levels.

Made available in DSpace on 2011-05-04T12:42:07Z (GMT). No. of bitstreams: 0 Previous issue date: 2009 / A AIDS, desde o seu surgimento no início dos anos 80, apresentou-se como um relevante problema de saúde pública. Além da prevenção de doenças oportunistas e do tratamento da AIDS foi essencial estabelecer critérios para definir casos da doença. O objetivo do presente estudo foi ressaltar as diferenças observadas nas funções de sobrevida de casos definidos por diferentes critérios e conhecer o efeito da adesão à terapia anti-retroviral(TARV) no prognóstico dos pacientes HIV/AIDS. No primeiro artigo, 1.415 indivíduos HIV+ atendidos no IPEC foram avaliados pelos critérios de definição de caso do Ministério da Saúde (MS/2004) e dos Centers for Disease Control and Prevention (CDC/1993), e afunção de sobrevida foi estimada para cada critério, considerando o uso de TARV e cofatores sócio-demográficos e clínicos. Os resultados desta avaliação mostraram que a sobrevida estimada depende do critério adotado além de apresentar preditores distintos. No segundo artigo, em buscas no Medline e Lilacs, selecionou-se 38 artigos que avaliaram a ocorrência de desfechos relevantes na evolução da AIDS em função da adesão ao tratamento. Na avaliação desses artigos, foi evidenciado que a adesão dos pacientes ao tratamento antiretroviral nos diversos matizes considerados na literatura mostrou-se um preditor importante dos desfechos nas suas múltiplas representações no acompanhamento dos pacientes, independente do estadiamento clínico, uso prévio de tratamento, CD4 ecarga viral basais. No terceiro artigo, para 711 pacientes foram considerados os dados de fornecimento de anti-retrovirais (dispensas) disponíveis no Sistema de Controle Logístico de Medicamentos (SICLOM) para avaliar a adesão e estimar o risco de falha terapêutica pelo modelo de Cox. Com base neste estudo, pode-se concluir que o grau de não adesão à HAART está diretamente associado com o maior risco de ocorrência de desfechos desfavoráveis, e que a adesão <75 por cento teve impacto substancial na evolução da doença, independente de outros fatores. Em suma, pode-se concluir que apesar das dificuldades dese comparar estudos, devido à evolução do tratamento, dos inúmeros desfechos e formas de avaliações, é incontestável o melhor prognóstico nos anos recentes. Ainda que o sucesso do tratamento dependa da adesão, e esta, por sua vez, dependa de inúmeros fatores, é possível afirmar que melhorando a adesão do paciente ao tratamento, independente de praticamente todos demais fatores, é possível obter um bom prognóstico para a evolução da doença. / Since its emergence in the early 1980s, AIDS has appeared as a relevant public health problem. In addition to preventing opportunistic diseases and treating AIDS it was essential to establish disease-defining criteria. The aim of the present study was to highlight the differences in cases survival functions defined by different criteria and to know the effect of adherence to antiretroviral therapy on the prognosis of patients with HIV/AIDS. In the first article, 1,415 HIV+ subjects seen at IPEC were assessed by two case-defining criteria (MS/2004 and CDC/1993), their survival function was estimated for each standard, considering the use of ARV and socio-demographic and clinical cofactors. The results showed that estimated survival depends on the chosen standard, besides presenting distinct predictors. In the second article, through searches at MEDLINE and LILACS, there were selected 38 articles that evaluated the occurrence of relevant outcomes to the development of AIDS in function of adherence to treatment. The analysis of these articles emphasized that the adherence of patients to ARV or HAART in various aspects considered in the literature was an important predictor of outcomes in their multiple representations in the monitoring of patients, independent of their clinical staging, use of prior treatment and baseline CD4 and viral load. In the third article, to 711 patients, there were considered data from antiretroviral disposal available at SICLOM for adherence assessment and estimation of therapeutic failure risk by the Cox model. In this study, it can be concluded that the level of non-adherence to HAART is directly associated with the highest risk of adverse outcomes, and adherence <75% had a substantial impact on the evolution of the disease, independent of other factors. In short, it can be concluded that despite the difficulties of comparing studies, due to treatment development, innumerable outcomes and forms of evaluations, there is no doubt about the occurrence of better prognosis in recent years. Even though the success of treatment depends on adherence, and this, in turn, depends on numerous factors, it is possible to say that improving patient adherence to treatment, independent of practically all other factors, it is possible to obtain a good prognosis for the development of the disease.

Sistemas Instrumentados de Segurança (SIS) são projetados para prevenir e/ou mitigar acidentes, evitando indesejáveis cenários com alto potencial de risco, assegurando a proteção da saúde das pessoas, proteção do meio ambiente e economia de custos com equipamentos industriais. Desta forma, é extremamente recomendado neste projeto de SIS o uso de métodos formais para garantir as especificações de segurança em conformidade com as normas regulamentadoras vigentes, principalmente para atingir o nível de integridade de segurança (SIL) desejado. Adicionalmente, algumas das normas de segurança como ANSI / ISA S.84.01; IEC 61508, IEC 61511, entre outras, recomendam uma série de procedimentos relacionados ao ciclo de vida de segurança de um projeto de SIS. Desta forma, destacam-se as atividades que compreendem o desenvolvimento e a validação dos algoritmos de controle em que se separam semanticamente os aspectos voltados para o diagnóstico de falhas críticas e o tratamento destas falhas associado a um controle de coordenação para filtrar a ocorrência de falhas espúrias. Portanto, a contribuição deste trabalho é propor um método formal para a modelagem e análise de SIS, incluindo o diagnóstico e o tratamento de falhas críticas, baseado em rede Bayesiana (BN) e rede de Petri (PN). Este trabalho considera o diagnóstico e o tratamento para cada função instrumentada de segurança (SIF) a partir do resultado do estudo de análise de riscos, de acordo com a metodologia de HAZOP (Hazard and Operability). / Safety Instrumented Systems (SIS) are design to prevent and/or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people health, protecting the environment and saving costs of industrial equipment. It is strongly recommended in this design formal method to assure the safety specifications in accordance to standards regulations, mainly for reaching desired safety integrity level (SIL). Additionally, some of the safety standards such as ANSI/ISA S.84.01; IEC 61508, IEC 61511, among others, guide different activities related to Safety Life Cycle (SLC) design of SIS. In special, there are design activities that involves the development and validation of control algorithm that separate semantically aspects oriented to diagnosis and treatment of critical faults associated with a control coordination to filter spurious failures occurrence. In this context, the contribution of this work is to propose a formal method for modeling and analysis of SIS designed including diagnostic and treatment of critical faults based on Bayesian networks (BN) and Petri nets (PN). This approach considers diagnostic and treatment for each safety instrumented function (SIF) obtained according hazard and operability (HAZOP) methodology.

Este trabalho é uma contribuição à análise progressiva de falhas em materiais compósitos poliméricos. Esses materiais combinam as propriedades de seus constituintes (fibra, resina polimérica e interface) de forma a melhorar o desempenho frente à utilização das fases isoladamente. A combinação de fases permite obter características como baixa densidade e elevada rigidez, que são almejadas pelo segmento aeronáutico, pois podem proporcionar um aumento de autonomia ou da capacidade de carga das aeronaves. A anisotropia inerente aos compósitos torna possível projetá-los de forma a obter-se a rigidez e a resistência desejada. Por outro lado, a anisotropia dificulta a previsão precisa dos mecanismos de falha, e conseqüentemente, do comportamento global da estrutura. Apresenta-se, assim, com base numa revisão bibliográfica criteriosa, bem como, através de resultados experimentais, a avaliação de um modelo de material fenomenológico, onde se identificam modos de falhas intralaminares. Uma vez verificad a falha por algum critério, degradam-se as propriedades do material. O modelo de material foi implementado junto ao pacote de elementos finitos Abaqus através de uma sub-rotina UMAT (\"User Material\"), escrita em Fortran. Em seguida, estudou-se o problema de um laminado em duas configurações de empilhamento (\'[0º] IND.10\' e \'[0º/90º/0º/90º/0º] IND.S\') sob flexão 3-pontos. Os resultados das simulações foram comparados com resultados experimentais, observando erros da ordem de 10%. Sendo que estes foram obtidos em função de um estudo dos parâmetros associados a solução do problema não-linear, tais como: tamanho de incremento de iteração e parâmetros associados à lei de degradação de material. Por fim, concluiu-se que o modelo de material avaliado é adequado para previsão da falha da primeira camada, bem como, da redução da rigidez estrutural e da resistência residual. Sendo que, a resposta teórica obtida se manteve parcialmente dentro dos limites inferior e superior do envelope experimental. / This work is a contribution to the progressive failure analysis in polymer composite materials. These materials combine the properties of its constituents (fiber, resin and interface) in order to improve the performance against the use of phases alone. The combination of the phases can provide characteristics such as low density and high strength, which are desired in the aeronautical segment, because it can increase the autonomy or aircraft payload. The anisotropy inherent in composites turns possible to design the material for a desired stiffness and strength. Furthermore, it turns difficult the prediction of failure mechanisms, and consequently, the overall behavior of the structure. This study presents, based on a review and experimental results, the evaluation of a phenomenological material model, which identify intralaminar failure modes. Once verified the failure by any criterion, the material properties are reduced by a degradation law. The material model was implemented in a UMAT (User Material) subroutine which linked to the finite element package Abaqus. It was applied in the study of 3-point bending problem for two stacking sequences (\'[0º] IND.10\' e \'[0º/90º/0º/90º/0º] IND.S\'). The results were compared with experimental tests, presenting a error in the order of 10%. Since that these where obtained by a study of the parameters associated to the solution of the nonlinear problem, such as: time step, and parameters associated to the material degradation laws. Finally, it was concluded that the material model is judged suitable for predicting the failure of the first ply, the reduction of structural stiffness and the residual strength. Besides, a part of the theoretical response obtained is maintained within the lower and upper limits of the experimental tests envelope.

Made available in DSpace on 2015-03-13T17:08:23Z (GMT). No. of bitstreams: 1 RodrigoMP_ate Cap8.pdf: 2288926 bytes, checksum: 44bae2f6f3e55dec9ebd5707fbed042f (MD5) Previous issue date: 2005-09-16 / In spite of significant study and exploration of Potiguar Basin, easternmost Brazilian equatorial margin, by the oil industry, its still provides an interesting discussion about its origin and the mechanisms of hydrocarbon trapping. The mapping and interpretation of 3D seismic reflection data of Baixa Grande Fault, SW portion of Umbuzeiro Graben, points as responsible for basin architecture configuration an extensional deformational process. The fault geometry is the most important deformation boundary condition of the rift stata. The development of flat-ramp geometries is responsible for the formation of important extensional anticline folds, many of then hydrocarbon traps in this basin segment. The dominant extensional deformation in the studied area, marked by the development of normal faults developments, associated with structures indicative of obliquity suggests variations on the former regime of Potiguar Basin through a multiphase process. The changes in structural trend permits the generation of local transpression and transtension zones, which results in a complex deformation pattern displayed by the Potiguar basin sin-rift strata. Sismostratigraphic and log analysis show that the Baixa Grande Fault acts as listric growing fault at the sedimentation onset. The generation of a relay ramp between Baixa Grande Fault and Carnaubais Fault was probably responsible for the balance between subsidence and sedimentary influx taxes, inhibiting its growing behaviour. The sismosequences analysis s indicates that the extensional folds generation its diachronic, and then the folds can be both syn- and post-depositional / Apesar do significativo estudo e explora??o da Bacia Potiguar, extremo-leste da margem equatorial brasileira, pela ind?stria do petr?leo, a bacia ainda permite uma interessante discuss?o acerca de sua origem e dos mecanismos de trapeamento de hidrocarbonetos associados. O mapeamento e interpreta??o de dados de s?smica de reflex?o 3D da Falha de Baixa Grande, por??o SW do Graben de Umbuzeiro, aponta como respons?vel pela defini??o da arquitetura desta por??o da bacia um processo deformacional, essencialmente, distensional. A geometria da Falha de Baixa Grande ? a principal condi??o de contorno da deforma??o dos estratos sedimentares da fase sin-rifte da bacia. O desenvolvimento de geometrias do tipo flat-ramp ? respons?vel pela forma??o de importantes dobramentos distensionais anticlinais, muitos deles portadores de hidrocarbonetos neste segmento da bacia. A predominante deforma??o distensional na ?rea de estudo, marcada pelo desenvolvimento de falhas normais, associada a estruturas indicativas de obliq?idade, sugere varia??es no regime distensional formador da bacia Potiguar atrav?s de processos multif?sicos. A varia??o no trend estrutural ao longo da evolu??o da bacia permite a gera??o de zonas de comportamento local transtrativo e transpressivo, resultando no desenvolvimento do complexo padr?o deformacional impresso nos estratos da fase sin-rifte da Bacia Potiguar. An?lises sismoestratigr?ficas e de dados de po?os indicam que a Falha de Baixa Grande atuou como falha l?strica de crescimento nos primeiros epis?dios de sedimenta??o da bacia. A cria??o de uma rampa de revezamento entre as Falhas de Baixa Grande e Carnaubais foi, provavelmente, respons?vel pelo equil?brio entre as taxas de subsid?ncia e aporte sedimentar inibindo o funcionamento da falha como falha de crescimento. A an?lise de sismoseq??ncias permite, por fim, concluir que a gera??o dos dobramentos distensionais ? di?crona, podendo estes ser sin a p?s-deposicionais

Sistemas Instrumentados de Segurança (SIS) são projetados para prevenir e/ou mitigar acidentes, evitando indesejáveis cenários com alto potencial de risco, assegurando a proteção da saúde das pessoas, proteção do meio ambiente e economia de custos com equipamentos industriais. Desta forma, é extremamente recomendado neste projeto de SIS o uso de métodos formais para garantir as especificações de segurança em conformidade com as normas regulamentadoras vigentes, principalmente para atingir o nível de integridade de segurança (SIL) desejado. Adicionalmente, algumas das normas de segurança como ANSI / ISA S.84.01; IEC 61508, IEC 61511, entre outras, recomendam uma série de procedimentos relacionados ao ciclo de vida de segurança de um projeto de SIS. Desta forma, destacam-se as atividades que compreendem o desenvolvimento e a validação dos algoritmos de controle em que se separam semanticamente os aspectos voltados para o diagnóstico de falhas críticas e o tratamento destas falhas associado a um controle de coordenação para filtrar a ocorrência de falhas espúrias. Portanto, a contribuição deste trabalho é propor um método formal para a modelagem e análise de SIS, incluindo o diagnóstico e o tratamento de falhas críticas, baseado em rede Bayesiana (BN) e rede de Petri (PN). Este trabalho considera o diagnóstico e o tratamento para cada função instrumentada de segurança (SIF) a partir do resultado do estudo de análise de riscos, de acordo com a metodologia de HAZOP (Hazard and Operability). / Safety Instrumented Systems (SIS) are design to prevent and/or mitigate accidents, avoiding undesirable high potential risk scenarios, assuring protection of people health, protecting the environment and saving costs of industrial equipment. It is strongly recommended in this design formal method to assure the safety specifications in accordance to standards regulations, mainly for reaching desired safety integrity level (SIL). Additionally, some of the safety standards such as ANSI/ISA S.84.01; IEC 61508, IEC 61511, among others, guide different activities related to Safety Life Cycle (SLC) design of SIS. In special, there are design activities that involves the development and validation of control algorithm that separate semantically aspects oriented to diagnosis and treatment of critical faults associated with a control coordination to filter spurious failures occurrence. In this context, the contribution of this work is to propose a formal method for modeling and analysis of SIS designed including diagnostic and treatment of critical faults based on Bayesian networks (BN) and Petri nets (PN). This approach considers diagnostic and treatment for each safety instrumented function (SIF) obtained according hazard and operability (HAZOP) methodology.