1 |
F. Cristian, "Exception Handling and Tolerance of Software Faults," Johy Wiley & Sons, Hoboken, JN, USA (Chapter 4). 1995.
|
2 |
G. Blair, G. Coulouris, J. Dollimore, and T. Kindberg, "Distributed Systems: Concepts and Design," Addison-Wesley, Boston. 2012.
|
3 |
Padua, D. (Ed.). "Encyclopedia of parallel computing," Springer Science & Business Media. 2011
|
4 |
G. M. Schneider, & J. Gersting, "Invitation to computer science," Cengage Learning. 2018.
|
5 |
DoD CIO [Internet], http://dodcio.defense.gov/Open-Source-Software-FAQ/
|
6 |
A study on software ILS applications, Defense Acquisition Program Administration, 2012.
|
7 |
Memcheck [Internet], http://valgrind.org/docs/manual/mc-manual.html
|
8 |
Dr. Memory [Internet], http://drmemory.org/
|
9 |
Address Sanitizer [Internet], https://github.com/google/sanitizers/wiki/AddressSanitizer
|
10 |
Helgrind [Internet], http://valgrind.org/docs/manual/hg-manual.html
|
11 |
Thread Sanitizer [Internet], https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual
|
12 |
Jooyoung Seo, Byoungju Choi, and Suengwan Yang. "A profiling method by PCB hooking and its application for memory fault detection in embedded system operational test," Information and Software Technology, Vol.53, No.1, pp.106-119, 2011.
DOI
|
13 |
S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," ACM Sigplan Notices, Vol.43, No.3, pp.329-339, 2008.
|
14 |
Kyeongyoun Kwon, Joonseok Joo, Taesik Kim, Jinwoo Oh, and Jihyun Baek, "A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process," Journal of KIISE, Vol.42, No.7, pp.860-867, 2015.
DOI
|
15 |
J. Kim, S. Jeong, I. Hwang, H. Cho, D. Kim, and Y. J. Jang, "M&S Verification, Validation and Accreditation Research Direction Considering the Characteristics of Defense M&S," Journal of Korean Institute of Industrial Engineers, Vol.39, No.6, pp.486-497, 2013.
DOI
|
16 |
IEEE Standard 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation, 2016.
|
17 |
ISO IEC IEEE 12207 System and software engineering - Software life cycle processes, 2017.
|
18 |
ISO IEC IEEE 291199 Software and systems engineering - software testing, 2013.
|
19 |
Weapon system software development and management manual, Defense Acquisition Program Administration Manual No.2017-8, 2017.
|
20 |
무기체계SW 발전방향 및 추진 전략 연구, Korea Defense Industry Association, 2016.
|
21 |
P. Emanuelsson and U. Nilsson, "A comparative study of industrial static analysis tools," Electronic Notes in Theoretical Computer Science, Vol.217, pp.5-21, 2008.
DOI
|
22 |
D. A. Ormrod, "A 'wicked problem'-Predicting sos behaviour in tactical land combat with compromised C4ISR," System of Systems Engineering (SOSE), 9th International Conference on. IEEE, 2014.
|
23 |
전력발전업무훈령(개정2016.3.28 훈령 제1896호), 2016.
|
24 |
Yonhap News, "국군 최초의 디지털군단 탄생[Defense Acquisition Program Administration]", http://prlink.yonhapnews.co.kr/view.aspx?contents_id=RPR20060627008800353&from=search, (2006.06.27.)
|
25 |
A. Fatima, S. Bibi, and R. Hanif, "Comparative study on static code analysis tools for C/C++," 15th International Bhurban Conf. on Applied Sciences & Technology, 2018.
|
26 |
G. R. Luecke, J. Coyle, J. Hoekstra, M. Kraeva, Y. Li, O. Taborskaia, and Y. Wang, "A survey of systems for detecting serial run‐time errors," Concurrency and Computation: Practice and Experience, Vol.18, No.15, pp.1885-1907, 2006.
DOI
|