Abstract
Big data driven cyber physical systems not only meet big data 4V feature requirements, but also have to meet time constrains and spatial constraints of cyber physical systems. Big data driven cyber physical systems have to deal with time-constrained data and time-constrained transactions. They are now being used for several applications such as automobile and intelligent transportation systems, aerospace systems, medical devices and health care systems in each of big data driven cyber physical applications, data about the target environment must be continuously collected from the physical world and processed in a timely manner to generate real-time responses. Those systems contain a large network of sensors distributed across different components, which leads to a tremendous amount of measurement data available to system operators. Regarding big data modeling, an important question is how to represent a moving object. In contrast to static objects, moving objects are difficult to represent and model. The efficiency of modeling methods for moving objects is highly affected by the chosen method to represent and analyze the continuous nature of the moving object. The design of big data driven cyber physical systems requires the introduction of new concepts to model classical data structures, 4V features, time constraints and spatial constraints, and the dynamic continuous behavior of the physical world. In this paper, we propose a model based approach to model big data driven cyber physical systems based on integration of Modelica, Modelicaml, AADL, RCC and clock theory, we illustrate our approach by specifying and modeling Vehicular Ad hoc Networks (VANET).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Assuncao, M.D., Calheirosb, R.N., Bianchia, S., Netto, M.A.S., Buyya, R.: Big Data Computing and Clouds: Challenges, Solutions, and Future Directions. Technical Report CLOUDS-TR-2013-1, Cloud Computing and Distributed Systems Laboratory, The University of Melbourne (2013)
Eidson, J., Lee, E.A., Matic, S., Seshia, S.A., Zou, J.: Distributed Real-Time Software for Cyber-Physical Systems. Proceedings of the IEEE (special issue on CPS) 100(1), 45–59 (2012)
Kaisler, S., Armour, F., Espinosa, J.A., Money, W.: Big Data: Issues and Challenges Moving Forward. In: International Conference on System Sciences, pp. 995–1004. IEEE Computer Soceity, Hawaii (2013)
Don, S., Min, D.: Medical Cyber Physical Systems and Bigdata Platforms. In: The Fourth Workshop on Medical Cyber-Physical Systems (2013)
Mattsson, S.E., Elmqvist, H., Otter, M.: Physical system modeling with Modelica. Control Engineering Practice 6, 501–510 (1998)
Schamai, W.: Modelica Modeling Language (ModelicaML) A UML Profile for Modelica. technical report, Germany, Linkoping University, Sweden (2009)
SAE: Architecture Analysis & Design Language (AADL) v1, AS5506. SAE Aerospace Standard (2004)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, pp. 165–176 (1992)
Jifeng, H.: A Clock-Based Framework for Construction of Hybrid Systems. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) ICTAC 2013. LNCS, vol. 8049, pp. 22–41. Springer, Heidelberg (2013)
Zeadally, S., et al.: Vehicular ad hoc networks (VANETS): status, results, and challenges. Telecommunication Systems 50(4), 217–241 (2012)
Vazirgiannis, M.: Son. W.: A spatiotemporal model and language for movign objects on road networks. In: MOBIDE (2001)
Bajaj, R.H., Ramteke, P.L.: Big Data – The New Era of Data. International Journal of Computer Science and Information Technologies 5(2), 1875–1885 (2014)
OMG: OMG Unified Modeling Language TM (OMG UML) Version 2.2 (2009)
OMG: OMG Systems Modeling Language (OMG SysMLTM) Version 1.1 (2008)
SAE/AS2-C: Data Modeling Annex document for the Architecture Analysis & Design Language v2.0, AS5506A (2009)
Gilles, O., Hugues, J.: Expressing and enforcing user-defined constraints of AADL models. In: Proceedings of the 5th UML and AADL Workshop (2010)
Seemann, J., von Gudenberg, J.W.: Extension of UML Sequence Diagrams for Real-Time Systems. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 240–252. Springer, Heidelberg (1999)
Serrano, M.A., Romero, J.G., Patricio, M.A., García, J., Molina, J.M.: Applying the Dynamic Region Connection Calculus to exploit geographic knowledge in maritime surveillance. In: FUSION, pp. 1546–1553 (2012)
Griffiths, A.A.: Computational Properties of Spatial Logic in the Real Plane. Ph.D thesis, the University of Manchester (2008)
Xu, B., He, J., Zhang, L.: Specification of Cyber Physical Systems Based on Clock Theory. International Journal of Hybrid Information Technology 6(3), 45–54 (2013)
Adam, H.S., Gmbh, O., Simtd, B.M.: A Car-to-X System Architecture for Field Operational Tests. IEEE Communications Magazine 48(5), 148–154 (2010)
Yousefi, S., Mousavi, M.S., Fathy, M.: Vehicular Ad Hoc Networks (VANETs): Challenges and Perspectives. In: Proceedings of 6th International Conference on ITS Telecommunications, pp. 761–766 (2006)
Wladimir, S., Fritzson, S.P., Paredis, C., Pop, A.: Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations. In: Proceedings 7th Modelica Conference (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Zhang, L. (2014). An Approach to Model Complex Big Data Driven Cyber Physical Systems. In: Sun, Xh., et al. Algorithms and Architectures for Parallel Processing. ICA3PP 2014. Lecture Notes in Computer Science, vol 8630. Springer, Cham. https://doi.org/10.1007/978-3-319-11197-1_59
Download citation
DOI: https://doi.org/10.1007/978-3-319-11197-1_59
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11196-4
Online ISBN: 978-3-319-11197-1
eBook Packages: Computer ScienceComputer Science (R0)