Verification of the DEVS model implementation using aspect embedded DEVS

Abstract

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.