Min-Max-DEVS modeling and simulation

Simulation Modelling Practice and Theory

Volumn 14, Issue 7, 2006, Pages 909-929

  Hamri, Maâmar El Amine ^a   Giambiasi, Norbert ^a   Frydman, Claudia ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

DEVS; Discrete event simulation; Min max delays

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; FUZZY SETS; MATHEMATICAL MODELS; VIRTUAL REALITY;

DISCRETE EVENT SIMULATIONS; MIN-MAX DELAYS; MULTIPLE SIMULATION PASSES;

COMPUTER HARDWARE;

EID: 33749043242     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2006.05.004     Document Type: Article

References (25)

1. Breuer M.A., and Friedman A.D. Diagnosis and Reliable Design of Digital Systems (1976), Computer Science Press
2. N. Giambiasi, A. Miara, Silog: a practical tool for digital logic circuit simulation, in: Proceedings of the Design Automation Conference D.A.C, San Diego, 1976.
3. N. Giambiasi, A. Miara, D. Murach, Silog: a practical tool for logic digital network simulation, in: Proceedings of the Design Automation Conference D.A.C, San Diego, 1979.
4. S. Ghosh, N. Giambiasi, On the need for consistency between the VHDL language constructs and the underlying hardware design, in: Proceedings of the European Simulation Symposium ESS 1996, Genoa, Italy.
5. P. Walker, S. Ghosh, On the nature and inadequacies of transport timing delay constructs in VHDL, in: IEEE Conference on Computer Design, Austin, TX, 1996.
6. M. Smaili, N. Giambiasi, C. Frydman, Discrete event simulation with fuzzy dates, in: Proceedings of the European Simulation Symposium ESS 1994 Istanbul, Turkey; M. Smaili, Modélisation à retards flous de circuits logiques en vue de leur simulation. Ph.D Université de Montpellier II, 1994.
7. Introduction to VHDL, Mentor Graphics Corporation, 1993.
8. Navabi Z. VHDL: Analysis and Modeling of Digital Systems (1993), McGraw-Hill
9. Friedman A.D. Logical Design of Digital Systems (1975), W.H. Freeman & Co., New York
10. TEGAS Reference Manual, G.E. CALMA, Milipitas, CA.
11. Abromovici M., Breuer M., and Friedman A. Digital Systems Testing and Testable Design (1990), Computer Science Press
12. Brzowzowski J.A., and Seger C.-H. Advances in asynchronous circuit theory. Part II: Bounded inertial delay model, MOS circuits, design techniques. EATCS Bulletin 43 (1991) 199-263
13. B. Magnhagen, Probability based verification of time margins in digital design, Ph.D Thesis, Linkoping, Sweden, 1977.
14. Dubois D., and Prade H. Processing fuzzy temporal knowledge. IEEE Transactions on Systems, Man and Cybernetics 14 4 (1989) 729-744
15. Zeigler B.P. Theory of Modeling and Simulation (1976), Academic Press
16. M.C. Seong, T.G. Kim, Real time DEVS simulation: concurrent time-selective execution of combined RT-DEVS model and interactive environment, in: Proceedings of SCSC 1998, Reno, NV.
17. Alur R., and Dill D.L. A theory of timed automata. Theoretical Computer Science 126 2 (1994) 183-235
18. J.L. Paillet, N. Giambiasi, Discrete event calculus models a high level specification for discrete event systems, in: Proceedings of the International Symposium ESS 1998, Nottingham, UK 1998, pp. 29-33.
19. N. Giambiasi, J.L. Paillet, F. Châne, From timed automata to DEVS models, in: Proceedings of the Winter Simulation Conference WinterSim 2003, 2003, pp. 923-931.
20. IEEE Standard VHDL Language Reference Manual, IEEE, 1988.
21. Ghosh S., and Meng-Lin Yu. A preemptive scheduling mechanism for accurate behavioral simulation of digital designs. IEEE Transactions on Computers 38 11 (1989) 1595-1600
22. Zeigler B.P. Multifaceted Modeling and Discrete Event Simulation (1984), Academic Press, London
23. H. Praehofer, System theoretic foundations for combined discrete-continuous system simulation. Ph.D, Kepler J. University of Linz, Austria, 1991. Also, H. Praehofer, System theoretic formalisms for combined discrete-continuous system simulation. International Journal of General Systems 19 (1991) 219-240.
24. Zeigler B.P., Praehofer H., and Kim T.G. Theory of Modeling and Simulation (2000), Academic Press
25. Luh C.J., and Zeigler B.P. Abstracting event-based control models for high autonomy systems. IEEE Transactions on Systems, Man and Cybernetics 23 (1993) 42-54