Software Component Independence

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 transformation to convert conventional procedures into fragments appropriate to Markov analysis.

• Type: Conference
• Year: 1998
• Where: HASE
• Authors: Denise M. Woit, David V. Mason
• Keywords: Control Systems, Fundamental Requirement, HASE 1998, Markov Analysis, Markov System