Question : prototyping tool for concurrent systems

[Seung Mo Cho]

Hello.

I am looking for a tool which allows prototying and controlled
testing of concurrent systems. The functionalities I need are
as follows. (Maybe the second and the third are a little bit difficult.)

- modeling systems with EFSM (extended finite state machines)
or similar formalisms allowing interleaving concurrency model.

- controling the execution of the model with programable scheduler.

- collecting information during the simulation, and feeding them
back to the execution (possibly through the scheduler)

As far as I know, the IOA simulator from MIT seems the closest one.
But it is not so much developed yet, and therefore many features
are missing. (For example, backtracking the simulation
is not supported, and the language for describing the scheduler is
not expressive enough.)

If there are some useful ones, please let me know.

Thank you.

Seung Mo Cho.

--
Seung Mo Cho, (Ph. D.)
Reseach Associate,
Social Communication Laboratory
NTT Communication Science Laboratories

Telephone : +81-774-93-5273
e-mail : sm...@cslab.kecl.ntt.co.jp
msn : seu...@msn.com