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

2014 IEEE International Conference on Information and Automation, ICIA 2014

Volumn , Issue , 2014, Pages 548-553

  Zhang, Lichen ^a,b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

AADL; Big data; Cyber physical systems; modeling; Specification; VANET

Indexed keywords

CALCULATIONS; COMPLEX NETWORKS; CYBER PHYSICAL SYSTEM; DATA MINING; EMBEDDED SYSTEMS; MODELS; QUALITY CONTROL; SPECIFICATIONS; VEHICULAR AD HOC NETWORKS;

AADL; ARCHITECTURE ANALYSIS; AUTOMATIC QUALITY CONTROL; BIG DATA TECHNOLOGIES; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN AND IMPLEMENTATIONS; SPATIO-TEMPORAL CONSTRAINTS; VANET;

BIG DATA;

EID: 84914158970     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICInfA.2014.6932715     Document Type: Conference Paper

References (23)

1. Abdelkader Baaziz, Luc Quoniam. How to use Big Data technologies to optimize operations in Upstream Petroleum Industry, International Journal of Innovation, Vol.1, No.1, P 30-42, 2013
2. Marcos D. Assuncao, Rodrigo N. Calheiros, Silvia Bianchi, Marco A. S. Netto, Rajkumar Buyya. Big Data Computing and Clouds: Challenges, Solutions, and Future Directions. http://arxiv.org/abs/1312.4722
3. 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
4. Fang-Jing Wu, Yu-Fen Kao, Yu-Chee Tseng. From wireless sensor networks towards cyber physical systems, Pervasive and Mobile Computing 7, 397-413, 2011
5. SAE AS5506. Architecture Analysis & Design Language (AADL) v1. SAE Aerospace Standard, 2004.
6. Schamai W. Modelica Modeling Language (ModelicaML) A UML Profile for Modelica, technical report 2009:5, EADS IW, Germany, Linkoping University, Sweden, 2009
7. He, J.: Hybrid Relation Calculus. In: 2013 18th International Conference on Engineering of Complex Computer Systems (ICECCS), p. 2. IEEE (2013)
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. S. Kisilevich et al. Spatio-Temporal Clustering: a Survey. http://kdd.isti.cnr.it/-nanni/papers/DMKD-Handbook-STCluster ing-submitted.pdf
10. P. H. Feiler, D. P. Gluch, J. J. Hudak. The Architecture Analysis & Design Language (AADL): An Introduction. CMU/SEI-2006-TN-001, Carnegie Mellon University & Software Engineering Institute, 2006.
11. Peter H. Feiler. The SAE Architecture Analysis & Design Language (AADL) Standard. Software Engineering Institute, CMU, January 2008
12. Hugues, Jerome. AADLib, a library of reusable AADL models, SAE Technical Papers, v 7, 2013, SAE 2013 AeroTech Congress and Exhibition, AEROTECH 2013
13. Peter H. Feiler et al. The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. https://resources.sei.cmu.edu/asset../2003-019-001-29553.pdf
14. Wladmir Schamai (EADS Innovation Works, Linkoping University). ModelicaML Tutorial. MODPROD 2011.
15. Mattsson, S.E., Elmqvist, H., Otter, M. Physical system modeling with Modelica. Control Engineering Practice, vol. 6, pp. 501-510, 1998
16. OMG. OMG Unified Modeling Language TM (OMG UML). Superstructure Version 2.2, February2009.
17. OMG. OMG Systems Modeling Language (OMG SysML™), Version 1.1, November 2008.
18. Shuguang Feng and Lichen Zhang. A Case Study for Cyber Physical System with Hybrid Relation Calculus, Lecture Notes in Electrical Engineering 279, p 147-151
19. Junping Zhang, Fei-Yue Wang, Kunfeng Wang, Wei-Hua Lin, Xin Xu, Cheng Chen, Data-driven intelligent transportation systems: a survey, IEEE Trans.Intell. Trans. Syst. 12 (4) (2011) 1624-1639.
20. Yousefi, S.;, Mousavi, M.S. and Fathy, M. Vehicular Ad Hoc Networks (VANETs): Challenges and Perspectives, Proceedings of 6th International Conference on ITS Telecommunications, 2006, p761-766
21. Hagen Stubing, Adam Opel Gmbh Marc Bechler.simTD: A Car-to-X System Architecture for Field Operational Tests[J]. IEEE Communications Magazine. 2010, 48(5):148-154.
22. Hudak J J, Feiler P H. Developing aadl models for control systems: A practitioner's guide[J]. 2007.
23. Bruce Lewis, Peter H Feiler,, Jérôme Hugues. AADL-OSATE Status and future. http://gforge.enseeiht.fr/docman/view.php/52/4296/A3-ISAE.pdf