무기체계 소프트웨어의 자료경합을 탐지하기 위한 프레임워크
A Framework for Detecting Data Races in Weapon Software
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.
Abstract
Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.
참고문헌 (18)
- G.M. Choi, "Software Reliability Assurance for Weapon System Quality Improvement(2)", Journal of Defense & Technology, 404, pp.74~85 (2012)
- O.K. Ha, "A Survey on Dynamic Detection for Data Races in Multithread Programs", Journal of KIISE, 33(12), pp.45~51 (2015)
- N. G. Leveson, "An Investigation of the Therac-25 Accidents", Journal of IEEE Computer Society, 26(7), pp.18~41 (1993)
- K. Poulsen, "Software Bug Contributed to Blackout" (2004), SecurityFocus
- M. Farrell, "Facebook IPO : Wall Street's losses mount" (2012), CNNMoneyInvest
- S. A. Asadollah, "Concurrency Bugs in Open Source Software : a Case Study", Journal of Internet Services and Applications, 8(1) (2017)
- G.R. Lee, "Study on Management Improvement Plan of Ground Weapon System", Journal of Defense & Technology, 438, pp.72~83 (2015)
- Weapon System Software Development and Management Manual, "DAPA", DAPA, 7-1~7-14 (2016)
- 권경용, "신뢰성 시험 프로세스 개선을 통한 무기체계 내장형 소프트웨어 소스코드 품질확보에 관한 연구", 정보과학회논문지, 42(7), pp.860~867 (2015), 한국정보과학회
- Y.G. Song, "Defense Field Weapon System Reliability Improvement Plan", Journal of Defense &Technology, 449, pp.116~129 (2016)
- 노정현, "CodeSonar를 이용한 지역 SW개발 업체의 결함 유형분석", 한국정보통신학회논문지, 19(3), pp.683~688 (2015), 한국정보통신학회[DOI]
- MITRE, "Common Weakness Enumeration (CWE)", MITRE, ~ (2017)
- 김종우, "다기능레이더 소프트웨어 신뢰성시험 적용사례 및 결과", 전기전자학회논문지, 19(3), pp.431~439 (2015), 한국전기전자학회[DOI]
- NASA, "NASA Software Engineering HandBook(NASA-HDBK-2203)", NASA, ~ (2013)
- B. Norris, "CDSchecker : Checking Concurrent Data Structures Written with C", C++ Atomics, 2013, pp.48(10), 131~150
- C. Flanagan, "FastTrack : Efficient and Precise Dynamic Race Detection", Journal of ACM SIGPLAN Notices, 44(6), pp.121~133 (2009)
- I. Kuru, "PaRV : Parallelizing Runtime Detection and Prevention of Concurrency Error", Proceedings of Runtime Verification, pp.42~47 (2012)
- J. Yu, "Maple : A Coverage-Driven Testing Tool for Multithreaded Programs", Journal of ACM SIGPLAN Notices, 47(10), pp.485~502 (2012)