Automatic Functional Verification of OPNET Models with SDL-OPNET Co-Simulation

摘要

Owing to the model-driven development (MDD) technology, reliable network protocols could be developed with an integrated and systematic way. As performance, another core metric for evaluation of network protocols, is usually not the target of MDD process,