A framework to specify big data driven complex cyber physical control systems

Big data technology is a new technology that aims to efficiently obtain value from very big volumes of a wide variety of data, by enabling high velocity capture, process, store, discovery and/or analysis, while ensuring their veracity by an automatic quality control in order to obtain a big value and make decision. Big Data is described by what is often represented as a multi-V model. In multi-V model, volume, velocity and variety are the items most commonly recognized. Big data driven cyber physical systems refer to such cyber physical systems that use large quantities of complex data to perform their functions. Data is very important to the correct specification, analysis, design and implementation and operation of these big data driven cyber physical systems. he design of big data driven cyber physical systems requires that new concepts are used to model classical data structures, 4V features of big data, spatio-temporal constraints and moving object, and the dynamic continuous behavior of the physical world. In this paper, we propose an approach to integrate Architecture Analysis & Design Language (AADL) [6], Modelicaml and Hybrid Relation Calculus for big data driven cyber physical system development. We illustrate the proposed method by specifying and modeling the Vehicular Ad doc NETwork (VANET).

[1]  Yunhao Liu,et al.  Big Data: A Survey , 2014, Mob. Networks Appl..

[2]  Fei-Yue Wang,et al.  Data-Driven Intelligent Transportation Systems: A Survey , 2011, IEEE Transactions on Intelligent Transportation Systems.

[3]  Wladimir Schamai.  Modelica Modeling Language (ModelicaML) : A UML Profile for Modelica , 2009 .

[4]  Manfred Broy,et al.  Engineering Cyber-Physical Systems: Challenges and Foundations , 2012, CSDM.

[5]  Stefan Wrobel,et al.  Spatiotemporal Modeling and Analysis—Introduction and Overview , 2012, KI - Künstliche Intelligenz.

[6]  Ilja Radusch,et al.  simTD: a car-to-X system architecture for field operational tests [Topics in Automotive Networking] , 2010, IEEE Communications Magazine.

[7]  Helen Gill,et al.  Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).

[8]  He Jifeng,et al.  A Clock-Based Framework for Construction of Hybrid Systems , 2013, ICTAC 2013.

[9]  Yu Wang,et al.  Vehicular Ad Hoc Networks , 2009, Guide to Wireless Ad Hoc Networks.

[10]  Jo Ann Lane,et al.  Using SysML modeling to understand and evolve systems of systems , 2013, Syst. Eng..

[11]  Lichen Zhang,et al.  A Case Study for Cyber Physical System with Hybrid Relation Calculus , 2014 .

[12]  John A. Keane,et al.  Big Data Framework , 2013, 2013 IEEE International Conference on Systems, Man, and Cybernetics.

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

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

[15]  Steve Vestal,et al.  An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2004, IFIP-WADL.

[16]  Luc Quoniam,et al.  How to Use Big Data Technologies to Optimize Operations in Upstream Petroleum Industry , 2013, ArXiv.

[17]  Rajkumar Buyya,et al.  Big Data Computing and Clouds: Challenges, Solutions, and Future Directions , 2013, ArXiv.

[18]  S. Yousefi,et al.  Vehicular Ad Hoc Networks (VANETs): Challenges and Perspectives , 2006, 2006 6th International Conference on ITS Telecommunications.

[19]  Jifeng He.  Hybrid Relation Calculus , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

[20]  Ouverte OATAO.  AADLib, a library of reusable AADL models , 2013 .

[21]  Peter H. Feiler,et al.  Developing AADL Models for Control Systems: A Practitioner's Guide , 2007 .

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

[23]  Jim Esch,et al.  Prolog to "Aviation Cyber-Physical Systems: Foundations for Future Aircraft and Air Transport" , 2013, Proc. IEEE.

[24]  Gertjan Looye.  An Integrated Approach to Aircraft Modelling and Flight Control Law Design , 2008 .

[25]  The SAE Architecture Analysis & Design Language ( AADL ) Standard , .

[26]  C. L. Philip Chen,et al.  Data-intensive applications, challenges, techniques and technologies: A survey on Big Data , 2014, Inf. Sci..

[27]  Peter H. Feiler,et al.  The SAE AADL Standard: an Architecture Analysis & Design Language for Embedded Real-time Systems, Part 2 , 2004 .

[28]  Steve Vestal,et al.  The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2003 .

[29]  Yu-Chee Tseng,et al.  Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .