Abstract:In this paper, in order to make property sequence chart have timed expressiveness, the property sequence chart is extended into a timed property sequence chart that gives the semantics of the timed property sequence chart in terms of timed Büchi automaton. Then, the expressive power of timed property sequence chart is measured with the use of a recently proposed real-time specification pattern. Finally, the use of timed property sequence chart is illustrated in a case study, which shows the extensive application prospect of a timed property sequence chart in real-time system.