Sistemas Embarcados
Mostrando 1-12 de 209 artigos, teses e dissertações.
-
1. Técnicas de profiling para o co-projeto de hardware e software baseado em computação reconfigurável aplicadas ao processador softcore Nios II da Altera / Hardware and software codesing profiling techniques based on reconfigurable computing applied to the Altera´s Nios soft core processor
Como avanço dos paradigmas de desenvolvimento de sistemas eletrônicos, novos conceitos, modelos e técnicas resultaram dessa evolução, gerando ferramentas mais eficientes e objetivas. Entre estas, as de automação de projetos eletrônicos (EDA - Electronic Design Automation) em nível de sistema (ESL - Electronic System Level) trouxeram um incremento co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/09/2012
-
2. Arquitetura escalável de alto desempenho para atualização, acesso e recuperação de informações em bancos de dados de aplicações embarcadas
O gerenciamento remoto de múltiplos sistemas tais como máquinas operatrizes, veículos, aviões, dentre outros, demanda um fluxo bastante intenso de dados entre eles e o sistema gerenciador. Pesquisas têm sido desenvolvidas na concepção e implementação de arquiteturas escaláveis que atendam essas demandas levando a questões interessantes de desempen
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2012
-
3. Modelagem e implementação em tempo real de sistema de controle de atitude em três eixos para satélite de baixo custo
Satélites artificiais, em sua grande maioria, requerem algum tipo de sistema de controle de atitude (SCA) embarcado. A utilização de simuladores para avaliar este tipo de sistema é uma técnica bastante difundida na _área de engenharia, pois viabiliza a realização de testes de maneira rápida e a um custo menor do que utilizando ambientes com componen
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/06/2012
-
4. Reduction of energy consumption in MPSOCS through a dynamic frequency scaling technique
MPSoCs baseados em NoC têm sido empregados em sistemas embarcados devido ao seu alto desempenho, atingido através do uso de múltiplos elementos de processamento (PEs). Entretanto, a especificação da funcionalidade, agregada a especificação de requisitos de consumo de energia em aplicações móveis, pode comprometer o processo de projeto em termos de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/03/2012
-
5. Gerenciamento de configuração de uma linha de produtos de software de veículos aéreos não tripulados / Confuguration management of a unmanned aerial vehicles software product line
Veículos Aéreos não Tripulados (VANTs) são aeronaves que voam sem tripulação e são capazes de realizar diversos tipos de missões, como vigilância, coleta de dados topográficos e monitoramento ambiental. Este é um domínio que tem muito a ganhar com a aplicação da abordagem de Linha de Produtos de Software (LPS), uma vez que é rico em variabilid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2012
-
6. Evaluation of system-level impacts of a persistent main memory architecture
Por cerca de 30 anos, os sistemas de memória computacional têm sido essencialmente os mesmos: tecnologias de memória volátil de alta velocidade como SRAM e DRAM utilizadas para caches e memória principal; discos magnéticos para armazenamento persistente; e memória flash, persistente e de baixa velocidade, para armazenamento com características de bai
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/03/2012
-
7. FTT-CAN - Estudo de caso em aplicação automotiva
Este artigo apresenta uma proposta de modificação do protocolo FTT-CAN para melhorar seu desempenho para aplicações automotivas. O artigo descreve a ideia da proposta, sua implementação e validação experimental. Os resultados obtidos indicam que a modificação proposta realmente melhora o desempenho do protocolo FTT-CAN permitindo uma melhor respost
Sba Controle & Automação. Publicado em: 2012-10
-
8. Sistema integrado para desenvolvimento e execução em tempo real de algoritmos de proteção de sistemas elétricos
O artigo apresenta o desenvolvimento de um sistema integrado de software e hardware cujo objetivo é servir de plataforma para desenvolver e executar em tempo real algoritmos de proteção aplicados a sistemas elétricos. O objetivo deste sistema é reduzir o tempo de desenvolvimento de novas funções de proteção, possibilitando a execução de testes em
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-04
-
9. Virtualização de hardware e exploração da memória de contexto em arquiteturas reconfiguráveis / Hardware virtualization and investigation of context memory in reconfigurable architectures
Arquiteturas reconfiguráveis têm se demonstrado uma potencial solução para lidar com a crescente complexidade encontrada em sistemas embarcados. Para se alcançar ganhos em desempenho, é preciso uma grande redundância das unidades funcionais, acarretando o aumento da área ocupada pelas unidades funcionais. Uma das propostas deste trabalho será de exp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
10. A transparent and energy aware reconfigurable multiprocessor platform for efficient ILP and TLP exploitation
As the number of embedded applications is increasing, the current strategy of several companies is to launch a new platform within short periods, to execute the application set more efficiently, with low energy consumption. However, for each new platform deployment, new tool chains must come along, with additional libraries, debuggers and compilers. This str
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2012
-
11. Proposta de metodologia para verificação e validação software de equipamentos eletromédicos / Proposed methodology for verification and validation of medical electrical equipment
Hoje boa parte dos equipamentos eletromedicos (EEM) possui algum tipo de controle realizado por software; esse controle pode ser restrito a um ou mais subsistemas do equipamento, ou ainda ser total. A partir do momento em que o software representa papel fundamental no controle de EEM ele deixa de ser um risco intrinseco do equipamento e deve ser analisado co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2011
-
12. 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