The purpose of this paper is to introduce a novel approach of designing, specifying, and describing the behavior of software systems in a way that helps to predict their reliability from the reliability of the components and their interactions.
Design imperatives and relevant mathematical documentation techniques for improved reliability predictability of software systems are identified.
The design approach, which is named design for reliability predictability (DRP), integrates design for change, precise behavioral documentation and structure based reliability prediction to achieve improved reliability predictability of software systems. The specification and documentation approach builds upon precise behavioral specification of interfaces using the trace function method (TFM) and introduces a number of structure functions or connection documents. These functions capture both the static and dynamic behavior of component‐based software systems and are used as a basis for a novel document driven structure based reliability predication model.
Decades of research effort have been spent in software design, mathematical/formal specification and description and reliability prediction of software systems. However, there has been little convergence among these three areas. This paper brings a new direction where the three research areas are unified to create a new design paradigm.
