Maquinas De Estados Finitos
Mostrando 1-12 de 18 artigos, teses e dissertações.
-
1. Infraestrutura de compilação para a implementação de aceleradores em FPGA
O aumento no desempenho de processadores sequenciais tem sido limitado severamente por fatores físicos e tecnológicos nos últimos anos. Dessa forma, abordagens alternativas para a execução com alto desempenho ganharam maior importância nos últimos anos. Uma delas baseia-se na utilização de hardware customizado, implementado utilizando-se FPGAs. Entr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/11/2012
-
2. Conjunto de características para teste de desempenho: uma visão a partir de modelos
O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automação do teste de software por meio do reuso de artefatos de software, e.g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de geração e execução dos casos de teste, tornando mais eficiente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
3. Uma abordagem evolutiva multiobjetivo para geração automática de casos de teste a partir de máquinas de estados / A multi-objective evolutionary approach for automatic generation of test cases from state machines
A geração automática de casos de teste contribui tanto para melhorar a produtividade quanto para reduzir esforço e custo no processo de desenvolvimento de software. Neste trabalho é proposta uma abordagem, denominada MOST (Multi-Objective Search-based Testing approach from EFSM), para gerar casos de teste a partir de Máquina de Estados Finitos Estendid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/07/2011
-
4. A WSN PROGRAMMING MODEL WITH A DYNAMIC RECONFIGURATION SUPPORT / UM MODELO DE PROGRAMAÇÃO PARA RSSF COM SUPORTE À RECONFIGURAÇÃO DINÂMICA DE APLICAÇÕES
Algumas características básicas das redes de sensores sem fio (RSSF) dificultam as tarefas de criação e reconfiguração de aplicações. Nesse trabalho apresentamos um modelo de programação que pretende simplificar essas tarefas. O modelo se baseia no uso conjunto de funções parametrizáveis e de máquinas de estados finitos, e permite a implementa�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/04/2011
-
5. Processador gráfico / Graphic processor
Este documento descreve o projeto e implementação de um processador gráfico, um interpretador de closed caption e demultiplexador de MPEG2-TS para uso no Sistema Brasileiro de Televisão Digital (SBTVD). O projeto será realizado em duas fases, sendo que a primeira envolve a programação de uma versão utilizando a linguagem C++ para cada um dos componen
Publicado em: 2011
-
6. Geração automática de casos de testes para máquinas de estados finitos / Automatic test case generation for finite state machines
Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetiv
Publicado em: 2010
-
7. Avaliação de desempenho de partes de controle de circuitos integrados
Este trabalho objetiva o estudo da avaliação de desempenho de partes de controle de circuitos integrados, em relação ao consumo de área em silício e atraso de propagação de sinais. Para a implementação são adotados dois diferentes estilos de leiaute (PLA e gate matrix). Para ambos os casos foi utilizado um conjunto único de regras de projeto. A a
Publicado em: 2010
-
8. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
9. Planejamento estrutural e simulação de partes de controle de circuitos integrados
Este trabalho tem como objetivo principal apresentar o estudo comparativo de diversas arquiteturas para a implementação de partes de controle de sistemas digitais, propondo um método de concepção orientado para a etapa de síntese no domínio estrutural. E apresentada uma descrição geral dos sistemas digitais que aborda os seguintes aspectos: a classi
Publicado em: 2010
-
10. Modeling and implementation of supervisory control systems based on state machines with outputs / Modelagem e implementação de sistemas de controle supervisório baseados em máquinas de estados com saídas
Este trabalho apresenta uma nova metodologia para a modelagem de sistemas de controle supervisório baseados em máquinas de estados com saídas, obtidas a partir dos autômatos que representam os supervisores encontrados com o uso da Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs). Procedimentos como este são úteis para criar
Publicado em: 2009
-
11. An approach to incompletely specified finite state machine minimization / Uma estratégia para a minimização de máquinas de estados finitos parciais
Finite State Machines are largely used on Software Engineering to model systems specifications. In these models, designers may inadvertently include redundant states, i.e., states which exhibit the same input/output behavior. The absence of such states brings benefits to the modeling activities, reducing the complexity and taking less physical resources on i
Publicado em: 2009
-
12. Minimização de conjuntos de casos de teste para máquinas de estados finitos / Teste suite minimization for finite state machines
THE Model-based testing aims at generating test suites from formal specifications, such as Finite State Machines. Test suites can be obtained either from classical test derivation methods or from some ad-hoc approach. It is desirable to produce a test suite which detects all possible faults of an implementation and has small size, so that its application can
Publicado em: 2008