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

Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan
2008 Lecture Notes in Computer Science  
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
more » ... the concept of dynamic property monitoring over simulation runs. In view of the growing popularity of modelbased development, we believe that the verification methodology presented in this paper is of immediate practical value to the UML-based design community.
doi:10.1007/978-3-540-88387-6_18 fatcat:2qpqt7htivhvhftxmv76l2voxi