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 the key factors affecting the Nightstand 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 should m