Analysis of software halts in the Tandem GUARDIAN operating system

Inhwan Lee; Ravishankar K Iyer

doi:10.1109/ISSRE.1992.285887

Analysis of software halts in the Tandem GUARDIAN operating system

Research output: Contribution to journal › Conference article › peer-review

Abstract

This paper presents a systematic methodology to investigate the dependability of operational software. The methodology combines several techniques. Time series analysis is used to characterize the occurrence of software failures. Markov reward modeling is used to determine the loss in service due to failures of software components, and to identify major bottlenecks. The effectiveness of built-in fault tolerance is also evaluated. The methodology is illustrated using the software halt data from the Tandem GUARDIAN operating system. The results show that the occurrences of software halts are not correlated with each other in time. Interrupt handling and memory management are found to be the major bottlenecks in the measured system. The fault tolerance in the measured system was shown to reduce the service loss by nearly 90%.

Original language	English (US)
Article number	285887
Pages (from-to)	227-236
Number of pages	10
Journal	Proceedings - International Symposium on Software Reliability Engineering, ISSRE
DOIs	https://doi.org/10.1109/ISSRE.1992.285887
State	Published - 1992
Event	3rd International Symposium on Software Reliability Engineering, ISSRE 1992 - Research Triangle Park, United States Duration: Oct 7 1992 → Oct 10 1992

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Online availability

10.1109/ISSRE.1992.285887

Library availability

Discover UIUC Full Text

Cite this

@article{acb734494f414127acb49ba5127e53c1,

title = "Analysis of software halts in the Tandem GUARDIAN operating system",

abstract = "This paper presents a systematic methodology to investigate the dependability of operational software. The methodology combines several techniques. Time series analysis is used to characterize the occurrence of software failures. Markov reward modeling is used to determine the loss in service due to failures of software components, and to identify major bottlenecks. The effectiveness of built-in fault tolerance is also evaluated. The methodology is illustrated using the software halt data from the Tandem GUARDIAN operating system. The results show that the occurrences of software halts are not correlated with each other in time. Interrupt handling and memory management are found to be the major bottlenecks in the measured system. The fault tolerance in the measured system was shown to reduce the service loss by nearly 90%.",

author = "Inhwan Lee and Iyer, {Ravishankar K}",

note = "Publisher Copyright: {\textcopyright} 1992 IEEE.; 3rd International Symposium on Software Reliability Engineering, ISSRE 1992 ; Conference date: 07-10-1992 Through 10-10-1992",

year = "1992",

doi = "10.1109/ISSRE.1992.285887",

language = "English (US)",

pages = "227--236",

journal = "Proceedings - International Symposium on Software Reliability Engineering, ISSRE",

issn = "1071-9458",

publisher = "IEEE Computer Society",

}

TY - JOUR

T1 - Analysis of software halts in the Tandem GUARDIAN operating system

AU - Lee, Inhwan

AU - Iyer, Ravishankar K

PY - 1992

Y1 - 1992

N2 - This paper presents a systematic methodology to investigate the dependability of operational software. The methodology combines several techniques. Time series analysis is used to characterize the occurrence of software failures. Markov reward modeling is used to determine the loss in service due to failures of software components, and to identify major bottlenecks. The effectiveness of built-in fault tolerance is also evaluated. The methodology is illustrated using the software halt data from the Tandem GUARDIAN operating system. The results show that the occurrences of software halts are not correlated with each other in time. Interrupt handling and memory management are found to be the major bottlenecks in the measured system. The fault tolerance in the measured system was shown to reduce the service loss by nearly 90%.

AB - This paper presents a systematic methodology to investigate the dependability of operational software. The methodology combines several techniques. Time series analysis is used to characterize the occurrence of software failures. Markov reward modeling is used to determine the loss in service due to failures of software components, and to identify major bottlenecks. The effectiveness of built-in fault tolerance is also evaluated. The methodology is illustrated using the software halt data from the Tandem GUARDIAN operating system. The results show that the occurrences of software halts are not correlated with each other in time. Interrupt handling and memory management are found to be the major bottlenecks in the measured system. The fault tolerance in the measured system was shown to reduce the service loss by nearly 90%.

UR - http://www.scopus.com/inward/record.url?scp=33645395626&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33645395626&partnerID=8YFLogxK

U2 - 10.1109/ISSRE.1992.285887

DO - 10.1109/ISSRE.1992.285887

M3 - Conference article

AN - SCOPUS:33645395626

SN - 1071-9458

SP - 227

EP - 236

JO - Proceedings - International Symposium on Software Reliability Engineering, ISSRE

JF - Proceedings - International Symposium on Software Reliability Engineering, ISSRE

M1 - 285887

T2 - 3rd International Symposium on Software Reliability Engineering, ISSRE 1992

Y2 - 7 October 1992 through 10 October 1992

ER -

Analysis of software halts in the Tandem GUARDIAN operating system

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this