A multi-model centralized storage method for embedded system

被引：0
|
作者：
Yan Z. [1 ]
Cai X. [1 ]
Yang B. [2 ]
Wu J. [3 ]
机构：
[1] School of Information Science and Technology, North China University of Technology, Beijing
[2] School of Information Science and Technology, Beijing Forestry University, Beijing
[3] School of Computer Science and Engineering, Beihang University, Beijing
来源：
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics | 2021年 / 47卷 / 12期
基金：
中国国家自然科学基金;
关键词：
Meta-modeling; Model-based design; Modeling language; Software model; System architecture virtual integration;
D O I：
10.13700/j.bh.1001-5965.2020.0501
中图分类号：
学科分类号：
摘要：
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. © 2021, Editorial Board of JBUAA. All right reserved.
引用
收藏
页码：2414 / 2425
页数：11
相关论文
共 22 条
  • [1] MEREIM A, ABDEL-AZIZ M., A meta-model for model-based testing technique: A review, Journal of Software Engineering, 12, 1, pp. 1-11, (2018)
  • [2] STAHL T, VOLTER M, BETTIN J, Et al., Model-driven software development-technology, engineering, management, (2006)
  • [3] BELETE G F, VOINOV A, LANIAK G F., An overview of the model integration process:From pre-integration assessment to testing, Environmental Modelling & Software, 87, pp. 49-63, (2017)
  • [4] FRANK M, BROODNEY H, ORION U, Et al., From common strategies and approaches to virtual integration, INCOSE International Symposium, 26, 1, pp. 1988-1999, (2016)
  • [5] DONG Y W, WEI X M, XIAO M R., Overview:System architecture virtual integration based on an AADL model, Symposium on Real-Time and Hybrid Systems, pp. 105-115, (2018)
  • [6] FEILER P H., Architecture-led requirements and safety analysis of an aircraft survivability situational awareness system:CMU/SEI-2015-SR-032, (2015)
  • [7] MISBHAUDDIN M, ALSHAYEB M., An integrated metamodel-based approach to software model refactoring, Software and Systems Modeling, 18, 3, pp. 2013-2050, (2019)
  • [8] MEIER J, WINTER A., Model consistency ensured by metamodel integration[C], Models Workshops, pp. 408-415, (2018)
  • [9] PHILIP G, SURESH V P, D'SOUZA M., Safety validation using AADL system architecture models, ISEC'18, pp. 1-10, (2018)
  • [10] BOUZIDI A, HADDAR N, HADDAR K., Traceability and synchronization between BPMN and UML use case models[J], Ingénierie des Systèmesd'Information, 24, pp. 215-228, (2019)
123