DocumentCode
2362057
Title
Software component independence
Author
Woit, Denise M. ; Mason, David V.
Author_Institution
Sch. of Comput. Sci., Ryerson Polytech. Inst., Toronto, Ont., Canada
fYear
1998
fDate
13-14 Nov 1998
Firstpage
74
Lastpage
81
Abstract
Independence is a fundamental requirement for calculating system reliability from component reliabilities, whether in hardware or software systems. Markov analysis is often used in such calculation; however, procedures as conventionally used do not qualify as nodes in a Markov system. We outline the requirements for several classes of component independence and use the CPS (continuation passing style) transformation to convert conventional procedures into fragments that are appropriate to Markov analysis
Keywords
Markov processes; software reliability; subroutines; CPS transformation; Markov analysis; Markov system nodes; component reliabilities; continuation passing style; fragments; program procedures; software component independence; system reliability; Availability; Computer science; Hardware; Independent component analysis; Probability; Reliability; Software measurement; Software systems;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location
Washington, DC
Print_ISBN
0-8186-9221-9
Type
conf
DOI
10.1109/HASE.1998.731597
Filename
731597
Link To Document