| 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. http://scialert.net/qredirect.php?doi=jse.2018.1.11&linkid=pdf
|
| [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. http://pdfs.semanticscholar.org/dfe5/a4ea0b9a4bf2987c834dd8fbca72701e84ec.pdf
|
| [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]. http://www.openaadl.org.
|
| [22] |
BARANYI P. What is the systems modeling language[EB/OL]. (2020-05-12)[2020-09-01]. http://www.openaadl.org.
|
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.
DownLoad:
