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

ICAC 2014 - Proceedings of the 20th International Conference on Automation and Computing: Future Automation, Computing and Manufacturing

Volumn , Issue , 2014, Pages 283-288

  Zhang, Lichen ^a,b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

AADL; Big data; conceptual design; Cyber physical systems; Modelicaml

Indexed keywords

BIG DATA; COMPUTATION THEORY; CONCEPTUAL DESIGN; CYBER PHYSICAL SYSTEM; DIGITAL STORAGE; EMBEDDED SYSTEMS; REAL TIME SYSTEMS;

AADL; CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); DATA CHARACTERISTICS; DATA SPECIFICATIONS; MODEL BASED APPROACH; MODELICAML; REAL-TIME COMMUNICATION;

INFORMATION MANAGEMENT;

EID: 84912113273     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IConAC.2014.6935501     Document Type: Conference Paper

References (25)

1. Dunren Che, Mejdl Safran, Zhiyong Peng. From Big Data to Big Data Mining: Challenges, Issues, and Opportunities. HoloMAS 2013, LNAI 8062, pp. 305-316, 2013.
2. Avita Katal, Mohammad Wazid, R. H. Goudar: Big data: Issues, challenges, tools and Good practices. IC3 2013: 404-409
3. Min Chen, Shiwen Mao, Yunhao Liu. Big Data: A Survey, Mobile Netw Appl (2014) 19:171-209, 2014
4. Philip Chen C.L, Zhang Chun-Yang. Data-intensive applications, challenges, techniques and technologies: A survey on Big Data. Information Sciences, v 275, p 314-347, August 10, 2014
5. acatech - National Academy of Science and Engineering, 2011 (ed.), Cyber-Physical Systems, Springer-Verlag Berlin Heidelberg, 2011
6. Manfred Broy. Engineering Cyber-Physical Systems: Challenges and Foundations, Complex Systems Design & Management, Springer Berlin Heidelberg, 2013, pp 1-13
7. Call For Papers-CPSData - Big Data Technolgies for the Analysis and Control of complex Cyber-Physical Systems. www.systematic-paris-region.org/.../call-papers-cpsdata-big-da.
8. Tekiner Firat and Keane John A. Big data framework, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013, p 1494-1499, 2013
9. Hugues, Jerome. AADLib, a library of reusable AADL models, SAE Technical Papers, v 7, 2013, SAE 2013 AeroTech Congress and Exhibition, AEROTECH 2013
10. Schamai W.. Modelica Modeling Language (ModelicaML) A UML Profile for Modelica, technical report 2009:5, EADS IW, Germany, Linkoping University, Sweden, 2009
11. Jifeng He, "A Clock-Based Framework for Construction of Hybrid Systems," Lecture Notes in Computer Science 8049, ICTAC 2013, pp. 22-41, 2013.
12. Marek Obitko, Václav Jirkovský, Jan Bezdíček. Big Data Challenges in Industrial Automation, HoloMAS 2013, LNAI 8062, pp. 305-316, 2013
13. Christine Körner, Michael May, Stefan Wrobe. Spatiotemporal Modeling and Analysis-Introduction and Overview, Künstl Intell (2012) 26:215-221
14. M. Vazirgiannis and O. Wolfson. A spatiotemporal model and language for moving objects on road networks. In MOBIDE, 2001
15. SAE AS5506. Architecture Analysis & Design Language (AADL) v1. SAE Aerospace Standard, 2004.
16. Hudak J J, Feiler P H. Developing aadl models for control systems: A practitioner's guide[J]. 2007.
17. SAE/AS2-C. Data Modeling Annex document for the Architecture Analysis & Design Language v2.0 (AS5506A), October 2009
18. Pop, A., and Akhvlediani, D., and Fritzson, P. Towards Unified Systems Modeling with the ModelicaML UML Profile. International Workshop on Equation-Based Object-Oriented Languages and Tools. Berlin, Germany, Linköping University Electronic Press, 2007
19. J. A. Lane and T. Bohn. Using SysML modeling to understand and evolve systems of systems, Systems Engineering, vol. 16, no. 1, pp. 87-98, 2013.
20. Mattsson, S.E., Elmqvist, H., Otter, M.. Physical system modeling with Modelica. Control Engineering Practice, vol. 6, pp. 501-510, 1998
21. Bingqing Xu, Jifeng He and Lichen Zhang. Specification of Cyber Physical Systems Based on Clock Theory", International Journal of Hybrid Information Technology, vol. 6, no. 3, (2013), pp. 45-54.
22. D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rood, R.R.H. Schiffelers. Syntax and consistent equation semantics of hybrid Chi, The Journal of Logic and Algebraic Programming 68 (2006) 129-210
23. Esch, Jim. Aviation cyber-physical systems: Foundations for future aircraft and air transport, Proceedings of the IEEE, v 101, n 8, p 1831-1833, 2013
24. Richard Hayden, Harrison Chin. "Big Data" in Aviation Technology & Adoption Evolution. fisher.osu.edu/.../BIG%20Data%20In%20aviation%20FINAL%
25. Looye G H N. An integrated approach to aircraft modelling and flight control law design[J]. 2008.