Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
최신 리눅스 커널 적용 가능한 장치 드라이버 결함 주입기와 분석 도구의 설계 및 구현
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 박순교 | - |
| dc.contributor.author | 유혁 | - |
| dc.contributor.author | 김영필 | - |
| dc.date.accessioned | 2021-09-05T15:15:09Z | - |
| dc.date.available | 2021-09-05T15:15:09Z | - |
| dc.date.created | 2021-06-17 | - |
| dc.date.issued | 2014 | - |
| dc.identifier.issn | 1229-683X | - |
| dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/100595 | - |
| dc.description.abstract | 현대 운영체제에서는 디바이스 드라이버가 운영 체제의 많은 부분을 차지하며, 이전 연구에서 보여 주듯이 결함 허용 시스템의 설계 및 시험 과정에서는 신뢰성 테스트가 필수적으로 요구된다. 신뢰성 검증을 위해 소프트웨어 결함 주입 기법이 많이 이용되며, 본 논문에서는 최신 리눅스 커널 버전에서 구현된 새로운 결함 주입 도구인 LMFI를 제안한다. LMFI는 리눅스 loadable module로 구현되어 리눅스 디바이스 드라이버의 데이터 영역, 코드 영역, 함수 영역, 스택 영역에 결함을 주입하여 커널 크래쉬(kernel crash)에 미치는 영향을 분석할 수 있으며, spin_lock과 mutex_lock과 같은 동기화 함수들에 결함을 주입하여 동기화 함수들이 커널 멈춤(kernel hang)에 미치는 영향을 분석할 수 있다. 또한 다양한 결함 주입 매개변수들을 지원하여 효과적인 결함 주입 실험이 가능하게 하였다. | - |
| dc.language | Korean | - |
| dc.language.iso | ko | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 최신 리눅스 커널 적용 가능한 장치 드라이버 결함 주입기와 분석 도구의 설계 및 구현 | - |
| dc.title.alternative | Design and Implementation of Device Driver Fault Injector and Analyzer for Modern Linux Kernel | - |
| dc.type | Article | - |
| dc.contributor.affiliatedAuthor | 유혁 | - |
| dc.identifier.bibliographicCitation | 정보과학회논문지 : 시스템 및 이론, v.41, no.1, pp.1 - 11 | - |
| dc.relation.isPartOf | 정보과학회논문지 : 시스템 및 이론 | - |
| dc.citation.title | 정보과학회논문지 : 시스템 및 이론 | - |
| dc.citation.volume | 41 | - |
| dc.citation.number | 1 | - |
| dc.citation.startPage | 1 | - |
| dc.citation.endPage | 11 | - |
| dc.type.rims | ART | - |
| dc.identifier.kciid | ART001849024 | - |
| dc.description.journalClass | 2 | - |
| dc.description.journalRegisteredClass | kci | - |
| dc.subject.keywordAuthor | 결함 주입 | - |
| dc.subject.keywordAuthor | 결함 주입 도구 | - |
| dc.subject.keywordAuthor | 결함 허용 시스템 | - |
| dc.subject.keywordAuthor | 리눅스 커널 | - |
| dc.subject.keywordAuthor | 신뢰성 테스트 | - |
| dc.subject.keywordAuthor | fault injection | - |
| dc.subject.keywordAuthor | fault injection tool | - |
| dc.subject.keywordAuthor | fault tolerant system | - |
| dc.subject.keywordAuthor | Linux kernel | - |
| dc.subject.keywordAuthor | dependability test | - |
- Files in This Item
- There are no files associated with this item.
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.