Convergence Approach to Model Physical World and Cyber World of Aviation Cyber Physical System

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. Consequently, heterogeneity is the norm as well as the great challenge in ACPS development: components and systems are specified and modeled using multiple multi-dimension, multi-views, multi-domain and multi-paradigm approaches, and systems are composited from physical, logical, functional and non-functional modeling aspects. Modeling the heterogeneous composition of physical world part, computational part and communication part of aviation cyber physical systems is an enormous challenge in engineering aviation cyber physical systems because of the causality, time To cope with this challenge, we introduce a new approach for system modeling. We supply a new idea to support cyber-physical system design by proposing multi-dimension, multi-view, multi-domain and multi-paradigm 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. Architecture Analysis & Design Language (AADL) and SysML, the physical world is modeled by Modelica and SysML, the cyber part is modeled by AADL and SysML.