A testing framework for DEVS formalism implementations

  title={A testing framework for DEVS formalism implementations},
  author={Xiaobo Li and Hans Vangheluwe and Yonglin Lei and Hongyan Song and Weiping Wang},
The Discrete-Event system Specification (DEVS) is a widely used formalism for discrete-event modelling and simulation. A variety of DEVS modelling and simulation tools have been implemented. Diverse implementations with platformspecific characteristics and often tailored to specific problem domains need to be tested to ensure their compliance with the precise and formal DEVS formalism specification. Such compliance allows for meaningful exchange and re-use of models. It also allows for the… CONTINUE READING