Reach/Coreach Tool

버전 2.3 (1.14 MB) 작성자: McSCert
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
5.0
(3)
다운로드 수: 320
업데이트 날짜: 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 리포지토리로 가십시오.