PragmaDev introduced Real Time Developer Studio (RTDS) V4.1. The latest version of Real Time Developer Studio offers over 40 new features. RTDS is a complete model driven development tool for real time and embedded systems based on international standards. Real Time Developer Studio offers three levels of modeling: informal, semi-formal, and fully formal. While informal modeling is mainly used for documentation, the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, and test of the model.