Embedded Software Testing
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. The ITASAT CubeSat Development and Design
ABSTRACT: Because they are inexpensive platforms for satellites, CubeSats have become a low-cost way for universities and even developing countries to have access to space technology. This paper presents the ITASAT design, particularly the Attitude Determination and Control Subsystem, the Onboard Software, and the Assembly, Integration and Testing program. T
J. Aerosp. Technol. Manag.. Publicado em: 2017-06
-
2. 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
-
3. 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
-
4. 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
-
5. 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
-
6. 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
-
7. Avaliação dos requisitos para teste de um sistema operacional embarcado / Testing requirements for an embedded operating system
A sociedade está cada vez mais dependente de sistemas embarcados, sendo que na grande maioria das vezes eles operam de maneira invisível aos seus usuários. Essa dependência torna esses usuários vulneráveis a riscos, devido às falhas que podem ocorrer. Essas falhas podem provocar perdas de vidas ou sérios danos materiais e financeiros. Devido a estes
Publicado em: 2009
-
8. Hardware in the loop simulation applied to semi-autonomous underwater vehicles. / Simulação com hardware in the loop aplicada a veículos submarinos semi-autônomos.
Unmanned Underwater Vehicles (UUVs) have many commercial, military, and scientific applications because of their potential capabilities and significant costperformance improvements over traditional means of obtaining valuable underwater information The development of a reliable sampling and testing platform for these vehicles requires a thorough system desig
Publicado em: 2008
-
9. QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais / QSEE-TAS: automated test case execution on embedded software for space applications
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
10. QSEE-TAS: automated test case execution on embedded software for space applications / QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
11. 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