作　　者： ; ;

机构地区： 广东工业大学计算机学院

出　　处： 《计算机科学》 2006年第7期262-265,共4页

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

关 键 词： 面向方面软件设计 形式化方法 时间自动机 模糊时间 网 随机实时时序逻辑 实时系统

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]