| Citation: | YAN Zhipeng, CAI Xingquan, YANG Bo, et al. A multi-model centralized storage method for embedded system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2021, 47(12): 2414-2425. doi: 10.13700/j.bh.1001-5965.2020.0501(in Chinese)
|
The software safety is important factor in our daily life, model-driven software development gains more and more attention. For the existing integration barriers of cross-domain models, we popose a method based on meta-modeling techniques, which is applied for extracting multi-perspective model information. In order to provide a solution for model checking in the design phase, we elaborate a methodological framework for model element parsing and integration description file generation for three modeling languages: AADL, SysML and Simulink. The experiment shows that the model warehouse implemented according to the proposed method can accurately extract the integration-related information between models from different perspectives, with over 90% coverage rate of element number under the condition that it can be properly stored and queried.
| [1] |
MEREIM A, ABDEL-AZIZ M. A meta-model for model-based testing technique: A review[J]. Journal of Software Engineering, 2018, 12(1): 1-11.
|
| [2] |
STAHL T, VÖLTER M, BETTIN J, et al. Model-driven software development-technology, engineering, management[M]. New York: John Wiley & Sons, 2006.
|
| [3] |
BELETE G F, VOINOV A, LANIAK G F. An overview of the model integration process: From pre-integration assessment to testing[J]. Environmental Modelling & Software, 2017, 87: 49-63.
|
| [4] |
FRANK M, BROODNEY H, ORION U, et al. From common strategies and approaches to virtual integration[J]. INCOSE International Symposium, 2016, 26(1): 1988-1999. doi: 10.1002/j.2334-5837.2016.00275.x
|
| [5] |
DONG Y W, WEI X M, XIAO M R. Overview: System architecture virtual integration based on an AADL model[C]//Symposium on Real-Time and Hybrid Systems. Berlin: Springer, 2018: 105-115.
|
| [6] |
FEILER P H. Architecture-led requirements and safety analysis of an aircraft survivability situational awareness system: CMU/SEI-2015-SR-032[R]. Pittsburgh: Carnegie Mellon University, 2015.
|
| [7] |
MISBHAUDDIN M, ALSHAYEB M. An integrated metamodel-based approach to software model refactoring[J]. Software and Systems Modeling, 2019, 18(3): 2013-2050. doi: 10.1007/s10270-017-0628-3
|
| [8] |
MEIER J, WINTER A. Model consistency ensured by metamodel integration[C]//Models Workshops, 2018: 408-415.
|
| [9] |
PHILIP G, SURESH V P, D'SOUZA M. Safety validation using AADL system architecture models[C]//ISEC'18, 2018: 1-10.
|
| [10] |
BOUZIDI A, HADDAR N, HADDAR K. Traceability and synchronization between BPMN and UML use case models[J]. Ingénierie des Systèmesd'Information, 2019, 24: 215-228. doi: 10.18280/isi.240214
|
| [11] |
MEIER J, WINTER A. Traceability enabled by metamodel integration[J]. Softwaretechnik-Trends, 2018, 38: 21-26.
|
| [12] |
BEHJATI R, YUE T, NEJATI S, et al. An AADL-based SysML profile for architecture level systems engineering: Approach, metamodels, and experiments: 2011-03[R]. Lysaker: Simula Research Laboratory, 2011.
|
| [13] |
HANSSON J, HELTON S, FEILER P H. ROI analysis of the system architecture virtual integration initiative: CMU/SEI-2018-TR-002[R]. Pittsburgh: Carnegie Mellon University, 2018.
|
| [14] |
SOKOLSKY O, PAJIC M, BEZZO N, et al. Architecture-centric software development for cyber-physical systems[C]//Proceedings of the First Workshop on CPSArch 2014, 2014: 1-6.
|
| [15] |
FEILER P H, WRAGE L, HANSSON J. System architecture virtual integration: A case study: CMU/SEI-2009-TR-017[R]. Pittsburgh: Carnegie Mellon University, 2010.
|
| [16] |
FORTINO G, GUERRIERI A, RUSSO W, et al. Towards a development methodology for smart object-oriented IoT systems: A metamodel approach[C]//2015 IEEE International Conference on Systems, Man and Cybernetics. Piscataway: IEEE Press, 2015: 1297-1302.
|
| [17] |
CAVALCANTI Y, MACHADO I, NETO P, et al. Towards metamodel support for variability and traceability in software product lines[C]//VaMoS'11, 2011: 49-57.
|
| [18] |
MUHAMMAD W A, MUHAMMAD R. Extended meta-model for service-oriented development of embedded real-time systems[C]//2017 First International Conference on Latest Trends in Electrical Engineering and Computing Technologies. Piscataway: IEEE Press, 2018: 1-7.
|
| [19] |
CICIRELLI F, FORTINO G, GUERRIERI A, et al. A meta-model framework for the design and analysis of smart cyber-physical environments[C]//2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design. Piscataway: IEEE Press, 2016: 687-692.
|
| [20] |
ARCELLI D, CORTELLESSA V, POMPEO D D. A metamodel for the specification and verification of model refactoring actions[C]//Proceedings of the 2nd International Workshop on Refactoring. New York: ACM, 2018: 14-21.
|
| [21] |
BARANYI P. About AADL[EB/OL]. (2020-05-12)[2020-09-01].
|
| [22] |
BARANYI P. What is the systems modeling language[EB/OL]. (2020-05-12)[2020-09-01].
|
| [1] | DENG Yupeng, GUO Fang, WANG Rong, SONG Zhenfeng. A referring image segmentation method based on bidirectional vision-language interaction module[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0462 |
| [2] | HU X，CHEN J M，LI H F. Software security vulnerability patterns based on ontology[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（10）：3084-3099 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0783. |
| [3] | CHEN J C，YANG X，MA Y X，et al. Model-free adaptive cascade control for temperature system of a hot wind tunnel[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（5）：1713-1720 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0528. |
| [4] | ZHOU D P，LI H Q，WANG Y G，et al. Aircraft system identification algorithm based on generalized equivalent model[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（5）：1454-1462 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0507. |
| [5] | LI X S，LI C，SHEN Q，et al. HRG stability period prediction based on signal decomposition and classification modeling[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（12）：3729-3738 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.1016. |
| [6] | ZHAO Xiaodong, CHEN Kai, HUANG Yujie, WANG Pengfei, WANG Ziyuan. Human 3D posture detection and modeling based on variational autoencoder in multi-vision[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0070 |
| [7] | LI Yijian, ZHOU Jianghua, ZHANG Xiaojun, ZHAO Chunyang, XU Guoning. Dynamic modeling and control analysis of pitch/roll channels in the ball cabin system[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0356 |
| [8] | YANG Hai-feng, LI Zhi-gang, TAN Yue-dong, XIAO Peng-hui, KONG Wei. Development of Ejection Seat-Dummy Model and Analysis of Seat Tip-off Stability[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0654 |
| [9] | ZHANG Dongping, WANG Mengting, LU Zhanhong, REN Ye, LIU Zhiyong, YANG Li. Intrusion Detection in Industrial Control Systems Based on Data Augmentation by Large Time Series Models[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0755 |
| [10] | CHEN P X，WU C C，NI Z Y. Dynamic modelling and simulation of a tethered-net in space[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（9）：2951-2962 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0747. |
| [11] | ZHANG Hua-bo, GUO Ying-qing, LI Gui-cai, ZHAO Wan-li, YE Peng. Modeling and parameter design methodology for component-level performance model of ducted ram air generation turbine[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0787 |
| [12] | GENG Z T，ZHAO J Q. Design and development of virtual simulation experiment software of composite piezoelectric materials[J]. Journal of Beijing University of Aeronautics and Astronautics，2024，50（11）：3377-3381 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0826. |
| [13] | ZHANG Yi, LI Juan, DAI Hongde, JIAO Xiaoxuan, QU Huiyan. Performance Degradation Prediction of Oxygen Concentrators Based on the FCM-ARIMAX Approach[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2024.0418 |
| [14] | GUO Qing, HUANG Qi-lian, CHEN Jin-liang. Performance Degradation Modeling of Civil Aviation Engine Based on Component Characteristic Map Optimization[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0341 |
| [15] | JIANG L，SUN R，LIU Z W，et al. Modeling and accuracy analysis of GNSS ionospheric error in EU-China based on GA-BP[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（6）：1533-1542 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0476. |
| [16] | LIN Jun-ting, NI Ming-jun. Adaptive model predictive control of virtual coupled based on artificial potential field[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0544 |
| [17] | LIU S，YANG D Z，FENG Q，et al. Modeling method of flight test requirements based on DoDAF[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：2129-2136 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0584. |
| [18] | XU Q Y，MENG Y，LI S. Strain-based geometrically nonlinear beam modeling and analysis[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：2039-2049 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2021.0627. |
| [19] | CUI Xin-hao, YANG Rui-yi, ZHANG Si-yue, YANG Li-ying, CHEN Lian, XIAO Yi-yong. Modeling and solution of spare parts cost for complex systems considering emergency order strategy[J]. Journal of Beijing University of Aeronautics and Astronautics. doi: 10.13700/j.bh.1001-5965.2023.0583 |
| [20] | YANG B，LIU Z，WEI X J，et al. A safety analysis approach for embedded system[J]. Journal of Beijing University of Aeronautics and Astronautics，2023，49（8）：1930-1939 （in Chinese）. doi: 10.13700/j.bh.1001-5965.2022.0185. |
Figures(6) / Tables(9)
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
Zhang Kenan, Chen Wanchun. Application of constraint force equation method for missile launching dynamics modeling[J]. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(12): 1404-1406,1426. (in Chinese)
DownLoad:
