AADL-Based Reliability Modeling Method of Cyber-Physical Systems

Abstract

The characteristics of CPS (Cyber-Physical Systems) are analyzed firstly in this paper, and then the challenges of system modeling brought by heterogeneous feature of the CPS system are pointed out. Then, the description method of CPS fusion model is studied. We also propose a description method of CPS integrated modeling framework based on extended AADL; and realize the unified description of the computing entity, the physical entity and interactive entity through extending the standard and appendix of AADL. On this basis, we use Z language to provide formal semantics for the framework, and describe the process of error propagation in detail. Finally, the process of reliability modeling of integrated navigation control system of distance-control boat using this method is illustrated.