With the increasing task demand for complex system, the timeliness of the system is becoming a prominent problem, especially in the inefficient system and may even lead to safety problems. This paper proposes a modeling method considering the issue of timeliness for complex system, in which the clock semantic information of MARTE (the modeling and analysis of real-time and embedded systems) is added into UML (United Modeling Language) model element through the extension mechanism of UML to describe the time constraint information. The UML model with MARTE annotation is recorded as a UML/MARTE model and the formal definition of the UML/MARTE model elements is given. Finally, the aircraft landing process is taken as an example to carry out modeling analysis to verify the validity of the model.

No abstract