We are Depintelligence Software Lab

Depintelligence Software Lab is mainly engaged in aircraft pathplanning, aircraft airborne software and reliability engineering studies. Through technical means and engineering specifications to protect and improve aircraft onboard software reliability and security.In the aircraft development process, commonly used onboard computer control system as the core, and thus the flight control system is one key to the whole product design. Flight control software as the core aircraft control system, the algorithm it implements complex, large-scale program, its reliability is directly related to aircraft safety, improve the reliability of flight control software is important. The laboratory research focus on onboard software reliability from software development process, development methodology, modeling and simulation, testing to ensure the reliability of the software.

Selected Journal papers:

[1] Xiao, G., Zheng, Z., Yin, B., Trivedi, K. S.,, Du, X., & Cai, KY. (2019). An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective. IEEE Transactions on Reliability.

[2] Xiao, G., Zheng, Z., Jiang, B., & Sui, Y. (2019). An Empirical Study of Regression Bug Chains in Linux. IEEE Transactions on Reliability.

[3] Qiu, K., Zheng, Z., Trivedi, K. S., & Yin, B. (2019). Stress Testing With Influencing Factors to Accelerate Data Race Software Failures. IEEE Transactions on Reliability.

[4] Qiao, Y., Zheng, Z., Fang, Y., Qin, F., Trivedi, K. S., & Cai, K. Y. (2018). Two-Level Rejuvenation for Android Smartphones and Its Optimization. IEEE Transactions on Reliability.

[5] Xu, Y., Yin, B., Zheng, Z., Zhang, X., Li, C., & Yang, S. (2019). Robustness of spectrum-based fault localisation in environments with labelling perturbations. Journal of Systems and Software.

[6] Qin, F., Zheng, Z., Qiao, Y., & Trivedi, K. S. (2018). Studying Aging-Related Bug Prediction Using Cross-Project Models. IEEE Transactions on Reliability.

[7] Zhao, Y., Zheng, Z., & Liu, Y. (2018). Survey on computational-intelligence-based UAV path planning. Knowledge-Based Systems.

[8] He, M., Du, G. X., Zhang, X., & Zheng, Z. (2018). A cooperative network interdiction model and its optimization solution algorithm. International Journal of Computational Intelligence Systems.

[9] Sui, Y., Yan, H., Zheng, Z., Zhang, Y., & Xue, J. (2018). Parallel construction of interprocedural memory SSA form. Journal of Systems and Software.

[10] Gong, S., Yin, B., Zheng, Z., & Cai, K. Y. (2019). Adaptive Multivariable Control for Multiple Resource Allocation of Service-based Systems in Cloud Computing. IEEE Access.

[11] Zheng, Z., & Xiao, G.* (2018). Evolution analysis of a UAV real-time operating system from a network perspective. Chinese Journal of Aeronautics.

[12] Zheng, Z.*, Trivedi, K. S., Wang, N., & Qiu, K. (2017). Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks. IEEE Transactions on Dependable and Secure Computing.

[13] Zheng, Z.*, Trivedi, K. S., Qiu, K., & Xia, R. (2017). Semi-markov models of composite web services for their performance, reliability and bottlenecks. IEEE Transactions on Services Computing.

[14] Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2017). A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. IEEE Transactions on Reliability.

[15] Zhang, X. Y., Zheng, Z.*, & Cai, K. Y. (2017). Exploring the Usefulness of Unlabelled Test Cases in Software Fault Localization. Journal of Systems and Software.

[16] Xiao, G., Zheng, Z.*, & Wang, H. (2017). Evolution of Linux operating system network. Physica A: Statistical Mechanics and its Applications.

[17] Zhang, L., Yan, L., Zhang, Z., Zhang, J., Chan, W. K., & Zheng, Z. (2017). A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization[J]. Journal of Systems and Software.

[18] Zhang, X., Zheng, Z. * , Zhang, S., & Du, W. (2016). Partial interdiction median models for multi-sourcing supply systems. The International Journal of Advanced Manufacturing Technology.

[19] Wang, H., Chen, Z., Xiao, G., & Zheng, Z.* (2016). Network of networks in Linux operating system. Physica A: Statistical Mechanics and its Applications.

[20] Zheng, Z. *, Liu, Y., & Zhang, X. (2016). The more obstacle information sharing, the more effective real-time path planning?. Knowledge-Based Systems.

[21] Lu, J., Zheng, Z., Zhang, G., He, Q., & Shi, Z. (2015). A new solution algorithm for solving rule-sets based bilevel decision problems. Concurrency and Computation: Practice and Experience.

[22] Du, W. B., Zhou, X. L., Zhu, Y. B., & Zheng, Z. (2015). A dynamic allocation mechanism of delivering capacity in coupled networks. Chaos, Solitons & Fractals.

[23] Du, W. B., Gao, Y., Liu, C., Zheng, Z., & Wang, Z. (2015). Adequate is better: particle swarm optimization with limited-information. Applied Mathematics and Computation.

[24] Gao, Y., Zheng, Z. * , & Qin, F. (2014). Analysis of Linux kernel as a complex network. Chaos, Solitons & Fractals.

[25] Zheng, Z. * , Guo, Z., Zhu, Y., & Zhang, X. (2014). A critical chains based distributed multi-project scheduling approach. Neurocomputing.

[26] Zhang, X., Zheng, Z. * , Zhu, Y., & Cai, K. Y. (2014). Protection issues for supply systems involving random attacks. Computers & Operations Research.

[27] Zheng, Z. *, Shumin, L., Ze, G., & Yueni, Z. (2013). Resource-constraint multi-project scheduling with priorities and uncertain activity durations. International Journal of Computational Intelligence Systems.

[28] Zhu, Y., Zheng, Z. * , Zhang, X., & Cai, K. (2013). The r-interdiction median problem with probabilistic protection and its solution algorithm. Computers & Operations Research.

[29] Liu, W., Zheng, Z. *, & Cai, K. Y. (2013) . Bi-level programming based real-time path planning for unmanned aerial vehicles. Knowledge-Based Systems.

[30] Liu, W., Zheng, Z. , & Cai, K. (2013). Adaptive path planning for unmanned aerial vehicles based on bi-level programming and variable planning time interval. Chinese Journal of Aeronautics.

[31] Zhang, G. Q., Zheng, Z. * , Lu, J., & He, Q. (2011). An algorithm for solving rule sets-based bilevel decision problems. Computational Intelligence.

[32] Zheng, Z. * , Liu, W., & Cai, K. Y. (2010). Robustness of fuzzy operators in environments with random perturbations. Soft Computing.

[33] Zheng, Z.* , Wu, S., Liu, W., Cai, K. (2010). A Feedback Based CRI Approach to Fuzzy Reasoning, Applied Soft Computing.

[34] Zheng, Z ., Lu, J., Zhang, G., & He, Q. (2009). Rule sets based bilevel decision model and algorithm. Expert Systems with Applications.

[35] Zheng, Z. * , Wu, S., & Cai, K. Y. (2009, November). Propagation of Random Perturbations under Fuzzy Algebraic Operators. In International Conference on Knowledge Science, Engineering and Management.

[36] Shi, C., Zhang, S., Zheng Z. & Shi, Z. Z. (2006). Geodesic distance based SOM for image clustering. In International Conference on Sensing, Computing and Automation.

[37] Zheng, Z. * , Hu, H., & Shi, Z. (2005, August). Tolerance relation based granular space. In International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing.

[38] Zheng, Z. * , & Wang, G. (2004). RRIA: a rough set and rule tree based incremental knowledge acquisition algorithm. Fundamenta Informaticae.

[39] Zheng, Z. * , Hu, H., & Shi, Z. (2004). Granulation based image texture recognition. Lecture Notes in Computer Science.

[40] Zheng, Z. * , Hu, H., & Shi, Z. (2004). Rough set based image texture recognition algorithm. Lecture Notes in Computer Science.

[41] Zheng, Z. *, Wang, G., & Wu, Y. (2003, May). A rough set and rule tree based incremental knowledge acquisition algorithm. In International Workshop on Rough Sets, Fuzzy Sets, Data Mining, and Granular-Soft Computing.