DSpace About DSpace Software
 

DSpace at Cochin University >
Department of Computer Science >
Seminar Reports >
MTech 2009-2011 Batch >

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/255

Title: Model Translator
Authors: MUNEERA, C
Keywords: Binary decision diagrams (BDD)
model checkers
modeling language
simulation
synchronous
translator framework
testing
Issue Date: 14-Jun-2010
Abstract: Although formal methods have been used in the development of safety- and security critical systems for years, they have not achieved widespread industrial use in software or systems engineering. However, with the growing acceptance of model-based development for the design of embedded systems, and the growing power of formal verification tools, particularly software model checkers, there have been an increase in the industrial use of formal methods. Tools such as MATLAB Simulink6 and Esterel Technologies SCADE Suite2 are achieving widespread use in the design of avionics and automotive systems. The graphical models produced by these tools provide a formal, or nearly formal, specification that is often amenable to formal analysis. Software model checkers, they provide a “push- button” means of determining if a model meets its requirements. They are much more likely to find design errors than testing as they examine all possible combinations of inputs and states. It can also be more cost effective than testing. The Model Translator Framework allows us to automatically translate from some of the most popular commercial modeling languages to a variety of model checkers and theorem provers.
URI: http://hdl.handle.net/123456789/255
Appears in Collections:MTech 2009-2011 Batch

Files in This Item:

File Description SizeFormat
Muneera_Model_Translator.pdf3.36 MBAdobe PDFView/Open

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

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback