1. West Virginia University A Bayesian Approach to Reliability Predication of Component Based Systems H. Singh, V. Cortellessa, B. Cukic, E. Gunel, V. Bharadwaj †Department of Statistics ‡Department of Computer Science and Electrical Engineering West Virginia University {singh,gunel}@stat.wvu.edu, {vittorio,cukic,vijay}@csee.wvu.edu

2. West Virginia University Introduction ä Utilization of off-the-shelf software components for rapid application development. ä Such applications are expected to have high reliability as a result of deploying trusted components. ä The claims of high reliability need further investigation.

3. West Virginia University Goals ä Probabilistic technique for reliability analysis applicable throughout the development life-cycle. ä Integration with the information available as the annotations of UML. ä The ability to study the sensitivity of the application reliability to reliabilities of components and interfaces within the system, thus allowing the system architect to select components with suitable reliability characteristics in cases when alternative reusable assets are available.

4. West Virginia University SW Reliability and UML ä The UML notation provides several diagrams to capture software features. ä No standard software process is required to be used with the UML notation. ä The UML diagrams are syntactically related. ä Certain types of analyses, such as cross syntax checking can be performed at the design time. ä The graphical representation of the UML diagrams ä UML is open to notational extensions ä The potential for developing annotations of UML diagrams. These annotations enrich the software representation and support for software V&V throughout the life-cycle.

5. West Virginia University Reliability Assessment Process ä Provide annotations for application’s UML diagram(s) ä Use these annotations as inputs to the algorithm ä Design level analysis: ä Algorithm predicts expected system reliability from provided component reliabilities ä Algorithm computes system sensibility analysis (what if I provide a more reliable component here?) ä Reliability certification analysis: ä Corroborate expected system reliability by random system level testing.

6. West Virginia University UML annotations Annotated Use Case Diagram Annotated Sequence Diagram

7. West Virginia University UML annotations ( continued )  Estimate of the a failure probability  ij of the component i in the scenario j :  ij =Prob(failure of Cij)=1-(1-  i ) bpij ä The equation is feasible under the following assumptions: ä Failure Independence : A component’s failure probability does not depend on the failure probabilities of the other components. ä Regularity : A component’s failure probability is the same across all the busy periods of a component. ä Comp. Reliabilities converted to BETA distributions

8. West Virginia University Design Level Analysis: An Example A WEB-based transaction processing system (WBTPS) Use cases: Local Operations Remote Read Remote Write

9. West Virginia University Design Level Analysis: An Example Annotated SD for “remote write” use case

10. West Virginia University From Annotations to Reliability Component Reliability information record

11. West Virginia University Component Reliabilities Component Failure Probabilities as PDFs (Beta Distributions)

12. West Virginia University Reliability Prediction Plot of Prior Probability Density Function of the System Failure Probability  S fitted to the normalized histogram from simulation observations

13. West Virginia University Sensitivity Analysis ä Increase / Decrease reliabilities of individual components and observe the impact on overall system reliability.

14. West Virginia University Summary ä New framework for reliability prediction in component based systems ä Fully integrated with UML. ä The first reliability algorithm that integrates reliability prediction (design level analysis) with reliability certification (system integration and analysis task) ä Limitations: ä Still rather simplistic (assumes failure independence, the same as all the other similar algorithms do) ä Unsupported by a tool (currently under the development).

15. West Virginia University Further Work ä Remove failure independence assumption ä Extend the level of detail in UML annotations ä Continue building a tool ä Reliability optimization to replace sensitivity analysis (given cost constraints) ä Integrate with Risk Analysis (through Fault Trees) ä Actively search for a realistic application in NASA.