Slicing MATLAB Simulink models
Slicing MATLAB Simulink models
复制标题
切片 MATLAB Simulink 模型
DOI：
10.1109/icse.2012.6227161
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
S. Glesner
中科院分区：
文献类型：
--
作者：
Robert Reicherdt;S. Glesner
Matlab Simulink是用于开发汽车领域中复杂嵌入式系统的最广泛使用的工业工具。所得的Simulink模型通常由超过一万个块和大量的层次结构组成。为了确保此类模型的质量，自动化的静态分析和切片对于应对这种复杂性是必要的。特别是，需要直接在模型上运行的静态分析。在本文中，我们提出了一种使用依赖图切片模型进行切片模型的方法，并使用来自汽车和航空电子域的案例研究证明了其效率。通过切片，可以通过删除无关的模型元素来减少模型的复杂性，从而为后续的静态质量保证方法铺平了道路。
MATLAB Simulink is the most widely used industrial tool for developing complex embedded systems in the automotive sector. The resulting Simulink models often consist of more than ten thousand blocks and a large number of hierarchy levels. To ensure the quality of such models, automated static analyses and slicing are necessary to cope with this complexity. In particular, static analyses are required that operate directly on the models. In this article, we present an approach for slicing Simulink Models using dependence graphs and demonstrate its efficiency using case studies from the automotive and avionics domain. With slicing, the complexity of a model can be reduced for a given point of interest by removing unrelated model elements, thus paving the way for subsequent static quality assurance methods.