Reach/Coreach工具跟踪并突出显示模型中的数据流和控制流。对于某些指定的Simulink块，该工具标识依赖于这些块的模型部分(Reach功金宝app能)，或者指定块依赖的模型部分(Coreach功能)。在确定了依赖关系之后，可以通过工具的模型切片功能删除无关的块。

•有关安装说明和如何使用该工具的说明，请参阅附带的Reach-Coreach/doc/ReachCoreach_UserGuide.pdf。

•此工具依赖于我们的Simulink实用程序。金宝app请在此下载:https://github.com/McSCert/金宝appSimulink-Utility．

有关该工具的功能以及如何使用Simulink进行基于模型的开发的更多信息，请参阅以下两篇论文:金宝app

Vera Pantelic, Steven Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender，“Simulink的一个工具集:用Sim金宝appulink改进开发中的软件工程实践”，第三届模型驱动工程和软件开发国际会议(MODELSWARD 2015)， SCITEPRESS, 2015, 50-61。DOI:https://doi.org/10.5220/0005236100500061(最佳论文奖)

[2] Vera Pantelic, Steven Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng，“软件工程实践与Simulink:弥合差距”，国际软件工具技术转移杂志(S金宝appTTT)， 2017, 95-117。DOI:https://doi.org/10.1007/s10009-017-0450-9