Diagnosis of Embedded Software Using Program Spectra

Zoeteweij, Peter; Abreu, Rui; Golsteijn, Rob; Gemund, Arjan J. C. van

doi:10.1109/ecbs.2007.31

Cited by 31 publications

(21 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The diagnoses techniques developed within Trader are based on so-called program spectra [20]. The approach has already been applied to a few examples in the TV domain.…”

Section: Diagnosismentioning

confidence: 99%

Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma¹,

Hooman²

2008

2008 Design, Automation and Test in Europe

View full text Add to dashboard Cite

show abstract

“…The diagnoses techniques developed within Trader are based on so-called program spectra [20]. The approach has already been applied to a few examples in the TV domain.…”

Section: Diagnosismentioning

confidence: 99%

Dependability for high-tech systems: an industry-as-laboratory approach

Brinksma¹,

Hooman²

2008

2008 Design, Automation and Test in Europe

View full text Add to dashboard Cite

show abstract

“…As the spectra are captured by automatic profiling, and as the test oracles are readily implemented from existing specifications, no modeling effort is required. Benchmark studies, as well as case studies by the authors diagnosing embedded software (100 KLOC) from Philips Semiconductors (now NXP) have shown promising results [5], [6], [7]. Recently, a model-based approach to SFL has been presented [8] where the statistical approach has been replaced by a reasoning approach.…”

Section: Introductionmentioning

confidence: 99%

Automatic systems diagnosis without behavioral models

Gupta

Abreu

Kleer

et al. 2014

2014 IEEE Aerospace Conference

Self Cite

View full text Add to dashboard Cite

Abstract-Recent feedback obtained while applying Modelbased diagnosis (MBD) in industry suggests that the costs involved in behavioral modeling (both expertise and labor) can outweigh the benefits of MBD as a high-performance diagnosis approach. In this paper, we propose an automatic approach, called ANTARES, that completely avoids behavioral modeling. Decreasing modeling sacrifices diagnostic accuracy, as the size of the ambiguity group (i.e., components which cannot be discriminated because of the lack of information) increases, which in turn increases misdiagnosis penalty. ANTARES further breaks the ambiguity group size by considering the component's false negative rate (FNR), which is estimated using an analytical expression. Furthermore, we study the performance of ANTARES for a number of logic circuits taken from the 74XXX/ISCAS benchmark suite. Our results clearly indicate that sacrificing modeling information degrades the diagnosis quality. However, considering FNR information improves the quality, attaining the diagnostic performance of an MBD approach.

show abstract

“…The symptoms are observations about component involvement in a system execution, plus pass/fail information about that execution [12]. Component involvement is expressed in terms of block-hit-spectra (hence its name), producing for each execution a binary coverage value per component [13] [14]. Further, each system execution (test), is associated with a binary verdict (pass=0, fail=1) from an oracle.…”

Section: Spectrum-based Fault Localizationmentioning

confidence: 99%

Spectrum-based fault diagnosis for service-oriented software systems

Chen

Groß

Zaidman

2012

2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA)

View full text Add to dashboard Cite

Abstract-Due to the loosely coupled and highly dynamic nature of service-oriented systems, the actual configuration of such system only fully materializes at runtime, rendering many of the traditional quality assurance approaches useless. In order to enable service systems to recover from and adapt to runtime failures, an important step is to detect failures and diagnose problematic services automatically.This paper presents a lightweight, fully automated, spectrum-based diagnosis technique for service-oriented software systems that is combined with a framework-based online monitor. An experiment with a case system is set up to validate the feasibility of pinpointing problematic service operations. The results indicate that this approach is able to identify problematic service operations correctly in 72% of the cases.

show abstract

Diagnosis of Embedded Software Using Program Spectra

Cited by 31 publications

References 13 publications

Dependability for high-tech systems: an industry-as-laboratory approach

Dependability for high-tech systems: an industry-as-laboratory approach

Automatic systems diagnosis without behavioral models

Spectrum-based fault diagnosis for service-oriented software systems

Contact Info

Product

Resources

About