Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2007 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFPE |
Texto Completo: | https://repositorio.ufpe.br/handle/123456789/2041 |
Resumo: | Nos dias atuais, observamos o vertiginoso avanço da tecnologia e a dependência cada vez maior da sociedade nos sistemas de computação. O uso massivo de dispositivos computadorizados, fixos e móveis, dentro de um conceito de computação ubíqua, e a crescente pervasividade das redes de computadores e serviços, têm tornado os sistemas extremamente complexos e dinâmicos. Esta complexidade vem aumentando a cada dia, a medida que os computadores têm se tornado menores, mais baratos e com maior capacidade de processamento. Hoje eles estão presentes não apenas em grande parte dos objetos da vida diária, como aparelhos celulares, laptops e desktops, como também nos sistemas de telecomunicações, nos meios de transporte, nos equipamentos hospitalares, e na maior parte das atividades. Enquanto razões econômicas forçam o desenvolvimento de novos sistemas computacionais, com um número cada vez maior de facilidades, razões de qualidade impõem a necessidade de que sejam evitados maus funcionamentos desses sistemas. As conseqüências das paralisações dos sistemas computacionais podem variar desde simples inconveniências, a perda de vidas humanas ou prejuízos materiais, o que motiva o desenvolvimento de metodologias para a avaliação da dependabilidade, ou segurança de funcionamento, desses sistemas. Devido ao comportamento aleatório de grande parte das falhas, técnicas de modelagem de dependabilidade por meio de avaliação analítica ou simulação estocástica têm provado ser uma solução útil e versátil em todas as fases do ciclo de vida de um sistema, desde a fase de projeto, na escolha da solução que melhor satisfaça aos requisitos de dependabilidade propostos, até a fase operacional, na detecção de gargalos que impeçam os sistemas de atingir tais requisitos. Esta Tese propõe o desenvolvimento de uma metodologia que possibilite a modelagem, o refinamento e a avaliação de sistemas dependáveis com a utilização de mecanismos de tolerância a falhas, através de um método híbrido baseado em redes de Petri estocásticas determinísticas estendidas (EDSPN) e diagramas de blocos, de um modo flexível, expansível e passível de automação. A metodologia proposta é executada em 5 diferentes níveis hierárquicos. Os dois primeiros níveis hierárquicos lidam com os diagramas de blocos e com os mecanismos de tolerância a falhas a serem introduzidos. O terceiro nível hierárquico, formado por redes de Petri de alto nível, define como será a interligação das redes de Petri, que representa a configuração dos blocos no diagrama de sistema dependável, na configuração final. No quarto nível hierárquico, o comportamento de cada bloco é modelado por meio de EDSPN, o qual gera expressões numéricas ou analíticas dos atributos de confiabilidade, disponibilidade e segurança. Finalmente, as expressões obtidas são utilizadas em um modelo dependável e parametrizado (MDP), de acordo com a configuração definida no terceiro nível, para obtenção das estimativas de dependabilidade do sistema como um todo. A metodologia proposta, além de ser passível de automação, objetiva ocultar a complexidade matemática envolvida e reduzir a possibilidade de explosão de estados. Para tornar os modelos EDSPN e MDP mais eficientes, uma biblioteca de modelos foi criada. Um mesmo modelo, com o auxílio de diferentes parâmetros de configuração, pode assumir diferentes mecanismos de tolerância a falhas, o que torna a metodologia flexível, assim como, um mesmo modelo, com o auxílio de parâmetros estruturais, pode assumir diferentes níveis de redundância em um mesmo mecanismo tolerante a falhas, o que torna a metodologia expansível |
id |
UFPE_400275f46b19fa26313d2ffbef694a48 |
---|---|
oai_identifier_str |
oai:repositorio.ufpe.br:123456789/2041 |
network_acronym_str |
UFPE |
network_name_str |
Repositório Institucional da UFPE |
repository_id_str |
2221 |
spelling |
FERNANDES, Sérgio Murilo MacielMACIEL, Paulo Romero Martins2014-06-12T15:54:03Z2014-06-12T15:54:03Z2007Murilo Maciel Fernandes, Sérgio; Romero Martins Maciel, Paulo. Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos. 2007. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007.https://repositorio.ufpe.br/handle/123456789/2041Nos dias atuais, observamos o vertiginoso avanço da tecnologia e a dependência cada vez maior da sociedade nos sistemas de computação. O uso massivo de dispositivos computadorizados, fixos e móveis, dentro de um conceito de computação ubíqua, e a crescente pervasividade das redes de computadores e serviços, têm tornado os sistemas extremamente complexos e dinâmicos. Esta complexidade vem aumentando a cada dia, a medida que os computadores têm se tornado menores, mais baratos e com maior capacidade de processamento. Hoje eles estão presentes não apenas em grande parte dos objetos da vida diária, como aparelhos celulares, laptops e desktops, como também nos sistemas de telecomunicações, nos meios de transporte, nos equipamentos hospitalares, e na maior parte das atividades. Enquanto razões econômicas forçam o desenvolvimento de novos sistemas computacionais, com um número cada vez maior de facilidades, razões de qualidade impõem a necessidade de que sejam evitados maus funcionamentos desses sistemas. As conseqüências das paralisações dos sistemas computacionais podem variar desde simples inconveniências, a perda de vidas humanas ou prejuízos materiais, o que motiva o desenvolvimento de metodologias para a avaliação da dependabilidade, ou segurança de funcionamento, desses sistemas. Devido ao comportamento aleatório de grande parte das falhas, técnicas de modelagem de dependabilidade por meio de avaliação analítica ou simulação estocástica têm provado ser uma solução útil e versátil em todas as fases do ciclo de vida de um sistema, desde a fase de projeto, na escolha da solução que melhor satisfaça aos requisitos de dependabilidade propostos, até a fase operacional, na detecção de gargalos que impeçam os sistemas de atingir tais requisitos. Esta Tese propõe o desenvolvimento de uma metodologia que possibilite a modelagem, o refinamento e a avaliação de sistemas dependáveis com a utilização de mecanismos de tolerância a falhas, através de um método híbrido baseado em redes de Petri estocásticas determinísticas estendidas (EDSPN) e diagramas de blocos, de um modo flexível, expansível e passível de automação. A metodologia proposta é executada em 5 diferentes níveis hierárquicos. Os dois primeiros níveis hierárquicos lidam com os diagramas de blocos e com os mecanismos de tolerância a falhas a serem introduzidos. O terceiro nível hierárquico, formado por redes de Petri de alto nível, define como será a interligação das redes de Petri, que representa a configuração dos blocos no diagrama de sistema dependável, na configuração final. No quarto nível hierárquico, o comportamento de cada bloco é modelado por meio de EDSPN, o qual gera expressões numéricas ou analíticas dos atributos de confiabilidade, disponibilidade e segurança. Finalmente, as expressões obtidas são utilizadas em um modelo dependável e parametrizado (MDP), de acordo com a configuração definida no terceiro nível, para obtenção das estimativas de dependabilidade do sistema como um todo. A metodologia proposta, além de ser passível de automação, objetiva ocultar a complexidade matemática envolvida e reduzir a possibilidade de explosão de estados. Para tornar os modelos EDSPN e MDP mais eficientes, uma biblioteca de modelos foi criada. Um mesmo modelo, com o auxílio de diferentes parâmetros de configuração, pode assumir diferentes mecanismos de tolerância a falhas, o que torna a metodologia flexível, assim como, um mesmo modelo, com o auxílio de parâmetros estruturais, pode assumir diferentes níveis de redundância em um mesmo mecanismo tolerante a falhas, o que torna a metodologia expansívelporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessTolerância a falhasDependabilidadeModelos estocásticosEDSPNAvaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETEXTarquivo6424_1.pdf.txtarquivo6424_1.pdf.txtExtracted texttext/plain607692https://repositorio.ufpe.br/bitstream/123456789/2041/3/arquivo6424_1.pdf.txt4801a384f53185ba1c7ce0045e478d3fMD53THUMBNAILarquivo6424_1.pdf.jpgarquivo6424_1.pdf.jpgGenerated Thumbnailimage/jpeg1452https://repositorio.ufpe.br/bitstream/123456789/2041/4/arquivo6424_1.pdf.jpgcacaf301c32238be18d3007bdf42c0deMD54ORIGINALarquivo6424_1.pdfapplication/pdf13803031https://repositorio.ufpe.br/bitstream/123456789/2041/1/arquivo6424_1.pdf6040cdc1997e59c9d7710625c1551127MD51LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/2041/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52123456789/20412019-10-25 11:28:51.113oai:repositorio.ufpe.br:123456789/2041Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T14:28:51Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false |
dc.title.pt_BR.fl_str_mv |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
title |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
spellingShingle |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos FERNANDES, Sérgio Murilo Maciel Tolerância a falhas Dependabilidade Modelos estocásticos EDSPN |
title_short |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
title_full |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
title_fullStr |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
title_full_unstemmed |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
title_sort |
Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos |
author |
FERNANDES, Sérgio Murilo Maciel |
author_facet |
FERNANDES, Sérgio Murilo Maciel |
author_role |
author |
dc.contributor.author.fl_str_mv |
FERNANDES, Sérgio Murilo Maciel |
dc.contributor.advisor1.fl_str_mv |
MACIEL, Paulo Romero Martins |
contributor_str_mv |
MACIEL, Paulo Romero Martins |
dc.subject.por.fl_str_mv |
Tolerância a falhas Dependabilidade Modelos estocásticos EDSPN |
topic |
Tolerância a falhas Dependabilidade Modelos estocásticos EDSPN |
description |
Nos dias atuais, observamos o vertiginoso avanço da tecnologia e a dependência cada vez maior da sociedade nos sistemas de computação. O uso massivo de dispositivos computadorizados, fixos e móveis, dentro de um conceito de computação ubíqua, e a crescente pervasividade das redes de computadores e serviços, têm tornado os sistemas extremamente complexos e dinâmicos. Esta complexidade vem aumentando a cada dia, a medida que os computadores têm se tornado menores, mais baratos e com maior capacidade de processamento. Hoje eles estão presentes não apenas em grande parte dos objetos da vida diária, como aparelhos celulares, laptops e desktops, como também nos sistemas de telecomunicações, nos meios de transporte, nos equipamentos hospitalares, e na maior parte das atividades. Enquanto razões econômicas forçam o desenvolvimento de novos sistemas computacionais, com um número cada vez maior de facilidades, razões de qualidade impõem a necessidade de que sejam evitados maus funcionamentos desses sistemas. As conseqüências das paralisações dos sistemas computacionais podem variar desde simples inconveniências, a perda de vidas humanas ou prejuízos materiais, o que motiva o desenvolvimento de metodologias para a avaliação da dependabilidade, ou segurança de funcionamento, desses sistemas. Devido ao comportamento aleatório de grande parte das falhas, técnicas de modelagem de dependabilidade por meio de avaliação analítica ou simulação estocástica têm provado ser uma solução útil e versátil em todas as fases do ciclo de vida de um sistema, desde a fase de projeto, na escolha da solução que melhor satisfaça aos requisitos de dependabilidade propostos, até a fase operacional, na detecção de gargalos que impeçam os sistemas de atingir tais requisitos. Esta Tese propõe o desenvolvimento de uma metodologia que possibilite a modelagem, o refinamento e a avaliação de sistemas dependáveis com a utilização de mecanismos de tolerância a falhas, através de um método híbrido baseado em redes de Petri estocásticas determinísticas estendidas (EDSPN) e diagramas de blocos, de um modo flexível, expansível e passível de automação. A metodologia proposta é executada em 5 diferentes níveis hierárquicos. Os dois primeiros níveis hierárquicos lidam com os diagramas de blocos e com os mecanismos de tolerância a falhas a serem introduzidos. O terceiro nível hierárquico, formado por redes de Petri de alto nível, define como será a interligação das redes de Petri, que representa a configuração dos blocos no diagrama de sistema dependável, na configuração final. No quarto nível hierárquico, o comportamento de cada bloco é modelado por meio de EDSPN, o qual gera expressões numéricas ou analíticas dos atributos de confiabilidade, disponibilidade e segurança. Finalmente, as expressões obtidas são utilizadas em um modelo dependável e parametrizado (MDP), de acordo com a configuração definida no terceiro nível, para obtenção das estimativas de dependabilidade do sistema como um todo. A metodologia proposta, além de ser passível de automação, objetiva ocultar a complexidade matemática envolvida e reduzir a possibilidade de explosão de estados. Para tornar os modelos EDSPN e MDP mais eficientes, uma biblioteca de modelos foi criada. Um mesmo modelo, com o auxílio de diferentes parâmetros de configuração, pode assumir diferentes mecanismos de tolerância a falhas, o que torna a metodologia flexível, assim como, um mesmo modelo, com o auxílio de parâmetros estruturais, pode assumir diferentes níveis de redundância em um mesmo mecanismo tolerante a falhas, o que torna a metodologia expansível |
publishDate |
2007 |
dc.date.issued.fl_str_mv |
2007 |
dc.date.accessioned.fl_str_mv |
2014-06-12T15:54:03Z |
dc.date.available.fl_str_mv |
2014-06-12T15:54:03Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
Murilo Maciel Fernandes, Sérgio; Romero Martins Maciel, Paulo. Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos. 2007. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufpe.br/handle/123456789/2041 |
identifier_str_mv |
Murilo Maciel Fernandes, Sérgio; Romero Martins Maciel, Paulo. Avaliação de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um método híbrido baseado em EDSPN e diagrama de blocos. 2007. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2007. |
url |
https://repositorio.ufpe.br/handle/123456789/2041 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivs 3.0 Brazil http://creativecommons.org/licenses/by-nc-nd/3.0/br/ |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
publisher.none.fl_str_mv |
Universidade Federal de Pernambuco |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFPE instname:Universidade Federal de Pernambuco (UFPE) instacron:UFPE |
instname_str |
Universidade Federal de Pernambuco (UFPE) |
instacron_str |
UFPE |
institution |
UFPE |
reponame_str |
Repositório Institucional da UFPE |
collection |
Repositório Institucional da UFPE |
bitstream.url.fl_str_mv |
https://repositorio.ufpe.br/bitstream/123456789/2041/3/arquivo6424_1.pdf.txt https://repositorio.ufpe.br/bitstream/123456789/2041/4/arquivo6424_1.pdf.jpg https://repositorio.ufpe.br/bitstream/123456789/2041/1/arquivo6424_1.pdf https://repositorio.ufpe.br/bitstream/123456789/2041/2/license.txt |
bitstream.checksum.fl_str_mv |
4801a384f53185ba1c7ce0045e478d3f cacaf301c32238be18d3007bdf42c0de 6040cdc1997e59c9d7710625c1551127 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE) |
repository.mail.fl_str_mv |
attena@ufpe.br |
_version_ |
1802310611592282112 |