未找到相关数据
时段演算综述
被引：10
作者：
李晓山，周巢尘
机构：
[1] 中国科学院软件研究所
来源：
关键词：
时段演算，实时系统，混合系统，规范;
D O I：
暂无
中图分类号：
TP311 [程序设计、软件工程];
学科分类号：
081202 ;
0835 ;
摘要：
时段演算是用于嵌入式实时软件系统设计的演算系统．本文概述了该演算系统，其中包括时段演算、扩充时段演算、平均值演算和概率时段演算．它们都是区间时态逻辑的扩展，可用于处理数学分析中函数在连续时间上的一些概念，如：积分，平均值，分段连续性和可微性．该演算能够应用于对混合系统的实时需求进行刻划和精化，同时也能定义计算系统的实时行为和语义，以及用来计算关于系统需求的满足概率．
引用
收藏
页码：842 / 851
页数：10
相关论文