PragmaDev provides a set of modeling and testing tools for the development of real time and embedded software: Real Time Developer Studio. RTDS provides three levels of modeling: informal, semi-formal, and fully formal. While informal modeling, the most common, is mainly used for documentation; the most advanced level of modeling allows simulation, prototyping, verification, full code generation, debug on target, test generation, and test of the model.