Featuers Required in DEVS#
Status: Planning
Brought to you by:
mhhwang2002
Menu
▾
▴
#1 Featuers Required in DEVS#
1. Simulation Engine
a. Provide command help.
b. Add TimeUnit for Simulation Ending Time.
c. (Long Term) Scripting Simulation Command.
2. Verification Engine
a. command help
b. Generalize checking qualitative properties:
safety, liveness, fairness
3. Mixing Simulation and Verification (Long Term)
a. Online state-space generation
b. Partial State-space generation
Logged In: NO
DEVS# v1.2.3 on June/6/2007 has the following feature
1.a Simulation Online help
2.a Verification Online help
2.b Safety and Liveness are checked by files safe.txt live.txt