TY - JOUR
T1 - 基于 FACE 模型的 AADL 体系架构模型构建方法
AU - Lyu, Guangzhe
AU - Yu, Chunhai
AU - Kang, Kai
AU - Ma, Chunyan
AU - Lin, Wei
N1 - Publisher Copyright:
© 2024 Northwestern Polytechnical University. All rights reserved.
PY - 2024/12
Y1 - 2024/12
N2 - ; In the development of time-sensitive, mission-oritical aerospace Software Systems, the modeling technolo-gy that combines the FACE(future airborne capability environment) open architecture model with the AADL (architecture analysis & design language) architectural model is gradually becoming a research hot spot. This paper pro-poses an automatic construction method for AADL models based on the FACE model. Firstly, the formal definition of the syntactic structure of the FACE model is given using context-independent grammar. Secondly, the 26 kinds of mapping rules from FACE model elements to AADL model elements are designed, and the rationality of the mapping rules is proved by the graph homomorphism theory. Then, the StringTemplate template is designed based on the mapping rules, and the template engine algorithm for generating AADL model is given. Finally, a total of 12 kinds of FACE models elements in four aspects are taken as experimental objects, 241 FACE model instances are designed as test cases, and the generated AADL models are verified in the OSATE tool. The method in this paper has been applied in the aviation field. The results can avoid repeated modeling work in the preliminary design stage and the detailed design stage.
AB - ; In the development of time-sensitive, mission-oritical aerospace Software Systems, the modeling technolo-gy that combines the FACE(future airborne capability environment) open architecture model with the AADL (architecture analysis & design language) architectural model is gradually becoming a research hot spot. This paper pro-poses an automatic construction method for AADL models based on the FACE model. Firstly, the formal definition of the syntactic structure of the FACE model is given using context-independent grammar. Secondly, the 26 kinds of mapping rules from FACE model elements to AADL model elements are designed, and the rationality of the mapping rules is proved by the graph homomorphism theory. Then, the StringTemplate template is designed based on the mapping rules, and the template engine algorithm for generating AADL model is given. Finally, a total of 12 kinds of FACE models elements in four aspects are taken as experimental objects, 241 FACE model instances are designed as test cases, and the generated AADL models are verified in the OSATE tool. The method in this paper has been applied in the aviation field. The results can avoid repeated modeling work in the preliminary design stage and the detailed design stage.
KW - AADL model
KW - automatic model construction
KW - FACE model
KW - mapping mechanism
KW - StringTemplate template
UR - http://www.scopus.com/inward/record.url?scp=85214847043&partnerID=8YFLogxK
U2 - 10.1051/jnwpu/20244261160
DO - 10.1051/jnwpu/20244261160
M3 - 文章
AN - SCOPUS:85214847043
SN - 1000-2758
VL - 42
SP - 1160
EP - 1167
JO - Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
JF - Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
IS - 6
ER -