Abstract 시스템의 신뢰성에 대한 정