Sistemas De Computadores Embarcados
Mostrando 1-12 de 65 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. Extração do conhecimento contido em ocorrências no transporte coletivo urbano usando árvores de decisão
O presente trabalho tem como objetivo extrair conhecimento de um banco de dados que contém as mensagens de alerta geradas pelos computadores embarcados instalados nos veículos de uma grande frota usada no transporte coletivo urbano na cidade de São Paulo. Para tal foi aplicada a técnica de aprendizado de árvores de decisão. Nos experimentos foram usado
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/12/2011
-
4. Serviços de comunicação diferenciados em sistemas multiprocessados em chip baseados em redes intra-chip
Sistemas multiprocessados em chip (MPSoCs - Multiprocessor Systems-on-Chip) estão sendo considerados como provável padrão para implementar os sistemas embarcados futuros. O poder computacional destas plataformas possibilita a execução simultânea de diversas aplicações com diferentes requisitos. O emprego de redes intrachip (NoCs Networks-on-Chip) com
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
5. Métodos formais algébricos para geração de invariantes / Algebraic formal methods for invariant generation
É bem sabido que a automação e a eficácia de métodos de verificação formal de softwares, sistemas embarcados ou sistemas híbridos, depende da facilidade com que invariantes precisas possam ser geradas automaticamente a partir do código fonte. Uma invariante é uma propriedade, especificada sobre um local específico do código fonte, e que sempre se
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
6. Identificação da dinâmica e controle por alocação de autoestrutura para pouso automático de Mini-VANT em pista curta com aproximação 3D
Este trabalho propõe e avalia, através de simulação, um sistema de controle multivariável para o pouso automático de um mini-VANT em pista curta valendo-se de tubo de pitot, sensores girométricos, GPS, altímetro-pressão e altímetro-ultrassom embarcados. A manobra visa automatizar o procedimento de pouso realizado por piloto experiente de aeromodelo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
7. Arquitetura TBoot para inicialização confiável de sistemas dedicados
Alguns problemas em engenharia de segurança de informações não podem ser resolvidos somente por software: um hardware confiável (trusted hardware) é necessário para garantir mecanismos de inicialização segura. Uma entidade é considerada confiável se sempre opera conforme esperado. Para converter uma plataforma convencional em confiável, é necess
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/03/2011
-
8. 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
-
9. 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
-
10. Comparação entre Protocolos TTP/C e flexray utilizando uma aplicação brake-by-wire.
O trabalho apresenta uma comparação entre protocolos de comunicação tolerantes a falha, TTP/C e Flexray, utilizando um simulador de tempo real, propondo modelar uma aplicação brake-by-wire tolerante a falhas que gere uma intensa troca de dados validando a comparação. O presente trabalho toma como base um modelo de um sistema de freio antitravamento (
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2010
-
11. Comparação entre Protocolos TTP/C e flexray utilizando uma aplicação brake-by-wire.
O trabalho apresenta uma comparação entre protocolos de comunicação tolerantes a falha, TTP/C e Flexray, utilizando um simulador de tempo real, propondo modelar uma aplicação brake-by-wire tolerante a falhas que gere uma intensa troca de dados validando a comparação. O presente trabalho toma como base um modelo de um sistema de freio antitravamento (
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2010
-
12. Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos.
Esta pesquisa aborda a concepção e implementação do Método de Esqueletotipação, visando aumentar a qualidade das transformações de modelos em códigos-fonte no desenvolvimento de software embarcado baseado em modelos. A partir da experimentação em um estudo de caso de sistemas embarcados, envolvendo três experimentos, foi possível constatar tant
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/07/2010