FD-DEVS（Finite＆Deterministic Discrete Event System Specification）は、シミュレーションと検証の両方の方法で離散事象の動的システムをモデル化し解析するための形式です。 FD-DEVSは、クラシックDEVSから継承されたモジュラーおよび階層モデリング機能も提供します。