Training

Reactive Systems offers one- and two-day Reactis training courses delivered by a qualified instructor at your site. The hands-on courses include numerous exercises to introduce engineers to model-based testing and validation with Reactis. No prior experience with Reactis is required. A typical outline for the two-day version of the course is as follows:

1. Introduction
2. Principles of Software/System Validation
3. Overview of Reactis
4. Installation and License Management
5. Loading Models in Reactis
6. Stateflow Primer
7. Reactis Info File Editor
8. Reactis Simulator
   1. Basics
   2. Coverage Tracking
   3. Test Creation
9. Reactis Tester
10. Processing Tests Outside Reactis
11. Reactis Validator
    1. Basics
    2. Inserting Validator Objectives into a Model
    3. Running Validator
12. Enhancing Test Coverage
13. Reactis in Your Development Process
14. Quicker Software Certification
15. Wrap-Up

For more information on the cost-effective way to spread the benefits of Reactis within your organization, please contact us.

Consulting

Reactive Systems consultants can help your organization build better software faster. Our team will help you extract even more value from your models and code by performing automated model and code validation using Reactis. Reactive Systems engineers have extensive experience in both building and applying model-based software development tools. Reactive Systems offers cost-effective outsourcing solutions to the following types projects:

• Ensure that models conform to requirements.
• Develop models from requirements.
• Ensure that source code conforms to the behavior specified in a model.
• Reverse engineer models from legacy code.
• Customize Reactis to better fit into your development process.