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™ is a model based specification and development environment that provides the means to:
RTEdge provides tooling for the software development lifecycle
Unique features of RTEdge
For more information on RTEdge, please contact us.