In this section you can find details and demonstration videos of how RTEdge can be used in the specification, design and implementation as well as deploying real-time mission critical software.

You will see how the structure and behavior of your design can be captured using RTEdge model elements, and how the model can be statically analyzed for correctness and compliance to temporal constraints.

For support, or to download RTEdge, click here