Software Reliability Optimization for Automatic Train Operating System

The well performing functionalities of a system mainly relies on the reliability of the software, which is enrolled at all stages of the software design. Reliability allocation optimization under budget constraints offers effective way for enhancing the reliability of the software. In this paper, we focus on the software reliability allocation optimization for an Automatic Train Operating (ATO) system. The software reliability allocation model for the studied case based on the Analytic Hierarchy Process (AHP) was constructed in view of the software structures of the system. The reliability optimization based on Budget Constrained Utility Maximization (BCUM) is then executed for the system. The reliability allocation model transforms the allocation to a nonlinear problem that takes the importance, the calling frequency and the cost of the modules of the system into account. Genetic Algorithm (GA) is employed to solve the allocation optimization problem of the system.

[1]  W. W. Everett,et al.  Software component reliability analysis , 1999, Proceedings 1999 IEEE Symposium on Application-Specific Systems and Software Engineering and Technology. ASSET'99 (Cat. No.PR00122).

[2]  Kishor S. Trivedi,et al.  Software Reliability and Testing Time Allocation: An Architecture-Based Approach , 2010, IEEE Transactions on Software Engineering.

[3]  Martin L. Shooman,et al.  Probabilistic Models for Software reliability Prediction , 1972, Statistical Computer Performance Evaluation.

[4]  Noushin Ashrafi,et al.  Software Reliability Allocation Based on Structure, Utility, Price, and Cost , 1991, IEEE Trans. Software Eng..

[5]  Xuan Vu,et al.  Optimal train control: Analysis of a new local optimization principle , 2011, Proceedings of the 2011 American Control Conference.

[6]  Atul Prakash,et al.  Issues in the Development of Large, Distributed, and Reliable Software , 1987, Adv. Comput..

[7]  Blas Galván,et al.  Optimization of constrained multiple-objective reliability problems using evolutionary algorithms , 2006, Reliab. Eng. Syst. Saf..

[8]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[9]  Bev Littlewood.  How to Measure Software Reliability and How Not To , 1979, IEEE Transactions on Reliability.

[10]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[11]  Francesco Corman,et al.  Closing the loop in real-time railway control: Framework design and impacts on operations , 2015 .

[12]  Fatemeh Zahedi,et al.  The Analytic Hierarchy Process—A Survey of the Method and its Applications , 1986 .