Reach/Coreach Tool

Reach/Coreach Tool

version 2.3 (1.14 MB) by McSCert

The tool highlights data/control flow dependencies in Simulink models and performs model slicing.

https://github.com/McSCert/Reach-Coreach

5.0

(3)

300 Downloads

Updated 18 Aug 2021

From GitHub

View Version History

View License on 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

Cite As

McSCert (2022). Reach/Coreach Tool (https://github.com/McSCert/Reach-Coreach/releases/tag/2.3), GitHub. Retrieved July 1, 2022.

MATLAB Release Compatibility

Created with R2018b

Compatible with any release

Platform Compatibility

Windows macOS Linux

Tags Add Tags

Community Treasure Hunt

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

Download	18 Aug 2021	2.3	See release notes for this release on GitHub: https://github.com/McSCert/Reach-Coreach/releases/tag/2.3
Download	22 Jul 2020	2.2	See release notes for this release on GitHub: https://github.com/McSCert/Reach-Coreach/releases/tag/v2.2
Zip Toolbox	2 May 2019	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.
Zip Toolbox	17 Jan 2018	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
Download	23 Jun 2017	1.6.0.0	Fixed a minor bug.
Download	23 Jun 2017	1.5.0.0	Fixed bug involving coreaching from selected lines.
Download	16 Jun 2017	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.
Download	4 Apr 2017	1.3.0.0	Fixed bugs regarding highlighting for data stores, if blocks, and use with 2016b. Formatted description text.
Download	18 Aug 2016	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
Download	16 Oct 2015	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.
Download	12 Jun 2015	1.0.0.0