Verification of the DEVS model implementation using aspect embedded DEVS

Discrete event simulators are getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the discrete event simulator is a complicated problem. Moreover, if the simulator is already implemented, inserting and deleting tracing/logging code into the source code of a simulator may cause the code tangling and the code scattering problems. This paper proposes the Aspect embedded DEVS Verification Framework. The Aspect embedded DEVS Verification Framework utilize Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented feature, user can find and fix the inconsistency between requirement and implementation of simulator without suffering the code tangling and the code scattering problems. The first step of the verification process is verifying DEVS diagrams to show that the DEVS diagrams are satisfied with the requirement specifications. The second step is checking the event traces from the simulator compared with the possible execution sequences from DEVS diagrams.

[1]  Bernard P. Zeigler,et al.  Object-oriented simulation with hierarchical, modular models , 1990 .

[2]  Ramnivas Laddad,et al.  Aspectj in Action: Practical Aspect-Oriented Programming , 2003 .

[3]  Wolfgang Schröder-Preikschat,et al.  AspectC++: Language Proposal and Prototype Implementation , 2001 .

[4]  Do Do Kim.  Method and Implementation for Consistency Verification of DEVS Model against User Requirement , 2008, 2008 10th International Conference on Advanced Communication Technology.

[5]  Doron Drusinsky,et al.  The Temporal Rover and the ATG Rover , 2000, SPIN.

[6]  Bernard P. Zeigler,et al.  Multifacetted Modelling and Discrete Event Simulation , 1984 .

[7]  Guangtian Liu,et al.  Early detection of timing constraint violation at runtime , 1997, Proceedings Real-Time Systems Symposium.

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

[9]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[10]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[11]  Bernard P. Zeigler,et al.  Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems , 1990 .

[12]  Heike Wehrheim,et al.  Jass - Java with Assertions , 2001, RV@CAV.

[13]  Farnam Jahanian,et al.  A formalism for monitoring real-time constraints at run-time , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.