Object Oriented Verifiable Modeling Environment
Amanda Grace Rapsang,
M.Tech,
03,
56 pp.
Department of
Computer Science and Engineering
Indian Institute of Technology Bombay,
Powai, Mumbai 400 076.
Supervisor(s):
G.Sivakumar, Kannan Moudgalya
The progress of an object oriented framework that can
simulate applications from various types of engineering
domains and enable verification of the application, by
interfacing it with some already existing verification tools
, is reported. For modeling an application, blocks which
build up the application are modeled by a BDL (Block
Definition Language) and the application being modeled
is described by an MDL(Model Definition Language) in which
BDLs are interconnected together. The tool has a very user
friendly Application Builder, a front end where the user
designs his application. User can also interact with the
tool at runtime by setting timer delay, providing initial
values for feedback loops and providing input values from
time to time. The tool also generates input for a
verification tool, which the user can then verify his
application by specifying properties and proving
interactively.