Designing big data driven cyber physical systems based on AADL

Big data driven cyber physical systems make use of large amounts of data to determine their operation. Data is clearly crucial to the correct operation of these big data driven cyber physical systems. Examples include aerospace systems, air traffic control systems, railway signaling systems, intelligent transportation and battlefield management systems. When big data driven cyber physical systems are used within safety-related applications, the safety of the overall systems is determined by the properties of all its constituent parts. The correctness of the data is also essential if the system is going to achieve overall safety. Therefore, one of the key challenges is providing the specification and modeling methods for data services for big data driven cyber physical systems. Big data driven cyber physical systems have to deal with large amounts of data in a timely, secure fashion. In this paper, we propose a big data driven cyber physical system design method based on AADL, which can specify and model the requirements of big data driven cyber physical systems, implement these requirements on big data platforms. The main advantages of the proposed approach are its capacity to take into account big data properties and cyber physical system properties through specialized concepts in rigorous, easy and expressive manner. The proposed approach is illustrated by a case study of specifying and modeling aviation cyber physical systems.