Integrated modeling method of Cyber physical system based on extended AADL

Renya, He; Wu, Lei; Longli, Tang; Xinyu, Han; Zhaowei, Xu; Gu, Guoqiang

doi:10.1088/1757-899x/1043/2/022067

Cited by 2 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another modelling language used in the literature is the Architecture Analysis and Design Language (AADL). While Wu et al [ 180 ] used it to model the behaviour from different domains for a CPS, Renya et al [ 181 ] combined AADL with the modelling language Modelica. Sales et al [ 135 ] transferred the results of an ontology analysis into an AADL model.…”

Section: Resultsmentioning

confidence: 99%

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

Fett,

Wilking,

Goetz

et al. 2023

Sensors

View full text Add to dashboard Cite

Digital Twins offer vast potential, yet many companies, particularly small and medium-sized enterprises, hesitate to implement them. This hesitation stems partly from the challenges posed by the interdisciplinary nature of creating Digital Twins. To address these challenges, this paper explores systematic approaches for the development and creation of Digital Twins, drawing on relevant methods and approaches presented in the literature. Conducting a systematic literature review, we delve into the development of Digital Twins while also considering analogous concepts, such as Cyber-Physical Systems and Product-Service Systems. The compiled literature is categorised into three main sections: holistic approaches, architecture, and models. Each category encompasses various subcategories, all of which are detailed in this paper. Through this comprehensive review, we discuss the findings and identify research gaps, shedding light on the current state of knowledge in the field of Digital Twin development. This paper aims to provide valuable insights for practitioners and researchers alike, guiding them in navigating the complexities associated with the implementation of Digital Twins.

show abstract

Section: Resultsmentioning

confidence: 99%

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

Fett,

Wilking,

Goetz

et al. 2023

Sensors

View full text Add to dashboard Cite

show abstract

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra

Li¹,

Cao²,

Wang³

et al. 2023

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) are the next generation of intelligent systems that integrate information control devices with physical resources. With increasingly close connections between CPS components and frequent interactions, potential defects grow exponentially, rendering the operating environment of CPS unreliable. Therefore, research on methods and theories to ensure the correctness, safety and reliability of CPS is not only an important research topic but also an inevitable challenge. In this paper, we propose a CPS modeling and verification method based on Architecture Analysis & Design Language (AADL) and process algebra to address this challenge. Due to the continuous, time-constrained, stochastic, uncertain and concurrent characteristics of CPS, this paper considers both flexibility and rigor in the modeling process. We first extend the ability of AADL to describe the multiple characteristics of CPS and propose Hybrid Probability-AADL (HP-AADL). Second, this paper introduces conditional execution, conditional interruption and probability operators into Temporal Calculus of Communication Systems (TCCS) and designs a new formal modeling language Hybrid Probability-Temporal Calculus of Communication Systems (HP-TCCS). However, HP-AADL is a semi-formal modeling language that cannot be directly used for formal verification, it cannot strictly guarantee the quality of the established CPS models, including its functional correctness and safety. Therefore, this paper proposes transformation rules from HP-AADL to HP-TCCS, which enables model checking of CPS models described in HP-AADL within HP-TCCS. Additionally, this paper designs a new formal specification language HPAT-Spatial Temporal Logic (HPAT-STL) based on Probabilistic Computation Tree Logic (PCTL) and Spatial Logic, which characterizes the temporal, probabilistic and spatial properties of CPS model. To achieve formal verification of HP-TCCS model and HPAT-STL formulas, this paper proposes a model checking algorithm HPAT-Model Checking Algorithm (HPAT-MCA). Finally, we discuss a typical CPS example to demonstrate the effectiveness of our proposed method in ensuring correct, safe and reliable CPS.

show abstract

Integrated modeling method of Cyber physical system based on extended AADL

Cited by 2 publications

References 3 publications

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

A Literature Review on the Development and Creation of Digital Twins, Cyber-Physical Systems, and Product-Service Systems

A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra

Contact Info

Product

Resources

About