Skip navigation
Please use this identifier to cite or link to this item: https://repositorio.ufpe.br/handle/123456789/12092
Title: Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos
Authors: ANDRADE, Ermeson Carneiro de
Keywords: Modelagem de dependabilidade;Sistemas distribuídos;DSPN;MARTE;SysML
Issue Date: 31-Jan-2014
Publisher: Universidade Federal de Pernambuco
Citation: ANDRADE, Ermeson Carneiro de. Modelagem e análise de mecanismos de tratamento de interrupções em infraestruturas computacionais dos sistemas distribuídos. Recife, 2014. 138 f. Tese (doutorado) - UFPE, Centro de Informática, Programa de Pós-graduação em Ciência da Computação, 2013..
Abstract: Os softwares possuem defeitos. Os computadores falham. Os v´ırus se propagam. Os pr´edios pegam fogo. As pessoas cometem erros. Os desastres acontecem. Embora gostar ´ıamos que tais eventos nunca acontecessem, ´e prudente prover mecanismos que tratem as interrup¸c˜oes dos servi¸cos, pois o custo do downtime pode ser extremamente elevado. Dessa forma, as empresas tˆem investido cada vez mais em mecanismos de tratamento de interrup¸c˜oes, visto que as interrup¸c˜oes, sejam elas brandas ou severas, podem acontecer em qualquer lugar, a qualquer momento, com pouco ou nenhum aviso. Os sistemas distribu´ıdos (ex.: computa¸c˜ao em nuvem) tˆem sido largamente usados nos ´ultimos anos como um meio de recupera¸c˜ao de interrup¸c˜oes de modo que o sistema (infraestrutura e dados) ´e distribu´ıdo sobre um conjunto de servidores dispersos geograficamente e na ocorrˆencia de interrup¸c˜oes, outros servidores assumir˜ao a operacionalidade do sistema. A forma mais amplamente usada para modelar sistemas complexos (ex.: sistemas distribu´ıdos) ´e atrav´es das linguagens semiformais, tais como SysML (System Modelling Language) ou UML (Unified Modeling Language), devido principalmente `a sua nota¸c˜ao amig´avel e intuitiva. Os modelos semiformais gerados por essas linguagens, por si s´os n˜ao fornecem suporte para avalia¸c˜ao de dependabilidade/desempenho das especifica¸c˜oes dos sistemas. Dessa forma, faz-se necess´ario o mapeamento desses modelos semiformais para modelos anal´ıticos, pois modelos anal´ıticos s˜ao apoiados por fundamentos matem´aticos s´olidos, que suportam sua semˆantica precisa, estimulam a avalia¸c˜ao de desempenho/ dependabilidade e fornecem suporte para verifica¸c˜oes das propriedades qualitativas e an´alises. Os modelos anal´ıticos, no entanto, n˜ao s˜ao intuitivos e requerem um consider´avel esfor¸co por parte dos projetistas para entenderem a nota¸c˜ao usada. Portanto, ´e sensato adotar o uso colaborativo dos modelos semiformais e anal´ıticos. Este trabalho prop˜oe um framework baseado em m´etricas, modelos e ferramentas que auxilia os projetistas, os quais n˜ao possuem (ou possuem pouca) expertise em modelagem estoc´astica, a modelar e estudar os mecanismos de tratamento de interrup¸c˜oes e as infraestruturas dos sistemas distribu´ıdos, a partir de especifica¸c˜oes de alto n´ıvel, descritas atrav´es da SysML e MARTE. Para alcan¸car esse objetivo, prop˜oe-se o mapeamento dos diagramas anotados da SysML em modelos DSPN (Rede de Petri Determin´ıstica e Estoc´astica). Essa abordagem resulta num modelo cujas propriedades s˜ao garantidas e provˆe um conjunto de indicadores de dependabilidade dos mecanismos e do sistema. Ademais, a fim de mostrar a corretude e aplicabilidade do framework proposto, estudos de casos s˜ao apresentados.
URI: https://repositorio.ufpe.br/handle/123456789/12092
Appears in Collections:Teses de Doutorado - Ciência da Computação

Files in This Item:
File Description SizeFormat 
TESE Ermeson Carneiro De Andrade.pdf3.98 MBAdobe PDFView/Open


This item is protected by original copyright



This item is licensed under a Creative Commons License Creative Commons