Thumbnail
Access Restriction
Subscribed

Author Banerjee, A. ♦ Ray, S. ♦ Dasgupta, P. ♦ Chakrabarti, P.P. ♦ Ramesh, S. ♦ Vignesh, P. ♦ Ganesan, V.
Sponsorship IEEE Region 10
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©2008
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Unified modeling language ♦ Vehicle dynamics ♦ Automotive engineering ♦ Hardware design languages ♦ Automata ♦ State-space methods ♦ Application software ♦ Software safety ♦ Specification languages ♦ Control system synthesis
Abstract 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 propose a dynamic Assertion-based verification (ABV) framework for validation of UML Statecharts over the Rhapsody platform of I-logix. We present an extension of Linear Temporal Logic (LTL), named Action-LTL that allows assertions to be specified over data attributes and events of UML models. We present a methodology for automatic generation of Rhapsody Statecharts from Action-LTL specifications. These generated Statecharts are added as simulation observers to an existing UML model to detect specification violations during simulation. In view of the capacity limitations of existing formal assertion-based verification tools, we believe that our methods are of immediate practical value to the UML-based design community.
Description Author affiliation: Dept. of Comput. Sc.& Eng., IIT Kharagpur, Kharagpur (Banerjee, A.; Ray, S.; Dasgupta, P.; Chakrabarti, P.P.) || Gen. Motors India Sci. Labs. (Ramesh, S.; Vignesh, P.; Ganesan, V.)
ISBN 9781424424085
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2008-11-19
Publisher Place India
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 148.04 kB
Page Count 6
Starting Page 1
Ending Page 6


Source: IEEE Xplore Digital Library