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

摘要：

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

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

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60474072;60174050;广东省自然科学基金04009465;010059;广东省高校自然科学基金Z03024

在线出版日期：2006-09-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：262-265