计算机科学 ›› 2006, Vol. 33 ›› Issue (7): 262-265.
• 计算机网络与信息安全 • 上一篇 下一篇
刘瑞成 张立臣
出版日期:
发布日期:
基金资助:
LIU Rui-Cheng, ZHANG Li-Chen （Faculty of Computer Science, Guangdong University of Technology, Guangzhou 510090）
Online:
Published:
摘要： 分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。
关键词: 面向方面软件设计 形式化方法 时间自动机 模糊时间Petri网 随机实时时序逻辑 实时系统
Abstract: 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-ori
Key words: Aspect-oriented software design, Formal method, Timed automata, Fuzzy-timing Petri nets, Stochastic and real-time temporal logic, Reabtime system
刘瑞成 张立臣. 基于面向方面的实时系统建模方法[J]. 计算机科学, 2006, 33(7): 262-265. https://doi.org/
LIU Rui-Cheng, ZHANG Li-Chen （Faculty of Computer Science, Guangdong University of Technology, Guangzhou 510090）. [J]. Computer Science, 2006, 33(7): 262-265. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I7/262
Cited
首页