Duration calculus とは

Duration Calculus(DC)は、リアルタイムシステムのインターバルロジックです。もともとZhou ChaochenによってAnders P. RavnとC. A. R. Hoareの協力を得て、Provably correct Systemsに関する欧州ESPRIT基礎研究アクション(BRA)ProCoSプロジェクトで開発されました。
DCは、主に、リアルタイムシステムのソフトウェア開発プロセスの要件レベルで役立ちます。いくつかのツールが利用可能です(例:DCVALID、IDLVALIDなど)。継続時間微積分のサブセットが研究されている(例えば、連続時間ではなく離散時間を使用して)。マカオのUNU-IISTとムンバイのタタ基礎研究所は、このアプローチの優位性の主要な中心であり、特にDCは支持を得ています。