Sistemas De Computadores Embarcados
Mostrando 13-24 de 65 artigos, teses e dissertações.
-
13. Análise de confiabilidade da CPU do satélite universitário ITASAT e proposta de melhoria.
Esta tese apresenta uma análise do computador de bordo para o satélite universitário ITASAT, propondo redundância interna de hardware nos itens críticos e comparando índices de confiabilidade entre a utilização de componentes de aplicação espacial e componentes COTS - Commercial off-the-shelf. O ITASAT consiste num projeto de desenvolvimento de um
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 18/06/2010
-
14. 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
Publicado em: 2010
-
15. Arquitetura modular de processador multicore, flexível, segura e tolerante a falhas, para sistemas embarcados ciberfísicos. / Modular multicore processor architecture, flexible, securi and fault tolerant, to embedded cyber-physical systems.
Cyber-physical Systems (CPS) are systems where there is an union between computing and physics. The CPS will be used in several areas, forming a new era of systems or devices and could be anywhere, being used by anyone and anything. Applications for CPS include highly reliable medical systems and devices, traffic control and security, advanced automotive, pr
Publicado em: 2010
-
16. Expansão da arquitetura de conjunto de instruções MIPS para suporte à robótica / Instruction set architecture expansion of the mips processor for robotics support
Arquitetura de computadores é uma área que tem se desenvolvido muito nos últimos anos, e as pesquisas são cada vez mais crescentes. Os avanços tecnológicos atuais nos permitem processar grandes quantidades de dados em pouco tempo, e também auxiliam diversas áreas do conhecimento, como a robótica. Este trabalho tem por objetivo propor a extensão da
Publicado em: 2010
-
17. Análise de confiabilidade da CPU do satélite universitário ITASAT e proposta de melhoria.
Esta tese apresenta uma análise do computador de bordo para o satélite universitário ITASAT, propondo redundância interna de hardware nos itens críticos e comparando índices de confiabilidade entre a utilização de componentes de aplicação espacial e componentes COTS - Commercial off-the-shelf. O ITASAT consiste num projeto de desenvolvimento de um
Publicado em: 2010
-
18. Método para estimativa de cadeias de atrasos a partir de um modelo de sistema computacional embarcado de tempo-real.
Aplicações computacionais embarcadas de tempo-real têm restrições temporais para atender a requisitos de segurança e confiabilidade. Uma das restrições temporais é o atraso de transporte. Os atrasos de transporte máximos e mínimos da informação, desde o seu recebimento até o seu consumo, constituem a cadeia de atrasos da informação. O objetiv
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/03/2009
-
19. Análise e implementação de um votador com abstenção para sistemas tolerantes a falhas.
Será apresentada nesta tese uma discussão sobre os aspectos de implementação de um sistema tolerante a falhas, apresentando uma arquitetura de um votador voltado ao acionamento de sistemas mecânicos/mecatrônicos que se utiliza da velocidade computacional para o controle confiável de atuadores e variáveis, considerados lentos frente à velocidade de p
Publicado em: 2009
-
20. Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementa�
Publicado em: 2009
-
21. An aspect-oriented model-driven engineering approach for distributed embedded real-time systems / Uma abordagem de engenharia guiada por modelos para o projeto de sistemas tempo-real embarcados e distribuídos
Atualmente, o projeto de sistemas tempo-real embarcados e distribuídos está crescendo em complexidade devido à sua natureza heterogênea e ao crescente número e diversidade de funções que um único sistema desempenha. Sistemas de automação industrial, sistemas eletrônicos em automóveis e veículos aéreos, equipamentos médicos, entre outros, são
Publicado em: 2009
-
22. MODDESSA: um modelo de desenvolvimento para sistemas de software autotrônicos.
Os dispositivos eletrônicos, diariamente, estão presentes na vida dos seres humanos. Também encontrados em automóveis, onde recebem a denominação de Autotrônica, seu uso vem aumentando a cada modelo de veículo lançado no mercado. Esses dispositivos vêm apresentando funcionalidades mais complexas e críticas. Alguns dos dispositivos autotrônicos pr
Publicado em: 2009
-
23. UMA PROPOSTA DE ARQUITETURA DE PILHA DE COMUNICAÇÃO EM REDE COM UM NÚMERO REDUZIDO DE CAMADAS / A NOVELL NETWORK STACK ARCHITECTURE WITH REDUCED NUMBER OF LAYERS
Este trabalho apresenta uma proposta arquitetura de pilha de comunicação em rede com número reduzido de camadas. A redução do número de camadas visa fornecer um método de comunicação simples e eficaz para sistemas embarcados permitindo que o microprocessador, onde geralmente a Camada de Aplicação é implementada, execute apenas código de aplicaç
Publicado em: 2009
-
24. Proposta de metodologia para utilização de componentes não qualificados em sistemas microprocessados para aplicações espaciais.
As memórias são de fundamental importância no computador de bordo de um satélite, uma vez que são responsáveis por armazenar as informações necessárias para o funcionamento correto do mesmo, além dos dados coletados pela carga útil do satélite. Este trabalho propõe uma metodologia e aplicação da mesma em um sistema de memória, de tal forma qu
Publicado em: 2009