Model Checking
Mostrando 13-24 de 87 artigos, teses e dissertações.
-
13. Modelagem e verificação formal do software embarcado de um simulador de satélite
Este trabalho tem como objetivo a análise da aplicação de métodos formais para a modelagem e verificação de produtos de software embarcado para aplicações aeroespaciais de tempo-real. Como abordagem para modelagem, utilizam-se autômatos temporizados e a ferramenta UPPAAL. A verificação do modelo construído é realizada por meio da abordagem de mo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
14. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
15. Composição e variabilidade enantiomérica de α-pineno em Constrictotermes cyphergaster (Silvestri, 1901) (Isoptera; Termitidae) / Composition and enantiomeric variability of α-pinene in Constrictotermes Cyphergaster (Silvestri, 1901) (Isoptera; Termitidae)
Termites are eusocial insects of isoptera order that part in seven families. In this study we analyze the chirality of α-pinene in the defensive secretion that C. cyphergaster (Isoptera, Termitidae, Nasutitermitinae) this compound showed that among the majority of termite volatile. Along with checking the chirality was made a study seeking to correlate
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
16. Composição e variabilidade enantiomérica de α-pineno em Constrictotermes cyphergaster (Silvestri, 1901) (Isoptera; Termitidae) / Composition and enantiomeric variability of α-pinene in Constrictotermes Cyphergaster (Silvestri, 1901) (Isoptera; Termitidae)
Termites are eusocial insects of isoptera order that part in seven families. In this study we analyze the chirality of α-pinene in the defensive secretion that C. cyphergaster (Isoptera, Termitidae, Nasutitermitinae) this compound showed that among the majority of termite volatile. Along with checking the chirality was made a study seeking to correlate
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
17. Um estudo sobre tensões induzidas por descargas atmosféricas em linhas de transmissão
The study of lightning and the resulting induced voltages is very important in the process of designing of transmission lines. In this work it will be presented problems that can be caused by such phenomenon in electrical systems, as a consequence of these voltages peaks. A analysis of the characterization of atmospheric discharge is performed in order to un
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/09/2011
-
18. Redes sociais formadas no fenômeno do pânico em multidão: uma análise via simulação multiagentes / Social networks formed in the phenomenon of panic in the crowd: an analysis via multi-agent simulation
Complex Networks are used in several areas of knowledge. In Sociology, a notorious area which is increasingly attracting attention due to the popularity is the Social Networks. Not much is known about the structuring of these networks in a noninstitutionalizeds behaviors, called collectives behaviors. This paper proposes a conceptual model, which has not bee
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/07/2011
-
19. Análise quantitativa da ocorrência de imagens de produtos na bibliografia de design para verificação de fidedignidade do conjunto destas imagens como representação do campo de atividade do design de produto / A quantitative analysis of design products images apearing in design literature, verifiyng if they constitute the true picture of the field of product design
Since, presently, there is no consensus with regard to various definitions of the concepts of \"design\" and \"product design\", the boundaries of the product designers\ field are perceived and shaped, to a great extent, by visual examples supplied by books, magazines and newspapers that are accessible to the general public, as well as to students, designers
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/04/2011
-
20. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
21. Contribuições do model checking e da metodologia CoFi para o software embarcado espacial.
A crescente participação do software embarcado nas causas dos últimos acidentes espaciais evidencia a importância dos processos e técnicas de verificação e validação no desenvolvimento do software embarcado espacial. Neste contexto, este trabalho investiga a contribuição de duas técnicas de verificação para aplicações espaciais. A primeira t�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/02/2011
-
22. Some issues in real-time systems verification using time Petri Nets
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim that most of these techniques are useful for real-time system verification can be discussed, based on two assumptions: i) to be suitable for real-time systems verification, a technique must be able to check timing properties, both
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
23. Design of self-checking fully differential circuits and boards
A design methodology for on-line testing analog linear fully differential (FD) circuits is presented in this work. The test strategy is based on concurrently monitoring via an analog checker the common mode (CM) at the inputs of all amplifiers. The totally self-checking (TSC) goal is achieved for linear FD implementations provided that the checker CM thresho
Publicado em: 2011
-
24. Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
O desenvolvimento de sistemas distribuídos e protocolos de comunicação é uma tarefa complexa e o uso de técnicas de especificação e verificação formal torna-se necessário para garantir a corretude de tais sistemas. Enquanto técnicas de model-checking passam pelo problema da explosão do espaço de estados, o uso de provadores de teoremas represent
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/03/2010