计算机科学 ›› 2017, Vol. 44 ›› Issue (7): 38-41.doi: 10.11896/j.issn.1002-137X.2017.07.007
• 2016 年全国理论计算机科学学术年会 • 上一篇 下一篇
宋振华,张广泉
SONG Zhen-hua and ZHANG Guang-quan
摘要: 信息-物理融合系统(Cyber-Physical System,CPS)作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。
[1] HE J F.Cyber-Physical Systems[J].China Computer Federation,2010,6(1):25-29.(in Chinese) 何积丰.Cyber-Physical Systems[J].中国计算机学会通讯,2010,6(1):25-29. [2] GIRAULT C,VALK R.Petri Nets for Systems Engineering:A Guide to Modeling,Verification,and Applications [M].Springer& Business Media,2013. [3] ZHANG M T,ZHANG G Q,ZHANG K,et al.Spatio-Temporal Petri Net Model for Describing CPS Physical Entities[J].Journal of Frontiers of Computer Science & Technology,2013,7(4):377-384.(in Chinese) 张茗泰,张广泉,张侃,等.描述 CPS 物理实体的时空 Petri 网模型[J].计算机科学与探索,2013,7(4):377-384. [4] KICZALES G,LAMPING J,MENDHEKAR A,et al.Aspect-oriented programming[C]∥European Conference on Object-orie-nted Programming.Springer Berlin Heidelberg,1997:220-242. [5] ROUBTSOVA E,AKSIT M.Extension of Petri Nets by As-pects to Apply the Model Driven Architecture Approach [C]∥Preliminary Proceedings of the 1st International workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB).2005:1-15. [6] XU D,NYGARD K E.Threat-Driven Modeling and Verification of Secure Software using Aspect-Oriented Petri Nets[J].IEEE Transactions on Software Engineering,2006,32(4):265-278. [7] QIAN Z,YU H.A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems[C]∥International Conference on Information Science and Applications (ICISA).IEEE,2013:1-7. [8] ZHENG L,RONG M,Zhang G,et al.Method for Modeling CPS Based on Open Colored Petri Net [J].Journal of Computational Information Systems,2014,10(22):9657-9664. [9] JENSEN K.An Introduction to the Theoretical Aspects of Co-loured Petri Nets [M]∥A Decade of Concurrency Reflections and Perspectives.Springer Berlin Heidelberg,1994:230-272. [10] CHRISTENSEN S,HANSEN N D.Coloured Petri Nets Ex-tended with Place Capacities,Test Arcs and Inhibitor Arcs[M].Springer Berlin Heidelberg,1993. |
No related articles found! |
|