masterThesis
Inserção automática de mecanismos de tolerância e falhas em descrições VHDL
Registro en:
Carla dos Oliveira Santos, Ana; Vanderlei Cavalcante, Sérgio. Inserção automática de mecanismos de tolerância e falhas em descrições VHDL. 2002. Dissertação (Mestrado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2002.
Autor
SANTOS, Ana Carla dos Oliveira
Institución
Resumen
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