711.50 실시간 시스템의 시간 관리