时段演算综述

时段演算是用于嵌入式实时软件系统设计的演算系统。本文概述了该演算系统，其中包括时段演算，扩充时段演算，平均值演算和概率时段演算，它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性。该演算应用地对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率。

DURATION CALCULI:AN OVERVIEW

The duration calculi are calculi for designing embedded real time software systems. The calculi overviewed in this paper include the duration calculus, the extended duration calculus, the mean value calculus and the probabilistic duration calculus. They are extensions of the interval temporal logic, and can accommodate some concepts of mathematical analysis such as integrals, mean values, piecewise continuity and differentiability of functions over continuous time.The calculi can be used to capture and define real time requirements for hybrid systems,to define real time behavior/semantics of computing systems, andto calculate system dependability in terms of requirement satisfaction probability.