Real-time component model must be effective in its real-time properties specification. it provides mechanisms to ensure component be reused though its interface. on the system design stage, to help developers describing real-time system and its performance, the appropriate description of component property are stressed. since the formal specification language market abstract and form characteristic, using formal description descript a real-time component model is suitable.