Loading article…
持続計算（DC）は、リアルタイムシステムのための区間論理です。これはもともと、証明可能正しいシステムに関する欧州ESPRIT基礎研究アクション（BRA）ProCoSプロジェクトで、 Anders P. RavnとCAR Hoareの協力を得て、Zhou Chaochenによって開発されました。[1] [2]
継続時間計算は、リアルタイムシステムのソフトウェア開発プロセスの要件レベルで主に有用である。いくつかのツールが利用可能である（例えば、DCVALID、 [3] IDLVALID、[4]など）。継続時間計算のサブセット（例えば、連続時間ではなく離散時間を使用する）が研究されてきた。継続時間計算は、このアプローチの主要な卓越した研究拠点であるマカオのUNU-IISTとムンバイのタタ基礎研究所によって特に支持されている。
参照
参考文献
- ^ Zhou Chaochen、CAR Hoare、Anders P. Ravn、「持続時間の計算」、Information Processing Letters、40(5):269–276、1991年12月。
- ^ Zhou Chaochenおよび Michael R. Hansen、「Duration Calculus: A Formal Approach to Real-Time Systems」。Springer -Verlag、「Monographs in Theoretical Computer Science, An EATCS Series」、2003 年。ISBN 3-540-40823-1 。
- ^ DCVALID: Duration Calculus の公式をモデルチェックするためのツール、TIFR、インド。
- ^ IDLVALID: 密な時間期間計算式のモデル検査、TIFR、インド。
外部リンク
- 持続計算 — 仮想ライブラリエントリ