Software Embarcado
Mostrando 1-12 de 70 artigos, teses e dissertações.
-
1. Sistema automatizado para coleta de dados de umidade relativa e temperatura do ar
Algumas variáveis climáticas, tais como a temperatura do ar (T) e a umidade relativa do ar (UR) exercem grande influência sobre a produção agrícola. Uma vez combinadas adequadamente, podem resultar em incrementos quantitativos e qualitativos do produto final, o que as tornam indispensáveis no monitoramento e manejo dentro do ambiente de produção. A
Eng. Agríc.. Publicado em: 2014-08
-
2. Abordagem para criação de linguagens específicas de domínio para robótica móvel
Robôs móveis autônomos são máquinas com potencial para realizar atividades repetitivas ou de alta periculosidade com mais eficácia. Muitos possuem um software embarcado responsável pelo seu funcionamento. Nos últimos anos, a complexidade dessas aplicações robóticas embarcadas tem crescido continuamente e apresentam desafios que são incomuns ao de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/11/2012
-
3. PRECISÃO E ACURÁCIA PLANIMÉTRICA DO RECEPTOR GPS GSTAR GS-87: APLICABILIDADE EM TECNOLOGIA DE INFORMAÇÃO EMBARCADA PARA SISTEMAS AGRÍCOLAS
O uso de informações georreferenciadas na agricultura de precisão tem crescido muito na última década. Além disso, o decréscimo do custo dos equipamentos de recepção GPS tem tornado possível o seu uso por produtores agrícolas que estavam distantes de tal tecnologia. Esta pesquisa objetiva avaliar a precisão e acurácia de receptor GPS modelo Gsta
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/07/2012
-
4. 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
-
5. WEBLAB com plantas reais para o ensino de engenharia de controle
Este trabalho apresenta a proposta e uma implementação de uma arquitetura genérica de WEBLAB a ser usada para o ensino de engenharia de controle. O WEBLAB proposto tem como objetivo a execução remota de um experimento de controle em malha fechada de uma planta real usando tecnologia Internet, hardware de baixo custo e software de código-aberto e livre.
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/12/2011
-
6. 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
-
7. 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
-
8. Aplicabilidade de sistemas operacionais de tempo real (RTOS) para sistemas embarcados de baixo custo e pequeno porte / Real-time operating system aplicability for small and low cost embedded systems
Sistemas embarcados ganham cada vez mais espaço devido ao aumento da demanda por novas funções em equipamentos, às normas regulatórias e às novas necessidades dos consumidores e do mercado. Esse aumento nos requisitos aumenta o tamanho e a complexidade dos softwares embarcados cuja importância cresce significativamente. Sistemas operacionais de tempo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/07/2011
-
9. Uma abordagem apoiada por linguagens especificas de domínio para criação de linhas de produtos de software embarcado
Embedded systems have been used in a myriad of devices that are present in our daily lives, thereby the market for such sort of system has increased significantly over the last few years. These systems were once associated with low-level code, however, this is an outdated view of embedded systems technology. Although the current embedded systems are mostly c
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/05/2011
-
10. Técnica de detecção de falhas de escalonamento de tarefas em sistemas embarcados baseados em sistemas operacionais de tempo real
A alta complexidade dos sistemas de tempo real aumentou significativamente a necessidade da utilização de Sistemas Operacionais de Tempo Real (RTOS - Real Time Operating System) com o objetivo de simplificar o projeto dos mesmos. Neste contexto, sistemas embarcados baseados em RTOS exploram uma série de funcionalidades e facilidades inerentes ao mesmo, ta
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/03/2011
-
11. 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
-
12. 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