Real-time System Modeling Method Based on Aspect-oriented
基于面向方面的实时系统建模方法

The reabtime of distributed real-time systems can be modeled by aspect-oriented software design methods, and separated into deterministic timing sub-aspect, undeterministic timing sub-aspect and fuzzy timing sub-aspect further. According to the aspect-oriented technology, different timing subaspects can be designed by different design languages, such as the Stochastic and Reabtime Temporal Logic for deterministic and underministic timing subaspects, and Fuzzy-timing Petri Nets for the fuzzy timing subaspect. After all the timing aspects are designed, they are translated into timed automata and woven into the system, and realize the reabtime features.