CSE 8317 (Spring, 2022)

Other Books and Important SRE/SSE Papers

Here is a list (continuously updated) of other SRE/SSE books, and some important papers or book chapters. Some of the papers were actually recommended by students in my previous 8317 classes (used as their individual study papers or in their research papers). The contents of these papers/chapters roughly correspond to the topics that we will be covering in our CSE 8317 class, so they can be used as additional reading material.

Other Books, with my brief comments

  1. J. D. Musa, A. Iannino and K. Okumoto, "Software Reliability: Measurement, Prediction, Application", McGraw-Hill, 1987. ISBN 0-07-044093-X.
    A classic in software reliability engineering. There are two editions, original (1987) and professional (1990). The student should get the original edition for in-depth mathematics used in reliability models.

  2. Debra S. Herrmann, "Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors", IEEE CS Press, 1999. ISBN 0-7695-0299-7.
    I'd emphasize the subtitle "Standards of Key Industrial Sectors", which including (Chapters 3-7) transportation, aerospace, defense, nuclear power, and biomedical industries, as well as some IEC, IEE, and IEEE guidelines/standards.

  3. Shari L. Pfleeger, L. Hatton, C. C. Howell, "Solid Software", Prentice-Hall, 2002. ISBN 0-13-091298-0.
    Covers many techniques for producing "solid" software, with particular emphasis on the ones that are applicable and effective for safety-critical software and systems.

  4. Stephen H. Kan, "Metrics and Models in Software Quality Engineering, 2/e", Addison-Wesley, 2002. ISBN 0-201-72915-6.
    A lot of models and practical information from a former IBMer. Most comprehensive book of its kind.

Papers/Chapters/etc. from Our Research Group Available on Canvas

Papers/references from the bibliography of Tian/SQE book

(Chen et al., 2001); (Duran and Ntafos, 1984); (Frankl et al., 1998); (Gerhart et al., 1994); (Hamlet and Taylor, 1990); (Hamlet et al., 2001); (Horgan and Mathur, 1995); (Malaiya et al., 2002); (King et al., 2000)

Notice 1: Reference style used: (Author-last-name, year) for single author items, (AuthorA and AuthorB, year) for double author items, or (AuthorA et al., year) for items with three or more authors.

Notice 2: Some more specialized references, and many of the more recent ones, not listed in Tian/SQE book are listed below, organized by the three areas (analysis, SRE, SSE).

Defect and Quality/Dependability Analysis Papers

  1. A. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, pp.11-33, Jan., 2004.
  2. V. R. Basili, P. Donzelli, and S. Asgari. A unified model of dependability: Capturing dependability in context. IEEE Software, 21(6):19--25, Nov. 2004.
  3. D. N. Card. Learning from our mistakes with defect causal analysis. IEEE Software, 15(1):56--63, Jan. 1998.
  4. Kalinowski, M., Card, D. N., and Travassos, G. H. (2012). Evidence-Based Guidelines to Defect Causal Analysis. IEEE Software. 29(4):16-18.
  5. Robyn R. Lutz Ines Carmen Mikulski, "Empirical Analysis of Safety-Critical Anomalies During Operations", IEEE Trans. on Software Engineering, Vol.30, No.3, pp.172-180, March, 2004.
  6. Nakashima, T. et al. (1999). Analysis of Software Bug Causes and Its Prevention. Information and Software Technology. 41(15): 1059-68.
  7. M. T. Riaz, M. Shah Jahan, K. S. Arif and W. Haider Butt, "Risk Assessment on Software Development using Fishbone Analysis," 2019 International Conference on Data and Software Engineering (ICoDSE), Pontianak, Indonesia, 2019, pp. 1-6, doi: 10.1109/ICoDSE48700.2019.9092727.
  8. Nuno Silva, Joao Carlos Cunha, Marco Vieria. 2016. A field study on root cause analysis of defects in space software. Elsevier, Reliability Engineering and System Safety, Vol 158, 213-229.
  9. J. Tian, S. Nair, L. Huang, N, Alaeddine and M.F. Siok, "Developing Dependable Systems by Maximizaing Component Diversity", In J. Dong, R. Paul and L.-J. Zhang, editors, High Assurance Services Computing, pp.193-217, Springer-Verlag, 2009,

    There are also several interesting articles in:

Other SRE Papers

  1. L. Aversano and M. Tortorella, "Analysing the reliability of Open Source software projects," 2015 10th International Joint Conference on Software Technologies (ICSOFT), Colmar, 2015, pp. 1-10.
  2. Alan Boulanger, Open-source versus proprietary software: Is one more reliable and secure than the other? IBM Systems Journal, 44(2):239-248, 2005.
  3. R. W. Butler and G. B. Finelli, The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, IEEE Trans. on Software Engineering, 19(1):3-12, Jan, 1993.
  4. Kai-Yuan Cai, Software Reliability Experimentation and Control, J. Computer Science and Technology, 21(5):697-707, Sept. 2006.
  5. Bojan Cukic, "The Virtues of Assessing Software Reliability Early", IEEE Software, Vol.22, No.3, pp.50-53, May/June, 2005.
  6. S. Frolund and R. Guerraoui, e-Transactions: End-to-End Reliability for Three-Tier Architectures, IEEE Trans. on Software Engineering, 28(4):378-395, April 2002.
  7. S. S. Gokhale. Architecture-based software reliability analysis: Overview and limitations. IEEE Trans. on Dependable and Secure Computing, 4(1):32--40, Jan.-Mar. 2007.
  8. S. S. Gokhale and K. S. Trivedi. Analytical models for architecture-based software reliability prediction: A unification framework. IEEE Trans. on Reliability, 55(4):578--590, Dec. 2006.
  9. K. Goseva-Popstojanova and K. S. Trivedi. Architecture-based approaches to software reliability prediction. Computers and Mathematics with Applications, 46(7):1023--1036, Oct. 2003.
  10. C. Huang, M. R. Lyu, and S. Kuo, A unified Scheme of Some Nonhomogenous Poisson Process Models for Software Reliability Estimation, IEEE Trans. on Software Engineering, 29(3):261-269, March 2003.
  11. D.R. Jeske, X. Zhang, and L. Pham, "Adjusting Software Failure Rates That Are Estimated From Test Data", IEEE Trans. on Reliability, Vol.54, No.1, pp.107-114, March, 2005.
  12. S. Kim, F. B. Bastani, I.-L. Yen, and I.-R. Chen. Systematic reliability analysis of a class of application-specific embedded software frameworks. IEEE Trans. on Software Eng., 30(4):218--230, Apr. 2004.
  13. M. R. Lyu, S. Rangarajan, and A. P. A. van Moorsel, Optimal Allocation of Test Resources for Software Reliability Growth Modeling in Software Development, IEEE Trans. on Reliability, 51(2):183-192, June, 2002.
  14. K. Okumoto, A. Asthana and R. Mijumbi, "BRACE: Cloud-Based Software Reliability Assurance," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, 2017, pp. 57-60, doi: 10.1109/ISSREW.2017.48.
  15. Vili Podgorelec, Marjan Kericko, Matjaz B. Juric, and Ivan Rozman, Improving the Reliability of Medical Software by Predicting the Dangerous Software Modules, Journal of Medical Systems 29(1):3-11, Feb. 2005.
  16. Purnaiah B.; Rama Krishna V.; Bala Venkata Kishore G.; "Fault Removal Efficiency in Software Reliability Growth Model", Advances in Computational Research, 4.1 (2012): 74-77.
  17. Roshanak Roshandel, Somo Banerjee, Leslie Cheung, Nenad Medvidovic, and Leana Golubchik. "Estimating Software Component Reliability by Leveraging Architectural Models." In Proceedings of the 28th international conference on Software engineering (ICSE '06). ACM, New York, NY, USA, 853-856. 2006. DOI=10.1145/1134285.1134432
  18. Sharma, K., Garg, R., Nagpal, C. K., and Garg, R.K. "Selection of Optimal Software Reliability Growth Models Using a Distance Based Approach". IEEE Transactions on Reliability, Vol. 59(2). June 2010. pp. 266-276.
  19. Omar Shatnawi, "An Integrated Framework for Developing Discrete-Time Modelling in Software Reliability Engineering," Quality and Reliability Engineering, April 2016.
  20. Rawat, Shubham & Goyal, Nupur & Ram, Mangey. (2017). "Software reliability growth modeling for agile software development". International Journal of Applied Mathematics and Computer Science. 27. 777-783. 10.1515/amcs-2017-0054.
  21. Jinyong Wang and Ce Zhang, "Software reliability prediction using a deep learning model based on the RNN encoder", Reliability Engineering and System Safety 170(2018)
  22. Wen-Li Wang, Thomas L. Hemminger and Mei-Huei Tang, "A moving average non-homogeneous Poisson process reliability growth model account for software with repair and system structures," IEEE Transactions on Reliability, 56(3):411-421, 2007.
  23. Wen-Li Wang, Dai Pan and Mei-Hwa Chen, Architecture-based software reliability modeling. Journal of Systems and Software 79(1):132-146, 2006
  24. A. P. Wood, Software Reliability from the Customer View, IEEE Computer 36(8):37-42, Aug., 2003.
  25. Y.P. Wu, Q.P. Hu, M. Xie and S.H. Ng, Modeling and Analysis of Software Fault Detection and Correction Process by Considering Time Dependency, IEEE Trans. on Reliability, 56(4):629-642, Dec, 2007.
  26. Sherif Yacoub, Bojan Cukic, and Hany Ammar, A scenario-based reliability analysis approach for component-based software, IEEE Trans. Reliability 53(4):465-480, Dec., 2004.

Other SSE Papers

  1. Jonathan P. Bowen and Michael G. Hinchey, Ten Commandments of Formal Methods ... Ten Years Later, IEEE Computer, 39(1):40-48, Jan, 2006.
  2. Phillipe Cheynet, bodgan Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda and Massimo Violante, Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors, IEEE Trans. on Nuclear Science 47(6):2231-2236, Dec. 2000.
  3. Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, and Mauro Pezze, Using Symbolic Execution for Verifying Safety-Critical Systems, Proc. ESEC/FSE 2001 (European Software Engineering Conf.) Vienna, Austria, 2001.
  4. E. T. Dill, S. D. Young, and K. J. Hayhurst, "SAFEGUARD: An assured safety net technology for UAS" in 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), Sep. 2016, pp. 1.10, doi: 10.1109/DASC.2016.7778009.
  5. Ian Dodd, Ibrahim Habli, Safety certification of airborne software: An empirical study, Reliability Engineering & System Safety, Volume 98, Issue 1, 2012, Pages 7-23, ISSN 0951-8320, https://doi.org/10.1016/j.ress.2011.09.007.
  6. N. E. Fenton and M. Neil, A Strategy for Improving Safety Related Software Engineering Standards. IEEE Trans. on Software Engineering, 24(11):1002-1013, Nov., 1998.
  7. S. Gerhart, D. Craigen and T. Ralston. Regulatory case studies. IEEE Software, 11(1):30--39, Jan. 1994.
  8. Xiangyu Han, Jun Zhang, "A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software" in 2013 IEEE International Conference on Granular Computing (GrC), doi: 10.1109/GrC.2013.6740435
  9. J. Knight and B. Littlewood. Critical task of writing dependable software. IEEE Software, 11(1):16--20, Jan. 1994.
  10. N. G. Leveson. Software safety in embedded computer systems. Communications of the ACM, 36(2):34--46, Feb. 1991.
  11. N. G. Leveson. High-pressure steam engines and computer software. IEEE Computer, pages 65--73, Oct. 1994.
  12. N. G. Leveson, A systems-theoretic approach to safety in software-intensive systems, IEEE Transactions on Dependable and Secure Computing, Vol.1, No.1, pp.66-86, Jan., 2004.
  13. N. G. Leveson, The role of software in spacecraft accidents, AIAA Journal of Spacecraft and Rockets, Vol.41, No.4, July., 2004.
  14. N. G. Leveson and C. Turner. An investigation of the Therac-25 accidents. IEEE Computer, pages 19--41, July 1993.
  15. N. G. Leveson and K. A. Weiss. Making embedded software reuse practical and safe. In Proc. 12th Foundations of Software Engineering Conference (ACM Sigsoft 2004/FSE-12), 2004.
  16. Wenjun Li, and Hongkun Zhang. A Software Hazard Analysis Method for Automotive Control System. 2011 IEEE International Conference on Computer Science and Automation Engineering, June 2011, Vol.3, pp.744-748.
  17. J. S. Norris. Mission-critical development with open source software: Lessons learned. IEEE Software, 21(1):42--49, Jan. 2004.
  18. D. L. Parnas, A. J. Schouwen, and S. P. Kwan. Evaluation of safety-critical software. Communications of the ACM, 33(6):636--648, June 1990.
  19. Reinhart, T.; Boettcher, C.; Tomashefsky, S.; "Self-checking Software: Improving the Quality of Mission-Critical Systems" Digital Avionics Systems Conference, 1999. Proceedings. 18th , vol.1/17 pp.2.D.4-1-2.D.4-7, Nov 1999
  20. Silva, R. A. B., Arai, N. N., Burgareli, L. A. et al. (2015). Formal Verification with Frama-C: A Case Study in the Space Software Domain. IEEE Transactions on Reliability, 65(3):1163-1179.
  21. Stringfellow, M.V., Leveson, N. G., and Owens, B. D. (2010). Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems. Proceedings of the IEEE, 98(4):515-525.
  22. J. M. Voas and L. Kassab, Using Assertions to Make Untestable Software More Testable, Software Quality Professional 1(4):31-40, Sep, 1999.
  23. L. Xia, J. Yang, H. Wang and X. Hou, "Safety Analysis and Risk Assessment of LPAR Software System," 2018 12th International Conference on Reliability, Maintainability, and Safety (ICRMS), Shanghai, China, 2018, pp. 150-154, doi: 10.1109/ICRMS.2018.00037.

There are also several interesting articles in:

Surveys in a Book

Anthony Finkelstein, editor, "The Future of Software Engineering", ACM Press, 2000.
Survey papers relevant to this class include:

  1. Robyn Lutz: "Software Engineering for Safety: A Roadmap".
  2. Bev Littlewood and Lorenzo Strigini: "Software Reliability and Dependability: A Roadmap".

Prepared by Jeff Tian (tian@engr.smu.edu).
Posted on: March 17, 2022. Last update: March 17, 2022.

Back to CSE 8317 webpage