Please use this identifier to cite or link to this item: https://idr.l3.nitk.ac.in/jspui/handle/123456789/6885
Full metadata record
DC FieldValueLanguage
dc.contributor.authorPrashanth, C.M.-
dc.contributor.authorShet, K.C.-
dc.contributor.authorElamkulam, J.-
dc.date.accessioned2020-03-30T09:46:19Z-
dc.date.available2020-03-30T09:46:19Z-
dc.date.issued2008-
dc.identifier.citationProceedings - 2nd Asia International Conference on Modelling and Simulation, AMS 2008, 2008, Vol., , pp.849-854en_US
dc.identifier.urihttp://idr.nitk.ac.in/jspui/handle/123456789/6885-
dc.description.abstractThe model based development is a widely accepted phenomenon to build dependable software. This has lead to development of tools which can generate deployable code from the model. Hence, ensuring the correctness of such models becomes extremely important. Model checking technique can be applied to detect specification violations in such models at the early stage of development life cycle. In practice, such validations are done using off-the-shelf model checkers. This technique though popular has a drawback that, model should be described in the native language of the model checker. In this paper, we propose a framework for the verification of the dynamic behavior of reactive systems modeled using UML (Unified Modeling Language) statechart diagrams. The model is translated to an intermediate representation by parsing the information embedded behind the UML Statecharts, this intermediate representation is used for checking the safety violations. Verification framework proposed is scalable to complex systems. � 2008 IEEE.en_US
dc.titleVerification framework for detecting safety violations in UML statechartsen_US
dc.typeBook chapteren_US
Appears in Collections:2. Conference Papers

Files in This Item:
File Description SizeFormat 
6885.pdf255.3 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.