Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions
The wide application of Cyber Physical System (CPS) makes the security of CPS more and more concerned.As ultrastar dc hc550 the key factors affecting the safety of CPS, space and time have also become the current research hotspot.The space and time safety of CPS requires that CPS arrives at the specified place at the specified time, time and space