Reactis for Simulink User’s Guide V2024

Table of Contents

• 1. Introduction
• 2. Installing and Starting Reactis for Simulink
• 3. Getting Started with Reactis for Simulink
• 4. The Reactis Top-Level Window
• 5. The Reactis Info File Editor
• 6. Reactis Coverage Metrics
• 7. Reactis Assertions
• 8. Reactis Simulator
• 9. Reactis Tester
• 10. Reactis Validator
• 11. The Reactis Coverage Report Browser
• 12. The Reactis Test-Suite Browser
• 13. Executing Tester-Generated Test Suites
• 14. Maximizing Coverage
• 15. Preparing Models for Use with Reactis
• 16. Model Semantics
• 17. Reactis for C Plugin
• 18. Reactis for EML Plugin
• 19. Linking with Reactis for C
• 20. The Reactis API
• 21. The Reactis License Manager
• 22. File Types and Extensions
• 23. Frequently Asked Questions
• 24. Revision History
• 25. Index