Embedded Generation
Mostrando 13-24 de 50 artigos, teses e dissertações.
-
13. 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
-
14. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
15. Comparative analysis of voltage regulation strategies in power distribution systems with distributed generators / Análise comparativa de estratégias para regulação de tensão em sistemas de distribuição de energia elétrica na presença de geradores distribuídos
In order to assure that the installation of distributed generation would improve the operation of distribution and subtransmission networks, its technical impacts should be carefully studied, especially in distribution networks, which were originally designed to operate with unidirectional power flow. Among these impacts, the influence of distributed generat
Publicado em: 2010
-
16. 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
-
17. 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
-
18. Árvores de Steiner: Teoria, Geração Numérica e Aplicações / Steiner trees: Theory, Numerical Generation and Applications
Given a set of points in the plane, which we call terminals, one proves that they are always connected by a minimal graph called Steiner tree. The terminals may represent main connection route points, circuit elements or network computer servers. That is, the problem is to optimize traffic among the terminals whenever this is represented by a tree of shortes
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2009
-
19. DSCam:: uma plataforma hardware-software para operações de visão computacional
The advent of integrated circuits with low power consumption and powerful processor capability, ally to many others news tecnologies, has became possible a new generation of systems with embedded inteligence, as smart-cameras. The smart-cameras are embedded vision systems that capture high-level descriptions of the scene and analyze it to extract important d
Publicado em: 2009
-
20. 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
-
21. Software synthesis for energy-constrained hard real-time embedded systems
A grande expansão do mercado de dispositivos digitais tem forçado empresas desenvolvedoras de sistemas embarcados em lidar com diversos desafios para prover sistemas complexos nesse nicho de mercado. Um dos desafios prominentes está relacionado ao consumo de energia, principalmente, devido aos seguintes fatores: (i) mobilidade; (ii) problemas ambientais;
Publicado em: 2009
-
22. Estratégias da empresa e as estruturas de marketing / Companys strategies and marketing structure
The changes in the worldwide markets and economies direct the companies to new forms of actuation, either in their strategies, or in their structures. Particularly, the marketing activities and structures gain attention in this process of adaptation, since they constitute themselves as facilitators of the interaction between the company and its environment.
Publicado em: 2009
-
23. Geração de trajetórias para veículos aéreos autônomos não-tripulados
In this work a study on the problem of the trajectory generation for unmanned aerial vehicles is carried through. The main objective is to provide tools of path planning for aerial robots, taking into account some of its main physical constraints of movement. For this, some of the more used techniques for motion planning of grounded robots are argued initial
Publicado em: 2008
-
24. STEP : planejamento, geração e seleção de auto-teste on-line para processadores embarcados / STEP : planning, generation and selection of on-line self-test for embedded processors
Sistemas embarcados baseados em processadores têm sido largamente aplicados em áreas críticas no que diz respeito à segurança de seres humanos e do meio ambiente. Em tais aplicações, que compreendem desde o controle de freio de carros a missões espaciais, pode ser necessária a execução confiável de todas as funcionalidades do sistema durante long
Publicado em: 2007