From timed automata to DEVS models

Winter Simulation Conference Proceedings

Volumn 1, Issue , 2003, Pages 923-931

  Giambiasi, Norbert ^a   Paillet, Jean Luc ^a   Châne, Frédéric ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; AUTOMATION; COMPUTER SIMULATION; DATA REDUCTION; REAL TIME SYSTEMS; SEMANTICS; VERIFICATION;

COMPLEX COUPLED MODEL; DYNAMIC SYSTEMS;

CONTROL SYSTEMS; AUTOMATA THEORY;

CONTROL SPECIFICATIONS; COUPLED MODELS; DEVS FORMALISM; DEVS MODELING; DEVS MODELS; FORMAL TRANSFORMATION; SIMULATION MODEL; TIMED AUTOMATA; TIMED INPUT/OUTPUT AUTOMATON;

EID: 1642436960     PISSN: 02750708     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Alur, R. and Dill, D.L. 1994. A theory of timed automata, Theorical computer science, Vol. 126, No 2, pp 183-235.
2. Alur, R. and Kurshan, R.P. 1996. Timing analysis in COSPAN. In Alur et al. 1996, pages 220-231.
3. Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P. and Wang Yi. 1996. UPPAAL: a tool suite for the automatic verification of real-time systems. In Alur et al. 1996, pages 232-243.
4. Bolognesi, T., Lucidi, F. and Trigila, S. 1994. A timed full LOTOS with time/action tree semantics, in: T. Rus and C. Rathay (eds), Theories and Experiences for Real-Time System Development, Amast Series in Computing, World Scientific, Singapore, pp. 205-237.
5. Daws, C., Olivero, A., Tripakis, S. and S. Yovine, S. 1996. The tool kronos. In Alur et al. 1996, pages 208-219.
6. Gajski, D., Vahid, F., Narayan, S. and Gong, J. 1994. Specification and Design of Embedded Systems, Prentice-Hall, Englewood Cliffs, NJ.
7. Ghosch, S. and Meng-Lin Yu 1989. A preemptive scheduling mechanism for occurate behavioral simulation of digital designs; IEEE trans. on Computers, vol. 38, Nov.
8. Ghosch, S. and Giambiasi, N. 1999. "LANGUAGE BARRIERS IN HARDWARE DESIGN: On the Need for Consistency between the VHDL Language Constructs and Underlying Hardware Design", IEEE Circuits and Devices, Vol. 15, No. 5, September, pp. 25-40.
9. Giambiasi, N., Escude, B. and Ghosch, S. 2000. "GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems". Transactions of the SCS, 17(3) pp. 120-134.
10. Gawlick, R., Segala, R., S_gaard-Andersen, J.F. and Lynch ,N. 1994. Liveness in timed and untimed systems. In S. Abiteboul and E. Shamir, editors, Proceedings 21th ICALP, Jerusalem, volume 820 of Lecture Notes in Computer Science. Springer-Verlag. A full version appears as MIT Technical Report number MIT/LCS/TR-587.
11. Henzinger, T.A. and Ho, P.-H. 1995. HyTech: TheCornell HYbrid TECHnology Tool. In U.H. Engberg, K.G. Larsen, and A. Skou, editors, Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, volume NS-95-2 of BRICS Notes Series, pages 29{43. Department of Computer Science, University of Aarhus, May.
12. Peterson, J.L. 1981. Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ.
13. Springinveld, Jan, Vaandrager, Frits and D'Argenio, Pedro R. 2001. Testing Timed Automata, Theorical Computer Science, Vol. 254, pp. 225-257.
14. Springintveld, J.G. and Vaandrager, F.W. 1996. Minimizable timed automata. In B. Jonsson and J. Parrow, editors, Proceedings of the Fourth International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Uppsala, Sweden, volume 1135 of Lecture Notes in Computer Science, pages 130-147. Springer-Verlag.
15. Zeigler, B. P. 1976. Theory of Modeling and Simulation, John Wiley, New York.
16. Zeigler, B.P. 1989. DEVS Representation of Dynamical system, in: Proc. of the IEEE, Vol.77, pp.72-80.
17. nd Edition.