Simulate Your Designs and Test for Errors as you Develop

A primary advantage of Model Driven Development (MDD) is the ability to work at a higher level of abstraction. Following the principles of Agile development, this means that you can develop your systems engineering and applications from a simple set of requirements, adding detail as you work. To ensure design integrity and accuracy during the development process, Telelogic® Tau® provides:

• Automated error checking which will visibly display all semantic and syntax errors as they are entered into the design model, making it easy for developers to correct these mistakes before they propagate into downstream errors that are difficult and expensive to fix.
• Rules-based model checking that will compare the design model against over 1,000 enterprise rules and guidelines to ensure adherence to industry standards and best practices. Users may develop and extend rules for their domain or project.
• An ability to execute and run design models to completion. Users specify the structure and behavior of the system under development, which are then used to simulate and demonstrate functionality to analyze and verify the design at any stage of the development process. The simulation can even call existing Web services over the internet as part of Telelogic Tau's Web-Enabled SOA Simulation.
• A model-based validator that enables architects and developers to perform automated quality assurance on their designs at a higher level of abstraction. Errors and inconsistencies are identified in previously untested or weakly tested components while detecting deadlock, livelock, signal race conditions and many other types of inconsistencies and errors.