An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation

Abstract

The Cyber-Physical System has been characterized by deep integration of computing process and physical process, heterogeneous composition, etc. So it is difficult to model Cyber-Physical System and to analyze its properties. An approach to model Cyber-Physical System and to analyze its safety based on multiple modeling languages transformation is put forward. We model the Cyber-Physical System by Hybrid System Description Language, and analyze its safety by Hybrid Program Language. The meta model of Hybrid Program is established. The rules that automatically transform Hybrid System Description Language meta model to Hybrid Program meta model is provided. Result shows that this method can model Cyber-Physical System intuitively, meanwhile analyze its safety avoiding state space explosion in formal validation.