Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent
复制标题
工作中的模型同步：保持 SysML 和 AUTOSAR 模型一致
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Stefan Neumann
中科院分区：
文献类型：
--
作者：
H. Giese;Stephan Hildebrandt;Stefan Neumann
在复杂工程系统的总体开发过程中，采用了不同的建模符号。例如，在汽车系统领域，系统工程模型很早就被用来捕捉整个系统的需求和基本结构，而软件工程模型则在后来被用来描述具体的软件架构。每个模型都有助于用适当的符号和适当的抽象级别来解决特定的设计问题。然而，当我们从系统设计到软件设计时，工程师必须确保系统设计模型中捕获的所有决策都正确地转移到软件工程模型中。更糟糕的是，当任何一个模型后来发生变化时，现在必须通过繁琐的手动步骤重新建立一致性。在本文中，我们提出了如何模型同步和一致性规则可以应用于自动化这项任务，并确保不同的模型保持一致。我们还介绍了一个通用的方法模型同步。除了同步之外，该方法还包括工具适配器以及一致性规则，这些规则涵盖了模型的同步部分与其余部分之间的重叠。本文详细介绍了基于三元组文法的模型同步算法，并通过一个SysML中的系统工程模型与AUTOSAR中的软件工程模型之间的模型同步解决方案，进一步说明了该方法的一般性。
During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this paper, we present how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner.