Title :
Software component independence
Author :
Woit, Denise M. ; Mason, David V.
Author_Institution :
Sch. of Comput. Sci., Ryerson Polytech. Inst., Toronto, Ont., Canada
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;
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-9221-9
DOI :
10.1109/HASE.1998.731597
