Fault Injection
Mostrando 1-12 de 31 artigos, teses e dissertações.
-
1. Constraints from magnetotellurics on the geological structure across a seismic area associated with water wells in the Paraná basin, Brazil
ABSTRACT: The occurrence of earthquakes associated with the opening of groundwater wells is a very rare phenomenon. We present the results from a magnetotelluric profile of about 4 km-long that crosses a seismic zone near the town of Bebedouro, in the Northeastern part of the intra-cratonic Paraná basin, in Brazil. The seismic activity is thought to be caus
Braz. J. Geol.. Publicado em: 13/01/2020
-
2. FSM-Based Test Case Generation Methods Applied to Test the Communication Software on Board the ITASAT University Satellite: A Case Study
ABSTRACT: The software in satellite applications has become increasingly larger, more complex and more integrated, so its verification and validation require exploration of new approaches. In this paper we present a Model-Based Testing (MBT) approach applied to the Communication Module of the ITASAT-1 university satellite. The models are Finite State Machine
J. Aerosp. Technol. Manag.. Publicado em: 2014-12
-
3. Compiler Optimizations Impact the Reliability of the Control-Flow of Radiation-Hardened Software
ABSTRACT: This paper discusses how compiler optimizations influence software reliability when the optimized application is compiled with a technique to enable the software itself to detect and correct radiation-induced control-flow errors. Supported by a comprehensive fault-injection campaign using an established benchmark suite in the embedded systems domai
J. Aerosp. Technol. Manag.. Publicado em: 2013-09
-
4. Análise de confiabilidade de uma bomba centrífuga: aplicação na injeção de água para recuperação de petróleo
The oil industry`s need to produce with maximum efficiency, not to mention the safety and the environment aspects, encourages the optimization of processes. It makes them look for a level of excellence in acquisition of equipment, ensuring the quality without prejudice security of facilities and peoples. Knowing the reliability of equipment and that this sta
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/09/2011
-
5. Testes de robustez em web services por meio de injeção de falhas / Robustness testing of web services by means of fault injection
A crescente adoção de Arquiteturas Orientadas a Serviços e de Web Services pela indústria e pela academia vem criando novos desafios para a garantia de qualidade dos sistemas. Testes de robustez possibilitam verificar o funcionamento de um sistema quando sujeito a condições adversas de operação, como entradas inesperadas ou alta carga de requisiçõe
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/07/2011
-
6. Avaliação comparativa entre técnicas de programação defensiva aplicadas a um sistema crítico simulado. / Comparative evaluation among defensive programming techniques applied in a critical system simulated.
The introduction of software systems for critical applications raises safety issues that have long fell predominantly on the development of the hardware composing such systems. Currently, standards related to safety software qualitatively assess the impact of their use on systems sensitive to random errors. The research developed here seeks, in addition to o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/05/2011
-
7. 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
-
8. 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
-
9. 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
-
10. Modelos para injeção de falhas em ambientes móveis / Models for fault injection in mobile networks
A validação de softwares por Injeção de Falhas necessita de modelos que representem a carga de falhas com a maior precisão possível. Neste trabalho foi realizada uma revisão sobre os modelos conhecidos de falhas que ocorrem em uma rede IEEE 802.11. Com estes resultados, foram implementadas duas descrições de carga de falhas. Foram executados testes
Publicado em: 2011
-
11. Injeção de falhas de comunicação para validação de aplicações no ambiente android / Communication fault Injection for validation of applications in android environment
Dispositivos móveis como celulares, palm tops e smartphones estão cada vez mais presentes em nossas vidas. Eles estão evoluindo muito depressa e, a cada nova versão, os aparelhos são lançados com muito mais recursos. Isto proporciona novos horizontes para os desenvolvedores de software. Hoje, devido a iniciativas de alguns fabricantes, muitas empresas
Publicado em: 2011
-
12. A self-checking scheme to mitigate single event upset effects in SRAM-based FPAAs
In this work the problem of Single Event Upset (SEU) is considered in a recent analog technology: The Field Programmable Analog Arrays (FPAAs). Some FPAA models are based on SRAM memory cells to implement the user programmability, which makes this kind of device vulnerable to SEU when employed in applications susceptible to the incidence of radiation. In the
Publicado em: 2011