A Dynamic Assertion-Based Verification Platform for Validation of UML Designs

  • Authors:

  • Ansuman Banerjee;Sayak Ray;Pallab Dasgupta;Partha Pratim Chakrabarti;S. Ramesh;P. Vignesh Ganesan

  • Affiliations:

  • Indian Institute of Technology Kharagpur,;Indian Institute of Technology Kharagpur,;Indian Institute of Technology Kharagpur,;Indian Institute of Technology Kharagpur,;General Motors India Science Labs,;General Motors India Science Labs,

  • Venue:
  • ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

For quite some time, the Unified Modeling Language (UML) [5] 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 [3], 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.