Integrated validation of real-time system models

Abstract

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 offunctions 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 in 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 theJnal system. In this article a framework for the integrated validation of these systems from early stages and along the whole development cycle, using both analytical and testing techniques is presented.