Reliability Specification for Component-based Software

X. Mao and J. May (UK)


Component-based software, software reliability,specification, sequence, and wrapper


This paper presents an architectural software reliability process that aims to be closely related with real component-based software development processes. The purpose is to support a compositional approach to reliability estimation. The basis of the technique is to calculate use frequencies for allowable communication sequences between components. Sequences for high-level components are composed from sequences of low-level components. `Reliability wrappers' for components are proposed that express and manipulate these sequences, and hence are able to compute the non-functional property of reliability. The wrappers are implemented in functional codes, allowing components to export details of their reliability behavior, and thus support the partial automation of this reliability process in tools.

Important Links:

Go Back