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.
5.0
(3)
328 Downloads
Updated 18 Aug 2021
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 (2024). Reach/Coreach Tool (https://github.com/McSCert/Reach-Coreach/releases/tag/2.3), GitHub. Retrieved .

MATLAB Release Compatibility
Created with R2018b
Compatible with any release
Platform Compatibility
Windows macOS Linux
Categories
Find more on Modeling in Help Center and MATLAB Answers

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

Version Published Release Notes
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

To view or report issues in this GitHub add-on, visit the GitHub Repository.
To view or report issues in this GitHub add-on, visit the GitHub Repository.