一句话：提出Boundary Diagram Tool，将单模型切片扩展至多模型嵌入式系统，实现跨模型变更影响分析并集成到汽车OEM流程。
本文针对大型嵌入式系统Simulink设计中的变更影响分析问题，提出并评估了Boundary Diagram Tool。此前作者开发了用于单模型切片的Reach/Coreach工具；本文将其扩展至由多个模型及网络接口组成的嵌入式系统，以追踪模型变更的跨模型影响。工具采用多种图表示影响分析结果，并运用多种技术提升大规模工业系统影响分析的可理解性。该工具已集成到一家大型汽车OEM的软件开发流程中，支持变更请求分析与评估、实现、验证和集成，并辅助满足功能安全标准所需的合规性影响分析。在生产规模模型上的应用证明了工具的有效性。
This paper presents and evaluates the Boundary Diagram Tool for change impact analysis of large Simulink designs of embedded systems. In our previous work, we developed the Reach/Coreach Tool for model slicing within a single Simulink model. The current work extends the Reach/Coreach Tool to trace the impact of model changes through multiple models comprising an embedded system, including network interfaces. The change impact analysis results are represented using various diagrams motivated by industrial needs. Several techniques are used to improve understanding of impact analyses of large industrial systems. The tool has been integrated into the software development process of a large automotive OEM (Original Equipment Manufacturer) to support the following activities: change request analysis and evaluation, implementation, verification and integration. The tool also aids impact analyses required for compliance with functional safety standards. The tool’s effectiveness has been demonstrated on production-scale models.
DOI 原文 ·
@inproceedings{paperbot5788,
title = {Change impact analysis in Simulink designs of embedded systems},
author = {Bennett Mackenzie and Vera Pantelic and Gordon Marks and Stephen Wynn-Williams and Gehan Selim and Mark Lawford and Alan Wassyng and Moustapha Diab and Feisel Weslati},
booktitle = {FSE},
year = {2020},
doi = {10.1145/3368089.3417060}
}