A simulation algorithm for dynamic structure DEVS modeling

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 815-822

  Hui, Shang ^a   Wainer, Gabriel ^a  

^a CARLETON UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS; SPECIFICATIONS;

(I ,J) CONDITIONS; AUTO-ADAPTATION; DEVS FORMALISM; DEVS MODELING; DYNAMIC ADAPTATIONS; DYNAMIC CHANGES; DYNAMIC STRUCTURES; FORMAL SPECIFICATIONS; NEW ALGORITHM; REAL-TIME SYSTEMS; SIMULATION ALGORITHMS; SIMULATION TECHNIQUES; SYSTEM STRUCTURES;

BOOLEAN FUNCTIONS;

EID: 46149125746     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2006.323163     Document Type: Conference Paper

References (14)

1. Barros, F. J. 1995. Dynamic Structure Discrete Event System Specifications: A New Formalism for Dynamic Structure Modeling and Simulation. Proceedings of the 1995 Winter Simulation Conference, pp.781-785. Arlington, USA.
2. Barros, F. J. 1998. Abstract Simulators for the DSDE Formalism. Proceedings of the 1998 Winter Simulation Conference, pp.407-412. Washington DC, USA.
3. Barros, F. J. 1997. Modelling Formalisms for Dynamic Structure Systems. ACM Transactions on Modeling and Computer Simulation. Vol. 7, No. 4, pp. 501-515.
4. Cho, S., and T. G. Kim. 2001. Real Time Simulation Framework for RT-DEVS Models. Transactions of the Society for Computer Simulation International Vol. 18, No. 4, pp. 203-215.
5. Cho, Y. K., B. P. Zeigler, H. J. Cho, H. S. Sarjoughian, and S. Sen. 2000. Design Considerations for Distributed Real-Time DEVS. AIS 2000. Tucson, USA.
6. Chow, A.C., and B. P. Zeigler. 1994. Revised DEVS: A Parallel, Hierarchical, Modular Modeling Formalism. Proceedings of the SCS Winter Simulation Conference.
7. Glinsky, E., and G. Wainer. 2004a. Modeling and Simulation of Systems with Hardware-in-the-loop. Proceedings of the 2004 Winter Simulation Conference. Washington DC, USA.
8. Glinsky, E., and G. Wainer. 2004b. Model-Based Development of Embedded Systems with RT-CD++. Proceedings of the WIP session, IEEE Real-Time and Embedded Technology and Applications Symposium. Toronto, Canada.
9. Hong, J., H. Song, T. G. Kim, and K. H. Park. 1997. A Real-time Discrete Event System Specification Formalism for Seamless Real-time Software Development. Discrete Event Dynamic systems: Theory and Applications, Vol. 7, No. 4, pp. 355-375.
10. Kim, T.G., S. M. Cho, and W. B. Lee. 2001. DEVS Framework for Systems Development. Discrete Event Modeling & Simulation: Enabling Future Technologies. Springer-Verlag.
11. Uhrmacher, A. M. 2001. Dynamic Structure in Modeling and Simulation: A Reflective Approach. ACM Transactions on Modeling and Computer Simulation. Vol. 11, No. 2, pp. 206-232.
12. Uhrmacher, A. M., and J. Himmeelspach. 2004. Processing dynamic PDEVS models. Proceedings of the IEEE Computer Society's 12th Annual International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04). Volenlam, Netherlands.
13. Wainer, G., E. Glinsky, and P. Macsween. 2005. Model-Driven Architecture of Real-Time Systems. Modeldriven Software Development - Volume II of Research and Practice in Software Engineering. S. Beydeda and V. Gruhn eds., Springer-Verlag.
14. Zeigler, B. P., T. Kim, and H. Praehofer. 2000. Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press.