Welcome

This repository encompasses the following projects/contents:

• A UML-RT Unit Testing framework
• A set of UML-RT Models, including a TrafficLight, and Cruise Controller models.

Requirements

To run our tools, all you need are:

1. Papyrus-RT: an open source IDE for modeling real-time systems. To install Papyrus-RT, follow the instructions here: https://www.eclipse.org/papyrus-rt/

2. Our Plugins. Download the source code of our tools by cloning the repository:

   $ git clone https://rezaahmadi@bitbucket.org/rezaahmadi/umlrtunit.git
   

Short video tutorials on how to use our tools

• Slicer makes symbolic execution of UML-RT capsules more efficient

• Automatic model-level testing UML-RT capsules

If you have any questions do not hesitate to contact me:

Have fun!