基于面向方面的实时系统建模方法

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。

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.