DEVS framework for systems development: unified specification for logical analysis, performance evaluation and implementation

This paper presents a DEVS-based methodology for systems development. The methodology is a unified framework for developing real-time software systems in which logical analysis, performance evaluation, and implementation can be performed, all based on the DEVS formalism. Extended DEVS formalisms, namely Communicating DEVS for logical analysis and Real-time DEVS for implementation are given. Interpretation means associated with the formalisms are also given. An example of development of alternating bit protocol within the framework demonstrates effectiveness of the methodology.

[1]  Tag Gon Kim,et al.  A framework for verifying discrete event models within a DEVS-based system development methodology , 1996 .

[2]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[4]  Tag Gon Kim,et al.  Reusability measure of DEVS simulation models in DEVSim++ environment , 1997, Defense, Security, and Sensing.

[5]  Robert E. Tarjan,et al.  Three Partition Refinement Algorithms , 1987, SIAM J. Comput..

[6]  Kyu Ho Park,et al.  Distributed simulation of hierarchical DEVS models: hierarchical scheduling locally and time warp globally , 1996 .

[7]  Young Jae Kim,et al.  DEVS-HLA: Heterogeneous Simulation Framework Using DEVS BUS Implemented on RTI , 1999 .

[8]  M. Heymann.  Concurrency and discrete event control , 1990, IEEE Control Systems Magazine.

[9]  Tag Gon Kim,et al.  Mapping hierarchical, modular discrete event models in a hypercube multicomputer , 1995, Simul. Pract. Theory.

[10]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[11]  Tag Gon Kim,et al.  A Heterogeneous Distributed Simultion Framework Based on DEVS Formalism , 1996 .

[12]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[13]  Keith A. Bartlett,et al.  A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.

[14]  Kevin Benner,et al.  Book review: Object-Oriented Simulation with Hierarchical, Modular Models by Bernard P. Zeigler (Academic Press) , 1990, SGAR.

[15]  Tag Gon Kim,et al.  A framework for hybrid modeling/simulation of discrete event systems , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[16]  Kyu Ho Park,et al.  A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development , 1997, Discret. Event Dyn. Syst..

[17]  Bernard P. Zeigler,et al.  The DEVS-scheme modelling and simulation environment , 1991 .

[18]  Bernard P. Zeigler,et al.  System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..