Physical and cyber convergence approach to design future complex aviation cyber physical systems

Aviation Cyber-Physical Systems are the integration of cyber systems and physical systems. Recent concentration to Aviation Cyber Physical Systems (ACPS) is driven by the demand for deeper Convergence of design disciplines that integrate physical and computational worlds. In this paper, we supply a new idea to support cyber-physical system design by proposing multi-dimension and multi-domain approach; we take a combination of different methodologies in a multi-formalism approach from different views. The effectiveness of the approach is illustrated by means of one practical case study: specifying and modeling Aviation Cyber-Physical Systems. We specify and model Aviation Cyber-Physical Systems with integrating Modelica and Architecture Analysis & Design Language (AADL), the physical world is modeled by Modelica, the cyber part is modeled by AADL.