A Dynamic Assertion-Based Verification Platform for Validation of UML Designs
For quite some time, the Unified Modeling Language (UML)  has been adopted by designers of safety critical control systems such as automotive and aviation control. This has led to an increased emphasis on setting up a validation flow over UML that can be used to guarantee the correctness of UML models. In this paper, we present a dynamic property verification (DPV) framework for validation of UML designs. The verification engine is built on top of Rhapsody , a popular UML simulator, using the concept of dynamic property monitoring over simulation runs. In view of the growing popularity of model-based development, we believe that the verification methodology presented in this paper is of immediate practical value to the UML-based design community.
KeywordsLinear Temporal Logic Event Queue Behavioral Requirement Data Member Assertion Check
Unable to display preview. Download preview PDF.