Sistemas Embarcados Criticos
Mostrando 1-9 de 9 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. 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
-
3. Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos / Study and Definition of a Methodology for Software Testing in the Context of Critical Embedded Systems
A computação ganha cada vez mais espaço em aplicações embarcadas críticas e, dependendo do software, seu mau funcionamento pode provocar desde um grave prejuízo financeiro até a perda de vidas humanas. Considerando este cenário, é apresentado uma revisão sistemática com o objetivo de investigar a evolução dos trabalhos relacionados a atividade
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/07/2011
-
4. Study and Definition of a Methodology for Software Testing in the Context of Critical Embedded Systems / Estudo e Definição de uma Metodologia de Teste de Software no Contexto de Sistemas Embarcados Críticos
A computação ganha cada vez mais espaço em aplicações embarcadas críticas e, dependendo do software, seu mau funcionamento pode provocar desde um grave prejuízo financeiro até a perda de vidas humanas. Considerando este cenário, é apresentado uma revisão sistemática com o objetivo de investigar a evolução dos trabalhos relacionados a atividade
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/07/2011
-
5. Plataforma para injeção de ruído eletromagnético conduzido em circuitos integrados
O crescente número de sistemas computacionais embarcados nos mais diversos segmentos de nossa sociedade, desde simples bens de consumo até aplicações críticas, intensificou o desenvolvimento de novas metodologias de teste, de técnicas de tolerância a falhas, bem como de novos paradigmas de implementação, capazes de garantirem a confiabilidade e a ro
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2010
-
6. 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
-
7. Integrated model-based design and simulation of critical embedded systems / Projeto e simulação integrados baseados em modelos para sistemas embarcados críticos
A partir da introdução do sistema de controle fly-by-wire nos programas Concorde e A320 de aviação civil, a complexidade dos sistemas aviônicos embarcados aumenta constantemente. A operação dos aviões atuais e futuros é fortemente dependente para seu funcionamento dos seus sistemas aviônicos embarcados. A inovação em termos de computação dessa
Publicado em: 2010
-
8. Detecção de falhas em processadores VLIW
A proposta deste trabalho é a de fornecer um método de confiabilidade de baixo cus-to para processadores VLIW, mesclando modificações no código das aplicações e no hardware do processador alvo. O método foi aplicado ao processador ρ-VEX, processa-dor VLIW embarcado soft-core desenvolvido na TU Delft (Delft University of Techno-logy). A técnica de b
Publicado em: 2010
-
9. 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