「スケジュール保存離散事象システム仕様」を省略したSP-DEVSは、シミュレーションおよび検証の両方の方法で離散事象システムをモデル化および分析するための形式である。 SP-DEVSは、クラシックデバイスから継承されたモジュラーおよび階層モデリング機能も提供します。