Show simple item record

dc.contributor.advisorCarro, Luigipt_BR
dc.contributor.authorAndreis, Fabrício Girardipt_BR
dc.date.accessioned2011-08-18T06:01:59Zpt_BR
dc.date.issued2011pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/31176pt_BR
dc.description.abstractO presente trabalho busca realizar um estudo comparativo entre a síntese automática e a escrita manual de código-fonte de protocolos de comunicação para sistemas embarcados. Os sistemas embarcados representam a grande maioria dos processadores vendidos no mundo e têm demandado cada vez mais funcionalidades, sendo grande parte delas implementadas em software. O domínio desses sistemas é impulsionado por fatores como o custo, confiabilidade e tempo de projeto. Além disso, devido à crescente necessidade de troca de informações nos sistemas embarcados, é imprescindível a implementação de protocolos para guiar essa comunicação. Portanto, metodologias que forneçam maior abstração e técnicas para a automatização do processo de síntese de código-fonte são fundamentais. Neste contexto, utilizando ferramentas comerciais, modelamos o autômato de estados finitos que descreve o funcionamento do protocolo PPP, simulamos um cenário de estabelecimento de conexão entre dois pares e, a partir dos modelos, geramos código-fonte capaz de realizar esse cenário. Depois disso, conduzimos um experimento para cada solução automatizada e para uma solução escrita manualmente. Por fim, analisamos os resultados e traçamos comparações de acordo com os seguintes critérios representativos para o domínio dos sistemas embarcados: consumo de energia, consumo de memória, desempenho, abstração, reúso e tempo de desenvolvimento.pt_BR
dc.description.abstractThis work aims to perform a comparative study between automatic synthesis and manual writing of source code of communication protocols for embedded systems. Embedded systems contain the majority manufactured processors and have been demanding more and more functionalities, which are mostly implemented in software. The domain of these systems is driven by characteristics like cost, reliability and design time. Moreover, the implementation of communication protocols are required to deal with the increasing need of information exchange on embedded systems. Thus, methodologies that provide higher levels of abstraction and techniques to automate the source code synthesis process are of paramount importance. In this context, with the aid of commercial tools, we modeled the finite-state automaton that describes the functioning of PPP protocol, we simulated a scenario for the link establishment between two pairs and we generated source code from these models. After that, we carried out an experiment for each automated solution and for a handwritten solution. Ultimately, we analyzed the results and we compared the solutions according to the following important metrics for the embedded systems: energy consumption, memory consumption, performance, abstraction, reuse and development time.en
dc.format.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.rightsOpen Accessen
dc.subjectSistemas embarcadospt_BR
dc.subjectAutomated synthesisen
dc.subjectCommunication protocolen
dc.subjectMetricas : Softwarept_BR
dc.subjectPPPen
dc.subjectLCPen
dc.subjectEmbedded systemsen
dc.titleEstudo comparativo entre a síntese de software manual e automática para protocolos de comunicação em sistemas embarcadospt_BR
dc.title.alternativeComparison between manual and automated software synthesis for communication protocols on embedded systems en
dc.typeTrabalho de conclusão de graduaçãopt_BR
dc.identifier.nrb000782277pt_BR
dc.degree.grantorUniversidade Federal do Rio Grande do Sulpt_BR
dc.degree.departmentInstituto de Informáticapt_BR
dc.degree.localPorto Alegre, BR-RSpt_BR
dc.degree.date2011pt_BR
dc.degree.graduationEngenharia de Computaçãopt_BR
dc.degree.levelgraduaçãopt_BR


Files in this item

Thumbnail
   

This item is licensed under a Creative Commons License

Show simple item record