Lee Kwang Yong, Oh Young Bae

The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 6, No. 7, pp. 1789-1804, Jul. 1999
10.3745/KIPSTE.1999.6.7.1789,   PDF Download:

Abstract

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing objet's behavior design method. This system can simulation the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C version 4.2 For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc. are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

Statistics
Cite this article