DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFPE |
Texto Completo: | https://repositorio.ufpe.br/handle/123456789/1393 |
Resumo: | Produtos eletrônicos modernos integram diversas funcionalidades, combinando mobilidade, poder computacional, uma alta capacidade para comunicação e flexibilidade de interfaceamento. No entanto, a integração dessas funcionalidades eleva a complexidade do projeto. O projeto de tais produtos inclui um sistema embarcado que, em geral, implementa suas funcionalidades em uma solução integrada de hardware e software. Uma plataforma de hardware baseada em processador permite a execução das funcionalidades do software do sistema. Os seus principais componentes são: processadores, memória, barramento e dispositivos periféricos. Modelos de simulação destes componentes podem ser obtidos e conectados para compor um modelo de plataforma virtual. Este modelo pode ser usado, ainda na fase inicial, para o desenvolvimento dos componentes de software: código dependente da plataforma, device drivers, funcionalidades do sistema operacional e aplicações do usuário. Nesse contexto, os dispositivos periféricos e os respectivos device drivers têm um papel importante, pois são responsáveis pelos diversos tipos de comunicação e interfaceamento com o mundo exterior, requisitos obrigatórios na maioria dos sistemas modernos. No entanto, o desenvolvimento de dispositivos periféricos não é uma tarefa simples, ainda que seja um modelo de simulação. Por outro lado, o desenvolvimento do driver depende da disponibilidade do modelo do dispositivo, além do tipo do processador e do sistema operacional. Essas dependências, portanto, podem acarretar atraso no tempo de desenvolvimento e afetar o custo do projeto. Assim, o desenvolvimento integrado e concorrente do dispositivo e do driver facilita a depuração, contribuindo para a eliminação de erro, além de reduzir o tempo total do projeto. Esse trabalho propõe uma abordagem para dar suporte ao desenvolvimento incremental e concorrente de device drivers e modelos de simulação do controlador de dispositivos, considerando diferentes níveis de detalhes dos modelos, o tipo do processador usado, bem como, a utilização de um sistema operacional. Para isso, uma linguagem específica do domínio é proposta para descrever características dos controladores e do device driver e, a partir dessa descrição, possibilitar que o controlador e os drivers sejam sintetizados. Para validar a proposta, uma plataforma baseada no processador Sparc foi desenvolvida e um porte do sistema operacional uclinux foi realizado. Alguns dispositivos periféricos e seus respectivos device drivers foram sintetizados tais como, UART, LCD display e dispositivos específicos para plataformas de computação reconfigurável. Esses componentes foram integrados à plataforma base e simulados para a validação dos componentes |
id |
UFPE_6f02565c543962660645ff5ddb91bd1b |
---|---|
oai_identifier_str |
oai:repositorio.ufpe.br:123456789/1393 |
network_acronym_str |
UFPE |
network_name_str |
Repositório Institucional da UFPE |
repository_id_str |
2221 |
spelling |
LISBOA, Edson BarbosaBARROS, Edna Natividade da Silva2014-06-12T15:49:42Z2014-06-12T15:49:42Z2009-01-31Barbosa Lisboa, Edson; Natividade da Silva Barros, Edna. DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.https://repositorio.ufpe.br/handle/123456789/1393Produtos eletrônicos modernos integram diversas funcionalidades, combinando mobilidade, poder computacional, uma alta capacidade para comunicação e flexibilidade de interfaceamento. No entanto, a integração dessas funcionalidades eleva a complexidade do projeto. O projeto de tais produtos inclui um sistema embarcado que, em geral, implementa suas funcionalidades em uma solução integrada de hardware e software. Uma plataforma de hardware baseada em processador permite a execução das funcionalidades do software do sistema. Os seus principais componentes são: processadores, memória, barramento e dispositivos periféricos. Modelos de simulação destes componentes podem ser obtidos e conectados para compor um modelo de plataforma virtual. Este modelo pode ser usado, ainda na fase inicial, para o desenvolvimento dos componentes de software: código dependente da plataforma, device drivers, funcionalidades do sistema operacional e aplicações do usuário. Nesse contexto, os dispositivos periféricos e os respectivos device drivers têm um papel importante, pois são responsáveis pelos diversos tipos de comunicação e interfaceamento com o mundo exterior, requisitos obrigatórios na maioria dos sistemas modernos. No entanto, o desenvolvimento de dispositivos periféricos não é uma tarefa simples, ainda que seja um modelo de simulação. Por outro lado, o desenvolvimento do driver depende da disponibilidade do modelo do dispositivo, além do tipo do processador e do sistema operacional. Essas dependências, portanto, podem acarretar atraso no tempo de desenvolvimento e afetar o custo do projeto. Assim, o desenvolvimento integrado e concorrente do dispositivo e do driver facilita a depuração, contribuindo para a eliminação de erro, além de reduzir o tempo total do projeto. Esse trabalho propõe uma abordagem para dar suporte ao desenvolvimento incremental e concorrente de device drivers e modelos de simulação do controlador de dispositivos, considerando diferentes níveis de detalhes dos modelos, o tipo do processador usado, bem como, a utilização de um sistema operacional. Para isso, uma linguagem específica do domínio é proposta para descrever características dos controladores e do device driver e, a partir dessa descrição, possibilitar que o controlador e os drivers sejam sintetizados. Para validar a proposta, uma plataforma baseada no processador Sparc foi desenvolvida e um porte do sistema operacional uclinux foi realizado. Alguns dispositivos periféricos e seus respectivos device drivers foram sintetizados tais como, UART, LCD display e dispositivos específicos para plataformas de computação reconfigurável. Esses componentes foram integrados à plataforma base e simulados para a validação dos componentesConselho Nacional de Desenvolvimento Científico e TecnológicoporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessSistemas Operacionais EmbarcadosSistemas EmbarcadosDevice DriversDispositivos de Entrada e SaídaArquitetura de ComputadoresPlataformas VituaisLinguagem Específica do DomínioDevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saídainfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILebl.pdf.jpgebl.pdf.jpgGenerated Thumbnailimage/jpeg1316https://repositorio.ufpe.br/bitstream/123456789/1393/4/ebl.pdf.jpg42ee995fe179198c6616859c1cd3ea5cMD54LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/1393/1/license.txt8a4605be74aa9ea9d79846c1fba20a33MD51ORIGINALebl.pdfebl.pdfapplication/pdf3013769https://repositorio.ufpe.br/bitstream/123456789/1393/2/ebl.pdf60a33baaea975b0f17f88e1942e2cef5MD52TEXTebl.pdf.txtebl.pdf.txtExtracted texttext/plain377568https://repositorio.ufpe.br/bitstream/123456789/1393/3/ebl.pdf.txt0c56cc092136fba338ba698af858c8cbMD53123456789/13932019-10-25 06:22:59.676oai:repositorio.ufpe.br:123456789/1393Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T09:22:59Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false |
dc.title.pt_BR.fl_str_mv |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
title |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
spellingShingle |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída LISBOA, Edson Barbosa Sistemas Operacionais Embarcados Sistemas Embarcados Device Drivers Dispositivos de Entrada e Saída Arquitetura de Computadores Plataformas Vituais Linguagem Específica do Domínio |
title_short |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
title_full |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
title_fullStr |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
title_full_unstemmed |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
title_sort |
DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída |
author |
LISBOA, Edson Barbosa |
author_facet |
LISBOA, Edson Barbosa |
author_role |
author |
dc.contributor.author.fl_str_mv |
LISBOA, Edson Barbosa |
dc.contributor.advisor1.fl_str_mv |
BARROS, Edna Natividade da Silva |
contributor_str_mv |
BARROS, Edna Natividade da Silva |
dc.subject.por.fl_str_mv |
Sistemas Operacionais Embarcados Sistemas Embarcados Device Drivers Dispositivos de Entrada e Saída Arquitetura de Computadores Plataformas Vituais Linguagem Específica do Domínio |
topic |
Sistemas Operacionais Embarcados Sistemas Embarcados Device Drivers Dispositivos de Entrada e Saída Arquitetura de Computadores Plataformas Vituais Linguagem Específica do Domínio |
description |
Produtos eletrônicos modernos integram diversas funcionalidades, combinando mobilidade, poder computacional, uma alta capacidade para comunicação e flexibilidade de interfaceamento. No entanto, a integração dessas funcionalidades eleva a complexidade do projeto. O projeto de tais produtos inclui um sistema embarcado que, em geral, implementa suas funcionalidades em uma solução integrada de hardware e software. Uma plataforma de hardware baseada em processador permite a execução das funcionalidades do software do sistema. Os seus principais componentes são: processadores, memória, barramento e dispositivos periféricos. Modelos de simulação destes componentes podem ser obtidos e conectados para compor um modelo de plataforma virtual. Este modelo pode ser usado, ainda na fase inicial, para o desenvolvimento dos componentes de software: código dependente da plataforma, device drivers, funcionalidades do sistema operacional e aplicações do usuário. Nesse contexto, os dispositivos periféricos e os respectivos device drivers têm um papel importante, pois são responsáveis pelos diversos tipos de comunicação e interfaceamento com o mundo exterior, requisitos obrigatórios na maioria dos sistemas modernos. No entanto, o desenvolvimento de dispositivos periféricos não é uma tarefa simples, ainda que seja um modelo de simulação. Por outro lado, o desenvolvimento do driver depende da disponibilidade do modelo do dispositivo, além do tipo do processador e do sistema operacional. Essas dependências, portanto, podem acarretar atraso no tempo de desenvolvimento e afetar o custo do projeto. Assim, o desenvolvimento integrado e concorrente do dispositivo e do driver facilita a depuração, contribuindo para a eliminação de erro, além de reduzir o tempo total do projeto. Esse trabalho propõe uma abordagem para dar suporte ao desenvolvimento incremental e concorrente de device drivers e modelos de simulação do controlador de dispositivos, considerando diferentes níveis de detalhes dos modelos, o tipo do processador usado, bem como, a utilização de um sistema operacional. Para isso, uma linguagem específica do domínio é proposta para descrever características dos controladores e do device driver e, a partir dessa descrição, possibilitar que o controlador e os drivers sejam sintetizados. Para validar a proposta, uma plataforma baseada no processador Sparc foi desenvolvida e um porte do sistema operacional uclinux foi realizado. Alguns dispositivos periféricos e seus respectivos device drivers foram sintetizados tais como, UART, LCD display e dispositivos específicos para plataformas de computação reconfigurável. Esses componentes foram integrados à plataforma base e simulados para a validação dos componentes |
publishDate |
2009 |
dc.date.issued.fl_str_mv |
2009-01-31 |
dc.date.accessioned.fl_str_mv |
2014-06-12T15:49:42Z |
dc.date.available.fl_str_mv |
2014-06-12T15:49:42Z |
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 |
Barbosa Lisboa, Edson; Natividade da Silva Barros, Edna. DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufpe.br/handle/123456789/1393 |
identifier_str_mv |
Barbosa Lisboa, Edson; Natividade da Silva Barros, Edna. DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saída. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009. |
url |
https://repositorio.ufpe.br/handle/123456789/1393 |
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/1393/4/ebl.pdf.jpg https://repositorio.ufpe.br/bitstream/123456789/1393/1/license.txt https://repositorio.ufpe.br/bitstream/123456789/1393/2/ebl.pdf https://repositorio.ufpe.br/bitstream/123456789/1393/3/ebl.pdf.txt |
bitstream.checksum.fl_str_mv |
42ee995fe179198c6616859c1cd3ea5c 8a4605be74aa9ea9d79846c1fba20a33 60a33baaea975b0f17f88e1942e2cef5 0c56cc092136fba338ba698af858c8cb |
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_ |
1802310625846624256 |