RTEdge^™ is a new generation of Model Driven Development tools. It uses proof based engineering approaches to enhance the development of hard and soft real time, mission critical applications.

With RTEdge, you can specify, design, implement, build and debug embedded applications using state of the art modeling techniques. Backed by advanced mathematical foundations and a concise Domain Specific Language, RTEdge provides a framework to analyze your system to prove accuracy, completeness and correctness of critical timing and functional requirements.

RTEdge capabilities include:

• Specification Capture
• Design Modeling
• Code Generation
• Interactive Testing
• Static Analysis

For support, or to download RTEdge, click here.