面向产品线维护与演化的 Simulink 模型行为兼容性
软件工程
2015-11-18 v1
摘要
嵌入式软件系统，例如汽车、机器人或自动化系统，具有高度可配置性，并由许多以不同变体和版本提供的软件组件构成。为识别某一组件这些不同实例之间的可重用程度，有必要确定它们之间的功能前向与后向兼容性。基于此类信息，可以识别在何种系统上下文中一个组件能够被另一版本安全替换，例如交换较旧的组件，或变体，例如引入新特性，以实现相同功能。本文提出一种模型检验方法，用于确定源自不同组件变体或演化过程中的 Simulink 模型的行为兼容性。一个用于自动化兼容性检验的原型证明了其可行性。此外，当被比较的变体或版本结构相似时，所实现的优化使分析更为高效。由 Daimler AG 提供的驾驶辅助系统的案例研究展示了该方法自动比较 Simulink 组件的有效性。
引用
@article{arxiv.1511.05358,
title = {Behavioral Compatibility of Simulink Models for Product Line Maintenance and Evolution},
author = {Bernhard Rumpe and Christoph Schulze and Michael von Wenckstern and Jan Oliver Ringert and Peter Manhart},
journal= {arXiv preprint arXiv:1511.05358},
year = {2015}
}
备注
10 pages, 12 figures, 4 tables, Proceedings of the 19th International Conference on Software Product Line (SPLC)