Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems
Theory of Modeling and Simulation
Theory of Modeling and Simulation
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Early detection of timing constraint violation at runtime
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
AspectJ in Action: Practical Aspect-Oriented Programming
AspectJ in Action: Practical Aspect-Oriented Programming
Hi-index | 0.00 |
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.