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.

[1]  Steve Vestal,et al.  The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[2]  R. Poovendran,et al.  Cyber-physical integration in future aviation information systems , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

[3]  Peter H. Feiler,et al.  Multi-dimensional Model Based Engineering Using AADL , 2008, IEEE International Workshop on Rapid System Prototyping.

[4]  Martin Otter,et al.  Modelica-a language for physical system modeling, visualization and interaction , 1999, Proceedings of the 1999 IEEE International Symposium on Computer Aided Control System Design (Cat. No.99TH8404).

[5]  R. Poovendran,et al.  Cyber-physical system framework for future aircraft and air traffic control , 2012, 2012 IEEE Aerospace Conference.

[6]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

[7]  Hilding Elmqvist,et al.  Physical system modeling with Modelica , 1998 .

[8]  Radha Poovendran,et al.  Secure Operation, Control, and Maintenance of Future E-Enabled Airplanes , 2008, Proceedings of the IEEE.

[9]  Rolf Johansson,et al.  Developing Automotive Products Using the EAST-ADL2, an AUTOSAR Compliant Architecture Description Language , 2008 .

[10]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[11]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[12]  Peter H. Feiler,et al.  Aspects in the industry standard AADL , 2007 .

[13]  Radha Poovendran,et al.  Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.

[14]  Frank Slomka,et al.  A Multidisciplinary Design Methodology for Cyber-physical Systems , 2011 .

[15]  Janos Sztipanovits,et al.  Cyber Physical Systems — Convergence of Physical and Information Sciences , 2012, it Inf. Technol..

[16]  Peter Fritzson.  Modelica — A cyber-physical modeling language and the OpenModelica environment , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[17]  Peter Fritzson,et al.  Aircraft – A Modelica Library for Aircraft Dynamics Simulation , 2004 .