AADL architecture model construction based on FACE mode
In the development of time-sensitive, mission-critical aerospace software systems, the modeling technology that combines the FACE(future airborne capability environment) open architecture model with the AADL(architecture analysis & design language) architectural model is gradually becoming a res...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
EDP Sciences
2024-12-01
|
| Series: | Xibei Gongye Daxue Xuebao |
| Subjects: | |
| Online Access: | https://www.jnwpu.org/articles/jnwpu/full_html/2024/06/jnwpu2024426p1160/jnwpu2024426p1160.html |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1825206568220622848 |
|---|---|
| author | LYU Guangzhe YU Chunhai KANG Kai MA Chunyan LIN Wei |
| author_facet | LYU Guangzhe YU Chunhai KANG Kai MA Chunyan LIN Wei |
| author_sort | LYU Guangzhe |
| collection | DOAJ |
| description | In the development of time-sensitive, mission-critical aerospace software systems, the modeling technology 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 proposes 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. |
| format | Article |
| id | doaj-art-6d6a46c6538448cc84c5646e288f5a3b |
| institution | Kabale University |
| issn | 1000-2758 2609-7125 |
| language | zho |
| publishDate | 2024-12-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | Xibei Gongye Daxue Xuebao |
| spelling | doaj-art-6d6a46c6538448cc84c5646e288f5a3b2025-02-07T08:23:14ZzhoEDP SciencesXibei Gongye Daxue Xuebao1000-27582609-71252024-12-014261160116710.1051/jnwpu/20244261160jnwpu2024426p1160AADL architecture model construction based on FACE modeLYU Guangzhe0YU Chunhai1KANG Kai2MA Chunyan3LIN Wei4AVIC Xi'an Aeronautical Computing Technique Research InstituteShaanxi Aircraft Industry Co., LtdSchool of Software, Northwestern Polytechnical UniversitySchool of Software, Northwestern Polytechnical UniversitySchool of Software, Northwestern Polytechnical UniversityIn the development of time-sensitive, mission-critical aerospace software systems, the modeling technology 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 proposes 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.https://www.jnwpu.org/articles/jnwpu/full_html/2024/06/jnwpu2024426p1160/jnwpu2024426p1160.htmlautomatic model constructionface modelaadl modelmapping mechanismstringtemplate template |
| spellingShingle | LYU Guangzhe YU Chunhai KANG Kai MA Chunyan LIN Wei AADL architecture model construction based on FACE mode Xibei Gongye Daxue Xuebao automatic model construction face model aadl model mapping mechanism stringtemplate template |
| title | AADL architecture model construction based on FACE mode |
| title_full | AADL architecture model construction based on FACE mode |
| title_fullStr | AADL architecture model construction based on FACE mode |
| title_full_unstemmed | AADL architecture model construction based on FACE mode |
| title_short | AADL architecture model construction based on FACE mode |
| title_sort | aadl architecture model construction based on face mode |
| topic | automatic model construction face model aadl model mapping mechanism stringtemplate template |
| url | https://www.jnwpu.org/articles/jnwpu/full_html/2024/06/jnwpu2024426p1160/jnwpu2024426p1160.html |
| work_keys_str_mv | AT lyuguangzhe aadlarchitecturemodelconstructionbasedonfacemode AT yuchunhai aadlarchitecturemodelconstructionbasedonfacemode AT kangkai aadlarchitecturemodelconstructionbasedonfacemode AT machunyan aadlarchitecturemodelconstructionbasedonfacemode AT linwei aadlarchitecturemodelconstructionbasedonfacemode |