The RT-Builder models are easily traceable to Specifications. Using RT-Builder, system and software designers can easily:

• Streamline the development process and eliminate translation costs, from specification to design and test
• Specify very complex real-time systems, including data, control and multi-task RTOS, multi-bus and multi-processors interactions within the same model and environment
• Detect specification errors and ambiguities early in the process
• Reuse test scenarios developed during the model's validation for integration testing
• Reuse application-specific and RTOS libraries to reduce time development and time to market