Hybrid Modeling and Model Transformation of AADL for Verifying the Properties of CPS Space-Time Compositions
| Autor: | Yi Zhu, Jinyong Wang, Anarbekov Altynbek, Yu Zhao, Xiaoying Chen |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
AADL
formalization General Computer Science Spacetime cyber physical system Computer science Model transformation Distributed computing Space time General Engineering Cyber-physical system Work in process Design language TK1-9971 Airborne collision avoidance system Key factors TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS General Materials Science Electrical engineering. Electronics. Nuclear engineering process algebra computer computer.programming_language |
| Zdroj: | IEEE Access, Vol 9, Pp 99539-99551 (2021) |
| ISSN: | 2169-3536 |
| DOI: | 10.1109/access.2021.3095768 |
| Popis: | The wide application of Cyber Physical System (CPS) makes the security of CPS more and more concerned. As the key factors affecting the safety of CPS, space and time have also become the current research hotspot. The space and time safety of CPS requires that CPS arrives at the specified place at the specified time, time and space should meet the safety requirements of the CPS in the current CPS environment. We call the behavior space-time compositions. In order to solve the problem that CPS lacks the method of modeling and verification of space-time compositions, a hybrid Architecture Analysis & Design Language (AADL) modeling and model transformation method for CPS space-time compositions verification is proposed. Firstly, space-time description capability is extended in the AADL behavior annex and Hybrid AADL (HAADL) is proposed. Secondly, differential equations and space-time compositions vector are introduced in Process Algebra to propose Hybrid Space-Time Communication Sequential Processes (HS-TCSP). Furthermore, the Hybrid AADL is transformed to HS-TCSP. Finally, an example of an aircraft collision avoidance system is used to verify the effectiveness of the method. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|