Review of Key Attribute Analysis and Verification Techniques for CPS
Mingfu Tuo, Wenliang Wu, Hongmei Zhang, Yongmei Zhao · 2024
In the key application fields of Cyber-Physical Systems, such as unmanned control systems, there are very strict requirements for system safety, real-time and other key attributes. However, the characteristics of CPS pose great challenges to their attribute analysis and verification. In this paper, the related works of key attribute verification of CPS is deeply analyzed, the classification of research methods is summarized, and the hot spots and difficulties in this field are pointed out.