모델 기반의 고장 검출 기법에 관한 고찰