- 期刊
Modeling and Analyzing Reliable Cyber-Physical Systems Based on Aspect Orientation
並列摘要
Cyber-physical systems (CPS) consists of distributed computation interconnected by computer networks. Finding a common semantics among these diverse components that facilitate system modeling, synthesis, and verification is a significant challenge of CPS. Aspect oriented method is proposed to model and analyze reliable CPS, Petri nets are used to observe behaviors of basic component, such as device, computation and physical interaction, component and communication process. The reliability assurance strategy of CPS is proposed, aspect orientation is used to weave it into the base net. Based on this, the effectiveness and feasibility of proposed method are analyzed based on the operation semantics of Petri nets. A case study of material balancing system and experimental results demonstrate that the approach can contribute to the improvement of design quality in developing reliable CPS.
被引用紀錄
延伸閱讀
- Wang, S. Y. (2004). Abstraction of Formal Models in Real-Time System Verification [master's thesis, National Taiwan University]. Airiti Library. https://doi.org/10.6342/NTU.2004.02251
- Nguyen, H. T. (2005). On Modeling Perception-based Information for Intelligent Technology and Statistics. 智慧科技與應用統計學報, 3(2), 25-43. https://doi.org/10.29807/JTITAS.200512.0002
- LEVI, P., SCHANZ, M., & AVRUTIN, V. (2000). Modeling and Analysis of a Simple Manufacturing-Oriented Multi-Agent System. Discrete Dynamics in Nature and Society, 2000(), 35-45. https://doi.org/10.1155/S1026022600000376
- Lin, T. S., & Wu, W. Y. (2022). Information Detection on the Spatial Varying Model. 中國統計學報, 60(4), 233-260. https://www.airitilibrary.com/Article/Detail?DocID=05296528-202212-202212060009-202212060009-233-260
- 簡政嘉（2005）。Modeling and Parameters Identification for an Active Suspension System〔碩士論文，崑山科技大學〕。華藝線上圖書館。https://doi.org/10.6828/KSU.2005.00080