STRATEGY FOR SCALABLE SCENARIOS MODELING AND CALCULATION IN EARLY SOFTWARE RELIABILITY ENGINEERING

Awad Ali, Dayang N. A. Jawawi, Mohd Adham Isa

Abstract


System scenarios derived from requirements specification play an important role in the early software reliability engineering. A great deal of research effort has been devoted to predict reliability of a system at early design stages. The existing approaches are unable to handle scalability and calculation of scenarios reliability for large systems. This paper proposes modeling of scenarios in a scalable way by using a scenario language that describes system scenarios in a compact and concise manner which can results in a reduced number of scenarios. Furthermore, it proposes a calculation strategy to achieve better traceability of scenarios, and avoid computational complexity. The scenarios are pragmatically modeled and translated to finite state machines, where each state machine represents the behaviour of component instance within the scenario. The probability of failure of each component exhibited in the scenario is calculated separately based on the finite state machines. Finally, the reliability of the whole scenario is calculated based on the components’ behaviour models and their failure information using modified mathematical formula. In this paper, an example related to a case study of an automated railcar system is used to verify and validate the proposed strategy for scalability of system modeling.


Keywords


Reliability engineering, architecture-based reliability, scenario-based reliability, component-based software, software quality

Full Text:

PDF

References


Lyu, M. R. 2007. Software Reliability Engineering: A Roadmap. IEEE.

Musa, J. D., A. Iannino, and K. Okumoto. 1987. Software Reliability: Measurement, Prediction, Application. McGraw-Hill, Inc.

Brosch, F., et al. 2011. Architecture-Based Reliability Prediction with the Palladio Component Model. IEEE Transactions on Software Engineering. 99: 1-1.

Reussner, R. H., H. W. Schmidt, and I. H. Poernomo. 2003. Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software. 66(3): 241-252.

Immonen, A. and E. Niemelä. 2008. Survey of Reliability and Availability Prediction Methods from the Viewpoint of Software Architecture. Software and Systems Modeling. 7(1): 49-65.

Krka, I., et al. 2009. A Comprehensive Exploration of Challenges in Architecture-based Reliability Estimation. Architecting Dependable Systems VI. 202-227.

Cheung, L., et al. 2012. Architecture-Level Reliability Prediction of Concurrent Systems. ACM.

Gokhale, S. S. and K. S. Trivedi. 2002. Reliability Prediction and Sensitivity Analysis Based on Software Architecture. IEEE.

Cortellessa, V., H. Singh, and B. Cukic. 2002. Early Reliability Assessment of UML Based Software Models. ACM.

Yacoub, S., B. Cukic, and H. H. Ammar. 2004. A Scenario-Based Reliability Analysis Approach for Component-Based Software. Reliability, IEEE Transactions on. 53(4): 465-480.

Cukic, B. 2005. The Virtues of Assessing Software Reliability Early. Software, IEEE. 22(3): 50-53.

Goswami, V. and Y. Acharya. 2009. Method for Reliability Estimation of COTS Components based Software Systems.

Hsu, C. J. and C. Y. Huang. 2011. An Adaptive Reliability Analysis Using Path Testing for Complex Component-Based Software Systems. Reliability, IEEE Transactions on. 60(1): 158-170.

Fan, Z., et al. 2008. A Novel Model for Component-Based Software Reliability Analysis. In High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE.

Tyagi, K. and A. Sharma. 2012. A Rule-Based Approach for Estimating the Reliability of Component-based Systems. Advances in Engineering Software. 54: 24-29.

Kim, Y., et al. 2013. Validating Software Reliability Early through Statistical Model Checking. Software, IEEE. PP(99): 1-1.

Palviainen, M., A. Evesti, and E. Ovaska. 2011. The Reliability Estimation, Prediction and Measuring of Component-based Software. Journal of Systems and Software. 84(6): 1054-1070.

Mauw, S., M. Reniers, and T. Willemse. 2001. Message Sequence Charts in the Software Engineering Process. Handbook of Software Engineering and Knowledge Engineering. 1: 437-464.

Pilone, D. 2005. UML 2.0 in a Nutshell. O'Reilly Media, Inc.

Diirr, E. and J. van Katwijk. 1992. VDM++, A Formal Specification Language For Object-Oriented Designs. In Proceedings 6th Annual European Computer Conference, Compeuro.

Harel, D. and R. Marelly. 2003. Come, Let’s Play: Scenario-Based Programming Using Lscs and the Play-Engine. Vol. 1. Springer.

Sibay, G., S. Uchitel, and V. Braberman. 2008. Existential Live Sequence Charts Revisited. In Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference on. IEEE.

Harel, D. 1987. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8(3): 231-274.

Rodrigues, G., D. Rosenblum, and S. Uchitel. 2005. Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. Fundamental Approaches to Software Engineering. 111-126.

Sibay, G. E., et al. 2013. Synthesizing Modal Transition Systems from Triggered Scenarios. Software Engineering, IEEE Transactions on. 39(7): 975-1001.

Harel, D. and E. Gery. 1996. Executable Object Modeling with Statecharts. In Proceedings of the 18th International Conference on Software Engineering. IEEE Computer Society.

Ali, A., D. N. Jawawi, and M. A. Isa. 2014. Modeling and Calculation of Scenarios Reliability in Component-Based Software Systems. In Software Engineering Conference (MySEC), 2014 8th Malaysian. IEEE.

UML: Unified Modeling Language Superstructure Specification v2.0, formal/05-07-04, August 2005, OMG specification, OMG.

Krka, I., et al. 2009. Synthesizing Partial Component-Level Behavior Models from System Specifications. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM.

Whittle, J. and J. Schumann. Generating statechart designs from scenarios. in Software Engineering, 2000. Proceedings of the 2000 International Conference on. 2000. IEEE.

Singh, H., et al. A bayesian approach to reliability prediction and assessment of component based systems. 2001. IEEE.

Roshandel, R., et al. Understanding tradeoffs among different architectural modeling approaches. in Software Architecture, 2004. WICSA 2004. Proceedings. Fourth Working IEEE/IFIP Conference on. 2004. IEEE.

Goseva-Popstojanova, K., et al. 2003. Architectural-level Risk Analysis Using UML. Software Engineering, IEEE Transactions on. 29(10): 946-960.

Sadi, M. S. et al. 2010. Component Criticality Analysis to Minimizing Soft Errors Risk. International Journal of Computer Systems Science and Engineering. CRL Publishing. 25(5).

Wang, W. L., D. Pan, and M. H. Chen. 2006. Architecture-Based Software Reliability Modeling. Journal of Systems and Software. 79(1): 132-146.

Gokhale, S. S. and K. S. Trivedi. 2002. Reliability Prediction and Sensitivity Analysis Based on Software Architecture. In Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on. IEEE.

Roshandel, R., N. Medvidovic, and L. Golubchik. 2007. A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level. Software Architectures, Components, and Applications. 108-126.

Cooray, D., et al. 2013. Proactive Self-Adaptation for Improving the Reliability of Mission-Critical, Embedded, and Mobile Software.




DOI: https://doi.org/10.11113/jt.v77.6200

Refbacks

  • There are currently no refbacks.


  

Copyright © 2012 Penerbit UTM Press, Universiti Teknologi Malaysia.
Disclaimer : This website has been updated to the best of our knowledge to be accurate. However, Universiti Teknologi Malaysia shall not be liable for any loss or damage caused by the usage of any information obtained from this web site.
Best viewed: Mozilla Firefox 4.0 & Google Chrome at 1024 × 768 resolution.