Reach/Coreach Tool

版本 2.3 (1.1 MB) 作者: McSCert
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
5.0
(3)
320.0 次下载
更新时间 2021/8/18
在 GitHub 上查看许可证

The Reach/Coreach Tool tracks and highlights data flow and control flow in the model. The tool identifies, for some specified Simulink blocks, parts of the model that depend on those blocks (Reach functionality), or parts of the model that the specified blocks depend upon (Coreach functionality). After the dependencies have been identified, the extraneous blocks can be removed via the tool's model slicing function.

• For installation instructions and instructions on how to use the tool, please see the included Reach-Coreach/doc/ReachCoreach_UserGuide.pdf.

• This tool relies on our Simulink Utility. Please download it here: https://github.com/McSCert/Simulink-Utility.

For more about the capabilities of the tool and how it can be used in model-based development with Simulink, see the two papers:

[1] Vera Pantelic, Steven Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender, "A Toolset for Simulink: Improving Software Engineering Practices in Development with Simulink," In Proceedings of 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), SCITEPRESS, 2015, 50-61. DOI: https://doi.org/10.5220/0005236100500061 (Best Paper Award)

[2] Vera Pantelic, Steven Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng, “Software engineering practices and Simulink: bridging the gap,” International Journal on Software Tools for Technology Transfer (STTT), 2017, 95–117. DOI: https://doi.org/10.1007/s10009-017-0450-9

引用格式

McSCert (2024). Reach/Coreach Tool (https://github.com/McSCert/Reach-Coreach/releases/tag/2.3), GitHub. 检索来源 .

MATLAB 版本兼容性
创建方式 R2018b
兼容任何版本
平台兼容性
Windows macOS Linux
类别
在 Help Center 和 MATLAB Answers 中查找有关 Modeling 的更多信息

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

src

src/Diff

src/ReachUtility

example

imgs

版本 已发布 发行说明
2.3

See release notes for this release on GitHub: https://github.com/McSCert/Reach-Coreach/releases/tag/2.3
2.2

See release notes for this release on GitHub: https://github.com/McSCert/Reach-Coreach/releases/tag/v2.2
2.1

– Fixed bugs to improve correctness of results.
– Fixed bugs causing errors in different scenarios.
– Colour selection dropboxes in the GUI now show the values of the current colours.
– Updated user guide.
1.7

– Major performance improvements when run on large models
– Grounding/terminating unconnected ports after a slice
– Highlighting no longer opens up every subsystem where a block/signal was highlighted
1.6.0.0

Fixed a minor bug.
1.5.0.0

Fixed bug involving coreaching from selected lines.
1.4.0.0

Updating "Other Requirements" field to reflect that the tool has been testing with R2017a.
Fixed recursion bugs. Optimized highlighting operation.
Updating tool name.
1.3.0.0

Fixed bugs regarding highlighting for data stores, if blocks, and use with 2016b.
Formatted description text.
1.2.0.0

– Improved usability, handling of buses
– The tool now tracks through For Each subsystems
– Fixed some issues including problems with running the tool on models with data store and Goto/From shadowing
1.1.0.0

– The accuracy of tracking through If and Switch Case blocks has been increased.
– Fixed bugs in function Clear.
– The colouring is now done with Simulink's built-in highlighting system.
1.0.0.0

要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。
要查看或报告此来自 GitHub 的附加功能中的问题，请访问其 GitHub 仓库。