DocumentCode :
2794247
Title :
Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation
Author :
Barros, Fernando J.
Author_Institution :
Dept. de Engenharia Inf., Coimbra Univ., Portugal
fYear :
1995
fDate :
3-6 Dec 1995
Firstpage :
781
Lastpage :
785
Abstract :
Traditional simulation methodologies do not support changes in model structure during a simulation run. Current methodologies support only changes in model descriptive variables. Changes in structure are thus forced to be represented at the simple behavioral level. Many models are better represented at both behavioral and structural level. We present a new simulation formalism that fully supports changes in model structure and its closure under coupling. The Dynamic Structure Discrete Event System Specification formalism (DSDEVS) supports a new simulation paradigm, structural simulation, as opposed to conventional trajectory simulation. This new formalism supports changes in structure to the full extent, ranging from simple model/connection add/deletion to the exchange of models between network of models. The DELTA simulation environment, an implementation of the DSDEVS formalism, is briefly described
Keywords :
discrete event simulation; formal specification; programming environments; DELTA simulation environment; DSDEVS formalism; dynamic structure discrete event system specification; dynamic structure modeling; dynamic structure simulation; model descriptive variables; model structure; simulation formalism; structural simulation; Adaptive systems; Computational modeling; Computer architecture; Discrete event simulation; Discrete event systems; Fault tolerant systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Simulation Conference Proceedings, 1995. Winter
Conference_Location :
Arlington, VA
Print_ISBN :
0-78033018-8
Type :
conf
DOI :
10.1109/WSC.1995.478858
Filename :
478858
Link To Document :
بازگشت