Tutorial: Verification of real-time systems based on schedule-preserved DEVS

Simulation Series

Volumn , Issue , 2005, Pages

  Hwang, Moon Ho ^a  

^a Wayne State University   (United States)

Author keywords

Behavior of coupled devs; Discrete event system specification(DEVS); Qualitative and quantitative analysis; Real time system; State reduction; Timed behavior

Indexed keywords

BEHAVIOR OF COUPLED DEVS; DISCRETE EVENT SYSTEM SPECIFICATION; QUALITATIVE AND QUANTITATIVE ANALYSIS; STATE REDUCTION; TIMED BEHAVIOR;

ABSTRACTING; ALGORITHMS; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 84890275844     PISSN: 07359276     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. J.R. Buclri. On a decision mdethod in restated sceond order arithmetic. In E. Nagel et al., editor. Proceedings of the International Congress on Logic, Methodology and Philosliophy of Science, pages 1-11. Stanford. CA, 1960. Stanford University Press.
2. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Publishers, second edition. 1999.
3. H.N. Gabow. Path-based depth-first search for strong and biconnected components. Information Processing Letters, 74(3-4): 107-114, May 2000.
4. Silicon Graphics. Standard Template Library Programmer's Guide. http://www.sgi.com/tecli/stl, 1993-2004.
5. G.P. Hong and T.G. Kim. A Framework for Verifying Discrete Event Models whithin a DEVS-based System Development Methodology. Transactions of The Society for Computer Simulation, 13:19-34, 1996.
6. J.E. Hopcroft, R. Motwani and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, second edition, 2000.
7. M.H. Hwang. Identifying equivalence of DEVSs: Language approach. In In A. Bruzzone and M. Itmi. editors, Proceedings of 2003 Summer Computer Simulation Conference. pages 319-324. Montreal, Canada, 2003. SCS.
8. M.H. Hwang. Generating Behavioral Model of SP-DEVS Networks. In Proceedings of 2005 DEVS Integrative M & S Symposium SCS. 2005. Accepted.
9. M.H. Hwang and S.K. Cho. Timed Analysis of Schedule Preserved DEVS. In A.G. Bruzzone and E. Williams, editors. 2004 Summer Computer Simulation Conference. pages 173-178. San Jose. CA. 2004. SCS.
10. M.H. Hwang and F. Lin. State Minimization of SP-DEVS. In T.G. Kim. editor. Lecture Note in Computer Science: Al, Simulation, and Planning. Jeju Island. Korea. 2004. SCS.
11. Tag G. Kim. S.M. Cho. and W.B. Lee. Framework for systems development: Unified specification for logical analysis, performance evaluation and implementation. In H.S. Sarjoughian and F.E. Cellier. editors. Discrete Event Modeling and Simulation Technologies, chapter 8. pase 131-166. Springer-Verlag, New York. 2001.
12. Microsoft Visual C++ Net. http://msdn.microsoft.com/visualc/2002.
13. R. Sedgewick. Algorithms in C++, Part 5 Graph Algorithm. Addison Wesley. Boston, third edition. 2002.
14. Bjanie Stroustrup. The C++ Programming Language. Addison Wesley. New York, third edition. 2002.
15. R.E. Tarjan. Depth first search and linear graph algorithms. SIAM J. Computing. 1(2): 146-160. 1972.
16. W. Thomas. Automata on Infinite Objects, Handbook of Theoretical Computer Science, chapter 4. pages 133-191. Elsevier Science Publishers B.V. 1990.
17. B.P. Zeigler. Multifacetted Modeling and Discrete Event Simulation. Academic Presse. London.Orlando. first edition. 1984.
18. B.P. Zeigler. Hierarchical, modular discrete-event modelling in an object-oriented environment. SIMULATION. 49(5):219-230, 1987.
19. B.P. Zeigler, H.Praehofer and T.G. Kim. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press. London, second edition. 2000.