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).