Experimental evaluation of a COTS system for space applications

Madeira, Henrique; Some, Raphael; Moreira, F.; Costa, D.; Rennels, D. A.

doi:10.1109/dsn.2002.1028916

Cited by 46 publications

(17 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Most faults injected into the system either had no effect or caused a process to crash. This result is consistent with fault injection experiments performed on other systems (Madeira et al, 2002).…”

Section: Fault Tolerance Validation Using Fault Injectionsupporting

confidence: 82%

See 1 more Smart Citation

CoRAL: A transparent fault-tolerant web service

Aghdaie¹,

Tamir²

2009

Journal of Systems and Software

View full text Add to dashboard Cite

The Web is increasingly used for critical applications and services. We present a client-transparent mechanism, called CoRAL, that provides high reliability and availability for Web service. CoRAL provides fault tolerance even for requests being processed at the time of server failure. The scheme does not require deterministic servers and can thus handle dynamic content. CoRAL actively replicates the TCP connection state while maintaining logs of HTTP requests and replies. In the event of a primary server failure, active client connections fail over to a spare, where their processing continues seamlessly.We describe key aspects of the design and implementation as well as several performance optimizations.Measurements of system overhead, failover performance, and preliminary validation using fault injection are presented.

show abstract

Section: Fault Tolerance Validation Using Fault Injectionsupporting

confidence: 82%

“…Fault injection experiments on other systems (Madeira et al, 2002) have shown that most transient hardware faults either have no effect, cause a process to crash, or cause the entire node to crash. In practice faults are infrequent.…”

Section: Assumptionsmentioning

confidence: 99%

CoRAL: A transparent fault-tolerant web service

Aghdaie¹,

Tamir²

2009

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…Madeira et al [26] focused on physically induced errors to evaluate the use of COTS systems for space applications. Randomly distributed faults have been injected into both registers and memory of a system running LynxOS, a POSIX conform RTOS.…”

Section: Related Workmentioning

confidence: 99%

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs

Hoffmann

Borchert

Dietrich

et al. 2014

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

View full text Add to dashboard Cite

Abstract-Developers of embedded (real-time) systems can choose from a variety of operating systems. While some embedded operating systems provide very flexible APIs, e.g., a POSIXcompliant interface for run-time management, others have a completely static structure, which is generated at compile time by utilizing detailed application knowledge. A prominent example for the latter class from the domain of automotive operating systems is OSEK/OS and its successor AUTOSAR/OS. As we have shown in previous work, the design of the operating system has a strong impact on its vulnerability for system failure caused by hardware faults. This observation is gaining importance, because there is an ongoing trend towards low-power and low-cost, yet less reliable, hardware. This work quantifies the difference in vulnerability for soft errors in main memory of a flexible (dynamic) operating systems (eCos) and a static system (CiAO), which has an OSEK-compliant structure. We also analyze the additional degree of robustness that is achieved by hardening an operating system with software-based and hardware-based faulttolerance measures and the corresponding costs. Covering this design space gives developers a better chance for good design decisions with respect to the trade-off between fault tolerance, resource consumption, and interface convenience. Our results indicate that with a combination of hardware-and softwarebased fault-tolerance measures, silent data corruptions in both operating systems can be reduced to below one percent (compared to eCos). However, the analyzed fault-tolerance mechanisms are expensive for the dynamic system, whereas the statically designed operating system can be hardened at much lower price.

show abstract

“…nineties, Kao et al [26] injected memory faults into the kernel address space of a UNIX operating system. Fabre et al [27] performed similar fault-injection experiments with a microkernel operating system, and so did Madeira et al [28] with a UNIX-like real-time operating system. More recently, the Linux kernel has been analyzed [29], [30].…”

Section: A Susceptibility Analyses Of Operating Systems To Memory Ermentioning

confidence: 95%

Generative software-based memory error detection and correction for operating system data structures

Borchert¹,

Schirmeier²,

Spinczyk³

2013

2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

Abstract-Recent studies indicate that the number of system failures caused by main memory errors is much higher than expected. In contrast to the commonly used hardware-based countermeasures, for example using ECC memory, softwarebased fault-tolerance measures are much more flexible and can exploit application knowledge, such as the criticality of specific data structures. This paper presents a software-based memory error protection approach, which we used to harden the eCos operating system in a case study. The main benefits of our approach are the flexibility to choose from an extensible toolbox of easily pluggable error detection and correction schemes as well as its very low runtime overhead, which totals in a range of 0.09-1.7 %. The implementation is based on aspect-oriented programming and exploits the object-oriented program structure of eCos to identify well-suited code locations for the insertion of generative fault-tolerance measures.

show abstract

Experimental evaluation of a COTS system for space applications

Cited by 46 publications

References 7 publications

CoRAL: A transparent fault-tolerant web service

CoRAL: A transparent fault-tolerant web service

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs

Generative software-based memory error detection and correction for operating system data structures

Contact Info

Product

Resources

About