혼합된 time-triggeredevent-triggered 운영체제를 위한 priority ceiling protocol의 수정