참고문헌
- Merendino, T., Latimer, IV, D. T., Hammons, C. B., Falkenthal, D., Capell, P. and Firesmith, D. G., The Method Framework for Engineering System Architectures, CRC Press, 2008.
- Netzer, R. H. and Miller, B. P., "What Are Race Conditions?," ACM Letters on Programming Languages and Systems (LOPLAS), March 1992, pp. 74-88.
- Lu, S., Park, S. Y., Seo, E. S. and Zhou, Y., "Learning from Mistakes A Comprehensive Study on Real World Concurrency Bug Characteristics," ACM SIGOPS Operating Systems Review, March 2008, pp. 329-339.
- Dinning, A. and Schonberg, E., "Detecting Access Anomalies in Programs with Critical Sections," Proceedings of the 1991 ACM/ONR workshop on Parallel and Distributed Debugging, December 1991, pp. 85-96.
- Jun, Y.-K. and Koh, K., "On-the-fly Detection of Access Anomalies in Nested Parallel Loops," Proceedings of the 1993 ACM/ONR workshop on Parallel and Distributed Debugging, December 1993, pp. 107-117.
- Ha, O.-K., Kuh, I.-B., Tchamgoue, G. M. and Jun, Y.-K., "On-the-fly Detection of Data Races in OpenMP Programs," Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012), July 2012., pp. 1-10.
- Ratanaworabhan, P., Burtscher, M., Kirovski, D., Zorn, B., Nagpal, R. and Pattabiraman, K., "Detecting and tolerating asymmetric races," ACM SIGPLAN Notices, February 2009, pp. 173-184.
- Lucia, B. and Ceze, L., "Cooperative empirical failure avoidance for multithreaded programs," ACM Special Interest Group on Programming Languages Notices, March 2013, pp. 39-50.
- Mahadevan, N., Dubey, A. and Karsai, G., "Application of software health management techniques," Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2011, pp. 1-10.
- Srivastava, A. N. and Schumann, J., "The case for software health management," 2011 IEEE Fourth International Conference on Space Mission Challenges for Information Technology, September 2011 , pp. 3-9.
- Goldberg, A. and Horvath, G., "Software Fault Protection with ARINC 653," 2007 IEEE Aerospace Conference, 2007 IEEE, March 2007, pp. 1-11.
- Ofsthun, S., "Integrated vehicle health management for aerospace platforms," IEEE instrumentation & measurement magazine, Vol. 5, No 3, September 2002, pp. 21-24. https://doi.org/10.1109/MIM.2002.1028368
- Scandura J. P., "7. Vehicle Health Management Systems," Digital avionics handbook, John Wiley & Sons, 2015, pp. 1-24.
- Pullum, L. L., Software fault tolerance techniques and implementation, Artech House, 2001, pp. 1-53.
- Airlines electronic engineering committee (AEEC)., Avionics application software standard interface - ARINC Specification 653 - Part 1. (supplement 2 - required services), ARINC Inc. 2015.
- Ha, O. K., Tchamgoue, G. M., Suh, J. B. and Jun, Y. K., "On-the-fly healing of race conditions in ARINC-653 flight software," Digital Avionics Systems Conference (DASC), 2010 IEEE/AIAA 29th, October 2010, pp. 5.A.6-1-5.A.6-11.
- Tchamgoue, G. M., Ha, O. K., Kim, K. H. and Jun, Y. K., "A framework for on-the-fly race healing in ARINC-653 applications," International Journal of Hybrid Information Technology, SERSC, April 2011, pp. 1-12.
- United State Department of Defense, "Appendix E. Generic Software Safety Requirements and Guidelines," Joint Software Systems Safety Engineering Handbook, August 2010, pp. E-15-E-18.
- Dang, H.-V., Snir, M. and Gropp, W., "Towards millions of communicating threads," Proceedings of the 23rd European MPI Users' Group Meeting, September 2016, pp. 1-14.
- Ha, O.-K. and Jun, Y.-K., "An Efficient Algorithm for On-the-Fly Data Race Detection Using an Epoch-Based Technique," Scientific Programming, Vol. 2015, 205827, 2015, pp. 1-14
- Sridharan, S., Gupta, G. and Sohi, G. S., "Adaptive, Efficient, Parallel Execution of Parallel Programs," Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2014, pp. 169-180.
- Zhang, M., Wu, Y., Lu, S., Qi, S., Ren, J. and Zheng, W., "A Lightweight System for Detecting and Tolerating Concurrency Bugs," IEEE Transactions on Software Engineering, October 2016, pp. 899-917. https://doi.org/10.1109/TSE.2016.2531666
- Oracle Corporation and/or its affiliates, MySQL Bugs. Available: http://bugs.mysql.com/, 2020.
- Mozilla and Individual Contributors, https://bugzilla.mozilla.org/, 2020.
- The Apache Software Foundation, https://httpd.apache.org/bug_report.html, 2020.