Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2006 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3295 |
Resumo: | Os sistemas de gerenciamento de banco de dados em tempo-real (SGBD-TR) apresentam as características necessárias para gerenciar eficientemente aplicações onde dados e transações possuem restrições temporais, tais como: aplicações para automação industrial, aviação, redes de sensores, entre outras. Na última década, várias aplicações que precisam executar em ambientes abertos e imprevisíveis foram identificadas. Tais aplicações caracterizam-se pela grande distribuição geográfica, alta heterogeneidade, inexistência de controle global, falhas parciais e falta de segurança. Em virtude das características supracitadas, muitas questões em SGBD-TR precisam ser reconsideradas, tais como: mecanismos de controle de concorrência, políticas de escalonamento e gerenciamento de qualidade de serviços. Por exemplo, os algoritmos de escalonamento devem considerar os diferentes tipos de prazos das transações (suave, firme ou estrito), enquanto os protocolos de controle de concorrência devem permitir que transações conflitantes executem concorrentemente, de acordo com as necessidades da aplicação, onde essas necessidades são especificadas através de funções de qualidade de serviços e métricas de desempenho. Portanto, considerando a complexidade dessas aplicações, torna-se fundamental o desenvolvimento de métodos baseados em técnicas formais de análise e simulação de sistemas para o desenvolvimento das mesmas. Nesta tese é proposto um método baseado em uma técnica formal, para o desenvolvimento de aplicações que executam em ambientes abertos e imprevisíveis. Através desse método é possível realizar análises e simulações do sistema, buscando orientar o processo de tomada de decisão e propor soluções para a melhoria da mesma. Para validar o método, um estudo de caso considerando o domínio de aplicação de redes de sensores foi adotado. |
id |
UFCG_22018fe102b525c1be9aad4d7ba2fa77 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/3295 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
PERKUSICH, Angelo.PERKUSICH, A.http://lattes.cnpq.br/9439858291700830PERKUSICH, Maria Lígia Barbosa.PERKUSICH, M. L. B.http://lattes.cnpq.br/7146783372083122SOUZA, Fernando da Fonseca de.BRAYNER, Angelo Roncalli Alencar.TURNELL, Maria de Fátima Queiroz Vieira.ROCHA NETO, José Sérgio da.RIBEIRO NETO, P. F.http://lattes.cnpq.br/3091123485499725RIBEIRO NETO, Pedro Fernandes.Os sistemas de gerenciamento de banco de dados em tempo-real (SGBD-TR) apresentam as características necessárias para gerenciar eficientemente aplicações onde dados e transações possuem restrições temporais, tais como: aplicações para automação industrial, aviação, redes de sensores, entre outras. Na última década, várias aplicações que precisam executar em ambientes abertos e imprevisíveis foram identificadas. Tais aplicações caracterizam-se pela grande distribuição geográfica, alta heterogeneidade, inexistência de controle global, falhas parciais e falta de segurança. Em virtude das características supracitadas, muitas questões em SGBD-TR precisam ser reconsideradas, tais como: mecanismos de controle de concorrência, políticas de escalonamento e gerenciamento de qualidade de serviços. Por exemplo, os algoritmos de escalonamento devem considerar os diferentes tipos de prazos das transações (suave, firme ou estrito), enquanto os protocolos de controle de concorrência devem permitir que transações conflitantes executem concorrentemente, de acordo com as necessidades da aplicação, onde essas necessidades são especificadas através de funções de qualidade de serviços e métricas de desempenho. Portanto, considerando a complexidade dessas aplicações, torna-se fundamental o desenvolvimento de métodos baseados em técnicas formais de análise e simulação de sistemas para o desenvolvimento das mesmas. Nesta tese é proposto um método baseado em uma técnica formal, para o desenvolvimento de aplicações que executam em ambientes abertos e imprevisíveis. Através desse método é possível realizar análises e simulações do sistema, buscando orientar o processo de tomada de decisão e propor soluções para a melhoria da mesma. Para validar o método, um estudo de caso considerando o domínio de aplicação de redes de sensores foi adotado.Real-time database management systems (RT-DBMS) have the necessary characteristics for providing efficient support to develop applications in which both, data and transactions have temporal constraints, such as industrial automation, aviation, sensors network, and so on. However, in the last decade, new applications were identified. Such applications are characterized by a large geographic distribution, high heterogeneity, lack of global control, partial failures and lack of safety. Besides of this, they need to manage large data volumes with real-time constraints. Due to these characteristics, many questions in RT-DBMS have brought interest to researches in this area, such as: concurrence control mechanisms, scheduling policy, and quality of services management. Scheduling algorithms should consider transactions with soft deadlines and the concurrency control protocols should allow conflicting transactions to execute in parallel. The last ones should be based in their requirements, which are specified through both quality of services functions and performance metrics. However, considering the complexity of these applications, it is fundamental to develop formal analysis and simulation techniques for systems with the discussed characteristics. In this work, a method to model and develop applications that execute in open and unpredictable environments is proposed. Based on this method this model, it is possible to perform analysis and simulations of systems, to guide the decision making process and to identify solutions for improving it. For validating the model, a case study considering the application domain of sensors network is discussed.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-03-29T12:19:00Z No. of bitstreams: 1 PEDRO FERNANDES RIBEIRO NETO - TESE PPGEE 2006..pdf: 9059013 bytes, checksum: 51a3ca97d708df063129112b0230e1ce (MD5)Made available in DSpace on 2019-03-29T12:19:00Z (GMT). No. of bitstreams: 1 PEDRO FERNANDES RIBEIRO NETO - TESE PPGEE 2006..pdf: 9059013 bytes, checksum: 51a3ca97d708df063129112b0230e1ce (MD5) Previous issue date: 2006-03-16Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIEngenharia Elétrica.Engenharia Elétrica.Redes de Sensores.Redes de Petri.Qualidade de Serviço.Bancos de Dados em Tempo-real.Sensor Networks.Petri nets.Service quality.Real-time Databases.Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real.Service quality mechanisms for real-time data and transaction management.2006-03-162019-03-29T12:19:00Z2019-03-292019-03-29T12:19:00Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3295RIBEIRO NETO, Pedro Fernandes. Mecanismos de qualidade de serviços para o gerenciamento de dados e transações em tempo-real. 2006. 158f. Tese (Doutorado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2006.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALPEDRO FERNANDES RIBEIRO NETO - TESE PPGEE 2006.pdfPEDRO FERNANDES RIBEIRO NETO - TESE PPGEE 2006.pdfapplication/pdf1200713http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3295/3/PEDRO+FERNANDES+RIBEIRO+NETO+-+TESE+PPGEE+2006.pdfb613b79203da2689459afd878ff1d2e2MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3295/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/32952021-04-15 11:33:16.679oai:localhost:riufcg/3295Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512024-07-01T09:58:57.479600Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
dc.title.alternative.pt_BR.fl_str_mv |
Service quality mechanisms for real-time data and transaction management. |
title |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
spellingShingle |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. RIBEIRO NETO, Pedro Fernandes. Engenharia Elétrica. Engenharia Elétrica. Redes de Sensores. Redes de Petri. Qualidade de Serviço. Bancos de Dados em Tempo-real. Sensor Networks. Petri nets. Service quality. Real-time Databases. |
title_short |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
title_full |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
title_fullStr |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
title_full_unstemmed |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
title_sort |
Mecanismos de qualidade de serviços para p gerenciamento de dados e transações em tempo-real. |
author |
RIBEIRO NETO, Pedro Fernandes. |
author_facet |
RIBEIRO NETO, Pedro Fernandes. |
author_role |
author |
dc.contributor.advisor2ID.pt_BR.fl_str_mv |
PERKUSICH, M. L. B. |
dc.contributor.advisor1.fl_str_mv |
PERKUSICH, Angelo. |
dc.contributor.advisor1ID.fl_str_mv |
PERKUSICH, A. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/9439858291700830 |
dc.contributor.advisor2.fl_str_mv |
PERKUSICH, Maria Lígia Barbosa. |
dc.contributor.advisor2Lattes.fl_str_mv |
http://lattes.cnpq.br/7146783372083122 |
dc.contributor.referee1.fl_str_mv |
SOUZA, Fernando da Fonseca de. |
dc.contributor.referee2.fl_str_mv |
BRAYNER, Angelo Roncalli Alencar. |
dc.contributor.referee3.fl_str_mv |
TURNELL, Maria de Fátima Queiroz Vieira. |
dc.contributor.referee4.fl_str_mv |
ROCHA NETO, José Sérgio da. |
dc.contributor.authorID.fl_str_mv |
RIBEIRO NETO, P. F. |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/3091123485499725 |
dc.contributor.author.fl_str_mv |
RIBEIRO NETO, Pedro Fernandes. |
contributor_str_mv |
PERKUSICH, Angelo. PERKUSICH, Maria Lígia Barbosa. SOUZA, Fernando da Fonseca de. BRAYNER, Angelo Roncalli Alencar. TURNELL, Maria de Fátima Queiroz Vieira. ROCHA NETO, José Sérgio da. |
dc.subject.cnpq.fl_str_mv |
Engenharia Elétrica. Engenharia Elétrica. |
topic |
Engenharia Elétrica. Engenharia Elétrica. Redes de Sensores. Redes de Petri. Qualidade de Serviço. Bancos de Dados em Tempo-real. Sensor Networks. Petri nets. Service quality. Real-time Databases. |
dc.subject.por.fl_str_mv |
Redes de Sensores. Redes de Petri. Qualidade de Serviço. Bancos de Dados em Tempo-real. Sensor Networks. Petri nets. Service quality. Real-time Databases. |
description |
Os sistemas de gerenciamento de banco de dados em tempo-real (SGBD-TR) apresentam as características necessárias para gerenciar eficientemente aplicações onde dados e transações possuem restrições temporais, tais como: aplicações para automação industrial, aviação, redes de sensores, entre outras. Na última década, várias aplicações que precisam executar em ambientes abertos e imprevisíveis foram identificadas. Tais aplicações caracterizam-se pela grande distribuição geográfica, alta heterogeneidade, inexistência de controle global, falhas parciais e falta de segurança. Em virtude das características supracitadas, muitas questões em SGBD-TR precisam ser reconsideradas, tais como: mecanismos de controle de concorrência, políticas de escalonamento e gerenciamento de qualidade de serviços. Por exemplo, os algoritmos de escalonamento devem considerar os diferentes tipos de prazos das transações (suave, firme ou estrito), enquanto os protocolos de controle de concorrência devem permitir que transações conflitantes executem concorrentemente, de acordo com as necessidades da aplicação, onde essas necessidades são especificadas através de funções de qualidade de serviços e métricas de desempenho. Portanto, considerando a complexidade dessas aplicações, torna-se fundamental o desenvolvimento de métodos baseados em técnicas formais de análise e simulação de sistemas para o desenvolvimento das mesmas. Nesta tese é proposto um método baseado em uma técnica formal, para o desenvolvimento de aplicações que executam em ambientes abertos e imprevisíveis. Através desse método é possível realizar análises e simulações do sistema, buscando orientar o processo de tomada de decisão e propor soluções para a melhoria da mesma. Para validar o método, um estudo de caso considerando o domínio de aplicação de redes de sensores foi adotado. |
publishDate |
2006 |
dc.date.issued.fl_str_mv |
2006-03-16 |
dc.date.accessioned.fl_str_mv |
2019-03-29T12:19:00Z |
dc.date.available.fl_str_mv |
2019-03-29 2019-03-29T12:19:00Z |
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.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3295 |
dc.identifier.citation.fl_str_mv |
RIBEIRO NETO, Pedro Fernandes. Mecanismos de qualidade de serviços para o gerenciamento de dados e transações em tempo-real. 2006. 158f. Tese (Doutorado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2006. |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/3295 |
identifier_str_mv |
RIBEIRO NETO, Pedro Fernandes. Mecanismos de qualidade de serviços para o gerenciamento de dados e transações em tempo-real. 2006. 158f. Tese (Doutorado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2006. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3295/3/PEDRO+FERNANDES+RIBEIRO+NETO+-+TESE+PPGEE+2006.pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/3295/2/license.txt |
bitstream.checksum.fl_str_mv |
b613b79203da2689459afd878ff1d2e2 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1803396543586238464 |