지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 시스템 및 이론 정보과학회논문지 : 시스템 및 이론 제41권 제1호
- 발행연도
- 2014.2
- 수록면
- 1 - 11 (11page)
이용수
초록· 키워드
오류제보하기
현대 운영체제에서는 디바이스 드라이버가 운영 체제의 많은 부분을 차지하며, 이전 연구에서 보여 주듯이 결함 허용 시스템의 설계 및 시험 과정에서는 신뢰성 테스트가 필수적으로 요구된다. 신뢰성검증을 위해 소프트웨어 결함 주입 기법이 많이 이용되며, 본 논문에서는 최신 리눅스 커널 버전에서 구현된 새로운 결함 주입 도구인 LMFI를 제안한다. LMFI는 리눅스 loadable module로 구현되어 리눅스 디바이스 드라이버의 데이터 영역, 코드 영역, 함수 영역, 스택 영역에 결함을 주입하여 커널 크래쉬(kernel crash)에 미치는 영향을 분석할 수 있으며, spin_lock과 mutex_lock과 같은 동기화 함수들에 결함을 주입하여 동기화 함수들이 커널 멈춤(kernel hang)에 미치는 영향을 분석할 수 있다. 또한 다양한 결함 주입 매개변수들을 지원하여 효과적인 결함 주입 실험이 가능하게 하였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 설계와 구현
4. 실험
5. 실험 결과 및 분석
6. 결론 및 향후 과제
References
참고문헌 (26)
참고문헌 신청
1. [단행본] - Benso, Alfredo / 2003 / Fault injection techniques and tools for embedded systems reliability evaluation. vol.23 / Springer
2. [학술지(정기간행물)] - Arlat, Jean / 1990 / Fault injection for dependability validation: A methodology and some applications / Software Engineering, IEEE Transactions on 16 (2) : 166 ~ 182
3. [단행본] - Johnson, Barry W. / 1988 / Design & analysis of fault tolerant digital systems / Addison-Wesley Longman Publishing Co., Inc.
4. [인터넷자원] - / / Linux Kernel Fault Injection Framework
5. [학술지(정기간행물)] - Hsueh, Mei-Chen / 1997 / Fault injection techniques and tools / Computer 30 (4) : 75 ~ 82
2. [학술지(정기간행물)] - Arlat, Jean / 1990 / Fault injection for dependability validation: A methodology and some applications / Software Engineering, IEEE Transactions on 16 (2) : 166 ~ 182
3. [단행본] - Johnson, Barry W. / 1988 / Design & analysis of fault tolerant digital systems / Addison-Wesley Longman Publishing Co., Inc.
4. [인터넷자원] - / / Linux Kernel Fault Injection Framework
5. [학술지(정기간행물)] - Hsueh, Mei-Chen / 1997 / Fault injection techniques and tools / Computer 30 (4) : 75 ~ 82
이 논문의 저자 정보
이 논문과 함께 이용한 논문
An Effective Technique for Detecting Vulnerabilities in Android Device Drivers
정영기
,
조성제
Journal of KIISE
2016
.11
분할 멀티 코어 시스템에서의 공유 자원 접근의 최악 지연 시간 분석
강동현
,
최준철
,
하순회
한국정보과학회 학술발표논문집
2015
.06
NoC 기반 매니코어 플랫폼에서의 태스크-타일 바인딩 기술
강진택
,
김태영
,
김성찬
외 1명
한국정보과학회 학술발표논문집
2015
.06
Inter-GuestOS Communications in Multicore-based ARM TrustZone
전무웅
,
김세원
,
유혁
Journal of KIISE
2015
.05
안드로이드 시스템에 zRAM 적용에 대한 성능 분석
임상섭
,
이치영
,
유혁
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2014
.03
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-560-001126743