임베디드 환경에서 커널 크래쉬 핸들링 분석을 위한 단순 커널 모델

운영체제에서 발생하는 대부분의 오류는 시스템 전체를 크래쉬(crash) 시킬 수 있다. 특히 임베디드 시스템에서는 신뢰적이지 않은 원천에서 유입된 커널 코드가 많아 커널의 신뢰성 문제는 좀 더 중요하다. 본 연구의 목적은 커널 크래쉬에 대한 세 가지의 대처 방안인 재부팅, 복구, 예방을 분석하고 그들 가운데 임베디드 시스템 환경에 적합한 방안을 찾는 것이다. 이를 위해 임베디드 환경의 제약을 반영한 커널 모델을 정의하고, 이를 대상으로 세 가지의 커널 크래쉬 처리 방안을 표현 및 분석 하였다. 이와 더불어 각 처리 방안의 평가를 위한 속성을 정의하는데 초점을 두었다. 본 논문에서는 결과는 임베디드 시스템 환경에서 평가 하기 위한 지침으로써의 의의가 있으며, 향후 연구에서 복잡한 실제 시스템의 분석 및 평가에 활용될 수 있을 것이다.