DocumentCode :
3136582
Title :
Integrated validation of real-time system models
Author :
Duenas, Juan C. ; RendÓn, Álvaro ; De Miguel, Miguel A.
Author_Institution :
ETSI Telecomunicacion, Ciudad Univ., Madrid, Spain
fYear :
1997
fDate :
11-13 Jun 1997
Firstpage :
241
Lastpage :
248
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 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
Keywords :
DP industry; program verification; real-time systems; development cycle; integrated validation; real time system models; systems validation; testing techniques; Contracts; Control systems; Costs; Embedded software; Error correction; Humans; Object oriented modeling; Real time systems; System testing; Telecommunication control;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems, 1997. Proceedings., Ninth Euromicro Workshop on
Conference_Location :
Toledo
Print_ISBN :
0-8186-8034-2
Type :
conf
DOI :
10.1109/EMWRTS.1997.613791
Filename :
613791
Link To Document :
بازگشت