최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기정보처리학회논문지. KIPS transactions on software and data engineering. 소프트웨어 및 데이터 공학, v.7 no.7, 2018년, pp.249 - 258
박지현 (이화여자대학교 컴퓨터공학과) , 최병주 (이화여자대학교 컴퓨터공학과)
The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult t...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
무기체계 소프트웨어란? | 무기체계 소프트웨어는 무기체계에 탑재되어 무기체계를 제어하고 동작시키는 소프트웨어이다. 무기체계는 정해진 시간 안에 임무를 완수하여야 하고 어떠한 상황에서도 중단 없이 동작하여야 하므로 고 신뢰성이 요구된다[1]. | |
무기체계는 정해진 시간 안에 임무를 완수하여야 하고 어떠한 상황에서도 중단 없이 동작하여야 하므로 무엇이 요구되는가? | 무기체계 소프트웨어는 무기체계에 탑재되어 무기체계를 제어하고 동작시키는 소프트웨어이다. 무기체계는 정해진 시간 안에 임무를 완수하여야 하고 어떠한 상황에서도 중단 없이 동작하여야 하므로 고 신뢰성이 요구된다[1]. 특히 무기체계에서 소프트웨어가 차지하는 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 무기체계 소프트웨어에 대한 신뢰성은 반드시 검증되어야 한다. | |
무기체계 소프트웨어의 장점은? | 즉, 현재 무기체계 소프트웨어는 소프트웨어 시험 표준의 단위 시험에 해당하는 부분은 기준이 수립되어 있으나 통합 시험 프로세스에 대해서는 제대로 된 기준이 수립되어 있지 않다. 개발 이후 타겟에서의 동적 시험은 스터브(stub)와 드라이버(driver) 등의 장치(test harness)가 별도로 필요 없다는 매력적인 점은 있다. 그러나, 단위 소프트웨어(CSU), 구성품(CSC) 및 소프트웨어 형상항목(CSCI)이 통합되어 서로 호출하며 실행하는 과정에서 발생하는 결함에 대한 소프트웨어 통합단계의 신뢰성 검증 방식으로는 한계가 있다는 뜻이다. |
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.
IEEE Standard 1012-2016 IEEE Standard for System, Software, and Hardware Verification and Validation, 2016.
ISO IEC IEEE 12207 System and software engineering - Software life cycle processes, 2017.
ISO IEC IEEE 291199 Software and systems engineering - software testing, 2013.
Weapon system software development and management manual, Defense Acquisition Program Administration Manual No.2017-8, 2017.
무기체계SW 발전방향 및 추진 전략 연구, Korea Defense Industry Association, 2016.
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.
전력발전업무훈령(개정2016.3.28 훈령 제1896호), 2016.
Yonhap News, "국군 최초의 디지털군단 탄생[Defense Acquisition Program Administration]", http://prlink.yonhapnews.co.kr/view.aspx?contents_idRPR20060627008800353&fromsearch, (2006.06.27.)
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.
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.
G. R. Luecke, J. Coyle, J. Hoekstra, M. Kraeva, Y. Li, O. Taborskaia, and Y. Wang, "A survey of systems for detecting serial runtime errors," Concurrency and Computation: Practice and Experience, Vol.18, No.15, pp.1885-1907, 2006.
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.
F. Cristian, "Exception Handling and Tolerance of Software Faults," Johy Wiley & Sons, Hoboken, JN, USA (Chapter 4). 1995.
G. Blair, G. Coulouris, J. Dollimore, and T. Kindberg, "Distributed Systems: Concepts and Design," Addison-Wesley, Boston. 2012.
Padua, D. (Ed.). "Encyclopedia of parallel computing," Springer Science & Business Media. 2011
G. M. Schneider, & J. Gersting, "Invitation to computer science," Cengage Learning. 2018.
DoD CIO [Internet], http://dodcio.defense.gov/Open-Source-Software-FAQ/
A study on software ILS applications, Defense Acquisition Program Administration, 2012.
Memcheck [Internet], http://valgrind.org/docs/manual/mc-manual.html
Dr. Memory [Internet], http://drmemory.org/
Address Sanitizer [Internet], https://github.com/google/sanitizers/wiki/AddressSanitizer
Helgrind [Internet], http://valgrind.org/docs/manual/hg-manual.html
Thread Sanitizer [Internet], https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual
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.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
오픈액세스 학술지에 출판된 논문
※ AI-Helper는 부적절한 답변을 할 수 있습니다.