Specification and Design Method for Big Data Driven Cyber Physical Systems

Abstract

Cyber physical systems (CPS) such as automobile and intelligent transportation systems, aerospace systems, medical devices and health care systems are receiving a lot of attentions recently. 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. Big data driven cyber physical systems are therefore specific. Their design needs appropriate concepts and tools which are not available under systemic or object oriented methods. UML, the most used nowadays, cannot, in its standard form, satisfy the requirements of such design. 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, guarantees QoS in a highly scalable manner, we present how to use AADL the extension mechanisms to model big data, especial spatial information and temporal information, we propose a scheduling algorithm to meet big data driven cyber physical system requirements.