From timed automata to DEVS models

In this paper, we present the formal transformation of Timed Input/Output Automata into simulation models, expressed in the DEVS formalism. This transformation takes place in an approach of a validation of high-level specifications by simulation. The validation is based on the simulation of a coupled model built with the system to be controlled and the control specifications. An example of this approach is given in the paper.

[1]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[2]  S. Ghosh,et al.  Language barriers in hardware design , 1999 .

[3]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[4]  Frits W. Vaandrager,et al.  Minimizable Timed Automata , 1996, FTRTFT.

[5]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[6]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..

[7]  Sumit Ghosh,et al.  A Preemtive Scheduling Mechanism for Accurate Behavioral Simulation of Digital Designs , 1989, IEEE Trans. Computers.

[8]  Sumit Ghosh,et al.  GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems , 2000, Proceedings 5th International Symposium on Autonomous Decentralized Systems.

[9]  Thomas A. Henzinger,et al.  HYTECH: The Cornell HYbrid TECHnology Tool , 1994, Hybrid Systems.

[10]  Rajeev Alur,et al.  Timing Analysis in COSPAN , 1996, Hybrid Systems.

[11]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[12]  Bernard P. Zeigler,et al.  DEVS representation of dynamical systems: event-based intelligent control , 1989, Proc. IEEE.

[13]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[14]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[15]  Nancy A. Lynch,et al.  Liveness in Timed and Untimed Systems , 1998, Inf. Comput..

[16]  Tommaso Bolognesi,et al.  A timed Full LOTOS with time/action tree semantics , 1994 .

[17]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[18]  Declan O'SuHivan.  Specification and design of TMN systems , 1994 .