Verificacao Automatica
Mostrando 25-36 de 51 artigos, teses e dissertações.
-
25. QSEE-TAS: automated test case execution on embedded software for space applications / QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais
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
-
26. Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/E
Publicado em: 2007
-
27. Simulação hidrológica de grandes bacias
O comportamento hidrológico de grandes bacias envolve a integração da variabilidade espacial e temporal de um grande número de processos. No passado, o desenvolvimento de modelos matemáticos precipitação – vazão, para representar este comportamento de forma simplificada, permitiu dar resposta às questões básicas de engenharia. No entanto, estes
Publicado em: 2007
-
28. Um metamodelo da linguagem de modelagem real time UML, de suporte à criação de dicionário de dados para ferramentas de modelagem de sistema tempo real, visando a verificação de consistência dos modelos
A computação de tempo real é uma das áreas mais desafiadoras e de maior demanda tecnológica da atualidade. Está diretamente ligada a aplicações que envolvem índices críticos de confiabilidade e segurança. Estas características, inerentes a esta área da computação, vêm contribuindo para o aumento da complexidade dos sistemas tempo real e seu c
Publicado em: 2007
-
29. Análise da distribuição de um simulador multinível
A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico,
Publicado em: 2007
-
30. Functional timing analysis of VLSI circuits containing complex gates
Os recentes avanços experimentados pela tecnologia CMOS tem permitido a fabricação de transistores em dimensões submicrônicas, possibilitando a integração de dezenas de milhões de dispositivos numa única pastilha de silício, os quais podem ser usados na implementação de sistemas eletrônicos muito complexos. Este grande aumento na complexidade do
Publicado em: 2007
-
31. Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes s
Publicado em: 2007
-
32. Calculation of weight from step impacts, using a piezoelectric sensor / Determinação da força peso, a partir dos impactos de pisadas, utilizando um sensor piezoeletrico
Este trabalho está relacionado com o problema da pesagem de um bovino criado em campo aberto, não confinado, destinado ao corte. O conhecimento da evolução contínua do peso do animal é de grande importância neste ramo de negócios e uma solução tecnicamente satisfatória, de custo aceitável e de tecnologia proprietária, certamente representa uma s
Publicado em: 2007
-
33. Desenvolvimento de aplicações paralelas a partir de modelos em gramática de grafos baseada em objetos
No desenvolvimento de aplicações paralelas, além da análise de aspectos ligados ao desempenho, torna-se também importante a análise das propriedades funcionais do sistema para garantir, por exemplo, que a estratégia de paralelização escolhida é adequada ao problema sendo abordado, ou que ela pode convergir para um resultado esperado, ou mesmo para
Publicado em: 2006
-
34. Geração automatica de montadores em ArchC / Automatic generation of assemblers using ArchC
Projetistas de sistemas dedicados enfrentam atualmente novos desafios em todas as fases do projeto. A difusão da tecnologia conhecida como SoC (System on a Chip) requer novos paradigmas para a especificação, implementação e verificação do projeto. A alta complexidade de tais sistemas e a grande variedade de configurações disponíveis podem tornar a
Publicado em: 2005
-
35. Um metodo de testes para componentes tolerantes a falhas
Componentes de software são cada vez mais utilizados no desenvolvimento de sistemas computacionais, incluindo sistemas críticos, dados os benefícios de redução de custo e tempo de desenvolvimento através da reutilização de código. A garantia da qualidade, porém, continua dependente da realização de testes a cada novo contexto, e é dificultada es
Publicado em: 2005
-
36. Identificação de faces humanas através de PCA-LDA e redes neurais SOM / Identification of human faces based on PCA - LDA and SOM neural networks
O uso de dados biométricos da face para verificação automática de identidade é um dos maiores desafios em sistemas de controle de acesso seguro. O processo é extremamente complexo e influenciado por muitos fatores relacionados à forma, posição, iluminação, rotação, translação, disfarce e oclusão de características faciais. Hoje existem muita
Publicado em: 2005