Formal Description of a Real-time Component

摘要

Real-time component model must be effective in its real-time properties specification. It provides mechanisms to ensure component be reused through 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 marked abstract and form characteristic, using formal description descript a real-time component model is suitable.