DSSV-methodology applied to telecommunication software

In this paper, we define a modelling methodology formalism by software validation based on DEVS environment. The originality of this method is based on a generic approach of high-level simulation allowing the abstraction and the independence compared to the validation specifications before physical implementation. We also highlight the following levels of validation: level abstract specification, level formal specification and code level. In this paper, we detail this method called DSSV-methodology (DEVS based software simulation and validation methodology), which will be applied and validated in the field of telecommunication to environment CORBA. In particular, it is applied to the modelling and simulation of the portable object adapter because one of the major interests resides in the fact that this software modelling on high level makes it possible to simulate distributed software architecture independently of the distribution which remains with the load of the distributed environment.