RTEdge offers the same benefits of traditional Model-Driven Development along with some very important features:

• the ability to capture specification, design and implementation all within one model
• a language that strictly enforces the adherence of software implementations to specifications
• static analysis mechanisms that allow you to identify and visualize flows of control within your system
• discover whether critical time deadlines can be met without the need of exhaustive target testing
• debug your application interactively with a real target

RTEdge application development covers a broad range of real-time and mission critical systems, from the avionics to automotive industries.  Meeting time deadlines and conforming to functional requirements are key principles for these applications and RTEdge is geared towards ensuring specifications are met and using static analysis to save time on testing.

RTEdge covers all aspects of the software development life-cycle, from requirements management to testing.  Using the available DoorKeeper for Eclipse integration, RTEdge elements can be linked to requirements objects in a DOORS database.  From there, a design specification can be created using RTEdge interface and connection elements through which different implementations can be realized.  Early conformance testing against time requirements can be performed via built-in static analysis features after which functional testing can be accomplished with the integrated live debugger.

Proof-based engineering describes a development methodology whereby the strict specification of a system, using a concise modelling language, allows various mathematical analysis to be performed in order to obtain answers about properties of the system.  RTEdge accomplishes this by allowing the user to specify details about the software system being built and then using this information to output flows of control and time deadline information to the user.

Static analysis enables the evaluation of a system for certain properties given that a specification exists.  Using RTEdge, your software system is specified as a model and this information can be analyzed to discover requirements conformance, flows of control and deadline overruns before any target testing is required.  In this way, proven mathematical methods are used to detect functional or performance errors earlier in the life-cycle and with cheaper cost.

RTEdge host software is available on Windows XP platforms and currently supports PowerPC-based VxWorks or x86-based OpenSolaris targets.