The Analysis And Design Method Of Cyber-Physical System Based On AADL

Gyber-physical system(CPS) is a complex embedded system with deep integration of information system, physical system and control logic and it’s also a real-time, secure, reliable, and efficient system which can achieve real-time sensing, dynamic control and information services of large engineering systems involving physics, mechanics, electronics, communications, computers, machinery, control, and many other disciplines. The complexity of CPS causes a lot of dynamic and uncertain factors in the system. How to analyze and design CPS with the influence of these factors to ensure the system’s non-functional properties such as real-time, security and reliability is currently a hot research topic of CPS as well as the study content of this article.Architecture Analysis and Design Language AADL is a hierarchical architecture design method based on components, which can abstract and modeling system software and software-related hardware. AADL describes static structure of systems through building components and describes the dynamic characteristics of the systems through configuration changes of components interaction and data flow specification. AADL has various modeling and simulation tools to support system modeling, model validation, model transformation and automatic code generation, which is applicable for complex embedded systems modeling.This article covers the study of the characteristics and basic components of CPS, and the modeling elements and modeling process of AADL, according to the analysis of CPS modeling requirements and the advantages and disadvantages of modeling CPS with AADL, AADL is expanded and the mapping regulations between multi-domain modeling language Modelica and AADL are researched and given. Multi-domain modeling language Modelica which has advantages in modeling physical system is used to model physical system and the Modelica model of physical system is transferred into AADL model through model transformation. In space and behavior modeling of CPS, behavior annex of AADL is extended with time automata, so that the extended behavior annex can describe the space behavior of CPS. And the transition regulations between AADL behavior model and UPPAAL automata time model is studied and given, so that the correctness and rationality of system’s behavior model can be verified by UPPAAL. In reliability and security analysis of system, AADL error model and error propagation in the system components are studied and transformation rules between AADL error model and GSPN computional model are given. Finally, UAV CPS is used as an example to verify the analysis and design method of CPS based on AADL which is proposed in this paper through flow delay analysis, scheduling verification, behavior model validation and reliability analysis of UAV CPS AADL1to prove the validity and effectiveness of the proposed method.