Behavioral Model Generation based on Temporal Reasoning
Assignment
Solution creation,
Analysis,
Design and Coding
Date : March 2000 – March 2001
Supported by : ACIMS/TUBITAK
Current Status : Completed.
Brief Description
The project proposes a
new approach to operational (behavioral) verification of simulation models,
which combines the expressive power of DEVS with the ability of temporal logic
to capture important behavioral specifications for models. Instead of using temporal
expressions stated in design phase of the model, the software developed in the
project constructs temporal expressions by collecting execution results. The
project looks for solution on how to construct the simulation model based on
temporal expressions by accepting the execution results, its finite state
counterparts and elimination of symmetric expressions. The input of the program developed in the
project accepts both execution results for existing but black-box models and
emulated execution results written directly by analysts. The purpose is to
check whether or not the model being executed satisfies the design requirements
and/or to put forward design details of the simulation model being executed in
temporal formulations. This capability allows modelers to compare the model
they desired with the one they have had.
Since instead of
verifying simulation models by checking execution results, constructing
alternative model designs based on temporal formulation the process is a kind
of reverse engineering approach to temporal verification process.
The project can be seen
as complementary project of “Temporal
Verification Framework for HLA Federations” project. In addition to all done in
that project, in this project, more generic inference engine, language
representation with its decomposition processes and dynamic rule sets are
developed. Logic programming paradigm is selected as programming paradigm.