Return to search

Inserção automática de mecanismos de tolerância e falhas em descrições VHDL

Made available in DSpace on 2014-06-12T15:59:14Z (GMT). No. of bitstreams: 2
arquivo4981_1.pdf: 2017051 bytes, checksum: 7e487a5678737f75d7545527f97ee473 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2002 / Sistemas de computação vêm sendo mais empregados a cada dia, atingindo um
maior número de usuários, que passam a depender mais fortemente do
desempenho desses sistemas. À medida que mais pessoas são beneficiadas pelas
máquinas, maior pode ser o prejuízo causado por problemas ocorridos no
funcionamento destas.
Dessa forma, torna-se necessária a utilização de mecanismos para lidar com
os problemas que potencialmente possam afetar o bom funcionamento dos
sistemas. Tolerância a falhas é um desses mecanismos.

Assim como os computadores pessoais, os sistemas embutidos também têm se
tornado mais utilizados nos últimos anos, afetando cada vez mais pessoas.
Desde terminais bancários de caixas eletrônicos a aparelhos
eletrodomésticos, diariamente as pessoas são beneficiadas pelos serviços que
esse tipo de sistema oferece. Desse modo, os sistemas embutidos devem
oferecer confiabilidade no seu funcionamento, evitando o prejuízo das
pessoas que utilizam os sistemas e dependem deles.

Apesar de metodologias para projeto de sistemas embutidos estarem sendo
desenvolvidas, nota-se que a aplicação de tolerância a falhas nos sistemas
ainda é realizada de forma intuitiva e manual. Com o avanço e a
fundamentação das técnicas de tolerância a falhas, essa aplicação tem a
tendência de se tornar também mais automatizada e sistemática.

O trabalho tem como objetivo apresentar um método de auxílio no
desenvolvimento de sistemas embutidos tolerantes a falhas. A abordagem
escolhida foi a implementação da ferramenta ToleranSE - Tolerância a Falhas
em Sistemas Embutidos - que visa a inserção automática de técnicas de
tolerância a falhas na especificação desses sistemas. Com isso, pretende-se
mostrar a viabilidade de utilização de métodos automatizados na
implementação de mecanismos de tolerância a falhas no desenvolvimento de
sistemas embutidos

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/2557
Date January 2002
CreatorsSANTOS, Ana Carla dos Oliveira
ContributorsCAVALCANTE, Sérgio Vanderlei
PublisherUniversidade Federal de Pernambuco
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0018 seconds