Embedded Software
Mostrando 25-36 de 119 artigos, teses e dissertações.
-
25. Metodologia de projeto de software embarcado voltada ao teste
Devido ao crescente incremento de complexidade do software embarcado atual, dada a abundância de recursos disponíveis de hardware, está cada vez mais difícil manter a qualidade do software embarcado desenvolvido sem incorrer em aumentos de custo que inviabilizem o projeto. Com isto, o teste de software embarcado é atualmente uma importante área de pesq
Publicado em: 2011
-
26. New techniques for improving the performance of the lockstep architecture for SEEs mitigation in FPGA embedded processors
The growing availability of embedded processors inside FPGAs provides unprecedented flexibility for system designers. The use of such devices for space or mission critical applications, however, is being delayed by the lack of effective low cost techniques to mitigate radiation induced errors. In this paper a non invasive approach for the implementation of f
Publicado em: 2011
-
27. Geração automática de código para agentes SNMP e CLI / Automatic code generation for SNMP agents and CLI: software engineering applied to embedded systems
O processo de desenvolvimento de software embarcado exige cada vez mais atenção, devido ao aumento constante na complexidade, além do alto custo de manutenção dos equipamentos uma vez em campo. As técnicas tradicionais de engenharia de software não são suficientes para lidar com os requisitos não funcionais do projeto de sistemas embarcados, tais co
Publicado em: 2011
-
28. Desenvolvimento de software de simulação da solidificação de aços no processo de lingotamento contínuo de tarugos / Development of simulation software for the continuous casting process of steel billets
The development and application of simulation software for the continuous casting process is proposed in this work. The heat transfer and solidification models were validated with experimental results of temperature measurements in an industrial plant as well as with steel billets samples. Thermocouples embedded in the mold walls were used to measure tempera
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
29. Sistema embarcado para aquisição de imagens astronômicas. / Embedded system for astronomical images acquisition.
Neste trabalho são apresentados os resultados obtidos no desenvolvimento de um sistema eletrônico embarcado dedicado à aquisição de imagens astronômicas. Este sistema é composto principalmente por uma câmera científica astronômica, que abriga um detector de imagem do tipo EMCCD, e por um controlador eletrônico utilizado para a operação e leitura
Publicado em: 2011
-
30. Uma abordagem em arquitetura conduzida por modelos aplicada a software embarcado de tempo real espacial / An approach to model-driven architecture applied to space embedded real time software
Real time embedded software are applied on space missions, however its development lacks more robust techniques to accomplish requirements more wide and complex, to improve its easiness for execution of tests and integration, beyond increasing time-to-market. Aligned with Model-Driven Architecture the current work proposes an approach to describe real time e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/11/2010
-
31. Identifying dependability requirements for space software systems
Abstract: Computer systems are increasingly used in space, whether in launch vehicles, satellites, ground support and payload systems. Software applications used in these systems have become more complex, mainly due to the high number of features to be met, thus contributing to a greater probability of hazards related to software faults. Therefore, it is fun
J. Aerosp. Technol. Manag.. Publicado em: 2010-12
-
32. Comparison between two tomographic sections in the diagnosis of external root resorption
OBJECTIVES: To assess the accuracy of coronal and sagittal CT sections to detect cavities simulating root resorption. MATERIAL AND METHODS: 60 mandibular incisors were embedded in plaster bases, and cavities with 0.6, 1.2 or 1.8 mm in diameter and 0.3, 0.6 or 0.9 mm in depth (small, medium and large cavities) were drilled on the buccal surfaces with high-spe
Journal of Applied Oral Science. Publicado em: 2010-06
-
33. An approach for embedded software generation based in declarative alloy models / Uma abordagem para geração de software embarcado baseada em modelos declarativos alloy
Este trabalho propõe uma nova abordagem para o desenvolvimento de sistemas embarcados, através da combinação da abstração e propriedades de verificação de modelos da linguagem declarativa Alloy com a ampla aceitação de Java na indústria. A abordagem surge no contexto de que a automação de software no domínio embarcado tornou-se extremamente nec
Publicado em: 2010
-
34. Metodologia de avaliação estratégica do software embarcado em receptores de TV digital / Strategic evaluation methodology for embedded software on digital television set-top boxes
Metodologias de avaliação estratégica têm sido utilizadas nos diversos campos do conhecimento humano, especialmente na área de engenharia e tecnologia, como ferramentas para identificar e entender as questões relacionadas à ciência, tecnologia e inovação. A rápida evolução tecnológica aliada às alterações nos modelos de negócios, provocadas
Publicado em: 2010
-
35. Teste integrado de software e hardware : reusando casos de teste de software em teste de microprocessadores / Integrated test of software and hardware: reusing software test cases to test of microprocessor
Sistemas embarcados estão mais complexos e são cada vez mais utilizados em contextos que exigem muitos recursos computacionais. Isso significa que o hardware embarcado pode ser composto por vários processadores, memórias, partes reconfiguráveis e ASIPs integrados em um único silício. Adicionalmente, o software embarcados pode conter muitas rotinas de
Publicado em: 2010
-
36. Hardware/Software codesign of particle filter for real time localization of mobile robots / Co-projeto de hardware/software do filtro de partículas para localização em tempo real de robôs móveis
Sophisticated techniques for estimation of models based on simulation, particle filters or Sequential Monte Carlo Methods, were recently used to solve many difficult problems in the field of mobile robotics. However, the success of particle filters was limited to the computation of parameters in low dimensionality spaces. The current research efforts in mobi
Publicado em: 2010