一种面向嵌入式系统的多模型集中存储方法

A multi-model centralized storage method for embedded system

随着软件安全性的重要性日益增长,使用模型驱动的方法进行软件开发越来越受到重视。针对目前存在跨域模型的集成障碍,提出了一种基于元建模技术提取多视角模型信息进行存储的方法,并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架。实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息,在能够正确存储、查询的条件下,实现的元素数量覆盖率均在90%以上。

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.