Automatos Temporizados
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. 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
-
4. Proposta de arquitetura de software de controle para efetuador robótico multifuncional.
O mercado aeronáutico tem se tornado cada vez mais competitivo. Este cenário tem pressionado as fabricantes de aeronaves a buscarem soluções inovadoras para aumentar a eficácia de seus processos de fabricação. Neste contexto surgiu o projeto AME (Automação da Montagem Estrutural de aeronaves), uma parceria entre o ITA e a EMBRAER para pesquisa e des
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/12/2010
-
5. Proposta de arquitetura de software de controle para efetuador robótico multifuncional.
O mercado aeronáutico tem se tornado cada vez mais competitivo. Este cenário tem pressionado as fabricantes de aeronaves a buscarem soluções inovadoras para aumentar a eficácia de seus processos de fabricação. Neste contexto surgiu o projeto AME (Automação da Montagem Estrutural de aeronaves), uma parceria entre o ITA e a EMBRAER para pesquisa e des
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/12/2010
-
6. Gungnir uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados. / Gungnir A tool for executing and generating conformance tests using timed automatas.
Oobjetivo neste trabalho é aumentar a confiança no funcionamento de sistemas da automação através do uso de uma ferramenta de geração e execução automática de testes de conformidade. A ferramenta desenvolvida chama-se Gungnir e utiliza modelos formais, cujo padrão utilizado é o formalismo de Autômato Temporizado (AT). Os sistemas de controle sã
Publicado em: 2010
-
7. Animação bidimensional para World Wide Web baseada em autômatos finitos
Este trabalho aplica a Teoria de Autômatos na proposição de uma nova alternativa para prover animações 2D na World Wide Web, verificando as contribuições alcançadas para as questões relacionadas ao espaço de armazenamento, reutilização e manutenção do conteúdo e suporte à recuperação de informação. Para este objetivo, é proposto o modelo
Publicado em: 2007
-
8. Synthesis of supervisors for time-varying discrete event systems
O autômato com temporização variável é introduzido nesse artigo para modelar sistemas a eventos discretos. A estrutura desse autômato é bastante similar à estrutura do autômato (max,+), mas apresentando tempos de vida variáveis. Baseado nesse autômato o projeto de supervisores temporizados é obtido por meio da álgebra de dióides, onde as lingua
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2004-12