A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs
[chapter]
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
doi:10.1007/978-3-540-88387-6_18
fatcat:2qpqt7htivhvhftxmv76l2voxi