Verificacao Automatica
Mostrando 13-24 de 51 artigos, teses e dissertações.
-
13. Ferramenta para apoio a modelagem de sistemas com redes de petri
O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferram
Publicado em: 2010
-
14. Acessibilidade à web para pessoas com necessidades educacionais especiais cegas : uma avaliação de três sites públicos brasileiros
Aborda a acessibilidade de páginas da Web de três sites públicos brasileiros: Receita Federal, Caixa Econômica Federal e Tribunal Regional Eleitoral do Rio Grande do Sul. Verifica se estão sendo seguidas as recomendações de acessibilidade propostas pela W3C – WAI, através do documento WCAG 1.0. Identifica os pontos de verificação onde foram encon
Publicado em: 2010
-
15. Verificação automática de lógicas finitas multivalentes
Nos últimos anos tem crescido o interesse nas denominadas lógicas multivalentes: no ramo da computação, em áreas como prova automática de teoremas, raciocínio aproximado, sistemas multi-agente e vericação de programas; na engenharia elétrica como em circuitos digitais; na área da matemática pura, como em provas de independência ou consistência,
Publicado em: 2010
-
16. Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Esta pesquisa aborda a concepção e implementação do Método de Esqueletotipação, visando aumentar a qualidade das transformações de modelos em códigos-fonte no desenvolvimento de software embarcado baseado em modelos. A partir da experimentação em um estudo de caso de sistemas embarcados, envolvendo três experimentos, foi possível constatar tant
Publicado em: 2010
-
17. Métodos intervalares para a resolução de sistemas de equações lineares / Interval methods for resolution of linear equation systems
O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar.
Publicado em: 2010
-
18. Modelagem, verificação formal e codificação de sistemas reativos autônomos
Os sistemas computacionais são utilizados nas mais variadas áreas da vida cotidiana, desde o controle das contas bancárias até os pacientes nos hospitais. Nas aplicações onde vidas humanas ou altos investimentos estão em risco, a qualidade dos sistemas computacionais tem uma importância fundamental para eliminar ou reduzir as falhas. A utilização d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/12/2009
-
19. Proposta de aplicação da comunicação por radiação infravermelha em sistema de inspeção da rede elétrica de veículo automotor / Proposal of application of communication by means of infrared radiation in systems of inspection of auto motor vehicle
No atual contexto da indústria automotiva nacional e internacional, como parte do processo produtivo, no nível da Linha de Produção, são realizadas inspeções para a verificação da qualidade dos itens utilizados nos produtos destinados ao mercado consumidor. Dentre esses itens está o sistema elétrico que equipa os veículos automotores, cujo funcio
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/03/2009
-
20. Abstraction of infinite and communicating CSPZ processes
Esta tese trata de um problema muito comum em verificaÃÃo formal: explosÃo de estados. O problema desabilita a verificaÃÃo automÃtica de propriedades atravÃs da verificaÃÃo de modelos. Isto à superado pelo uso de abstraÃÃo de dados, em que o espaÃo de estados de umsistema à reduzido usandoumprincÃpio simples: descartando detalhes de tal forma
Publicado em: 2009
-
21. Fingerprint Identification Based on Minutiae Extraction / Identificação de Impressões Digitais Baseada na Extração de Minúcias
Este trabalho é dedicado a dactiloscopia (processo de identificação humana por meio das impressões digitais) aplicada a sistemas automáticos de verificação de imagens. O estudo tem como objetivo o desenvolvimento dos métodos de identificação pessoal, explorando sistemas baseados em casamento minúcias, os pequenos detalhes extraídos de uma imagem
Publicado em: 2008
-
22. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste
- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representa
Publicado em: 2008
-
23. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença / Association of Petri nets with virtual and real objects for controlling immersive virtual environments and telepresence
A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona a habilidade de manipular a realidade física remotamente em tempo real, através de sua representação virtual. Através da tecnologia de realidade virtual, pode-se criar uma grande dive
Publicado em: 2008
-
24. QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais / QSEE-TAS: automated test case execution on embedded software for space applications
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008