Integrated validation of real-time system models

The market of real time systems requires the development of new products or systems in a quicker and safer way. These systems are increasingly complex due to the growing number of functions they must control, and because of the responsibility put over these systems, in terms of human life or money. Thus, their developers are forced to put a great effort into the validation of these products; this burden is made worse by the number of different approaches, methods and models that are handled for the validation, and because this validation can only be done on the final system. A framework for the integrated validation of these systems from the early stages and along the whole development cycle, using both analytical and testing techniques is presented