分布实时系统的概率规范和证明形式化  

Probabilistic Specification and Verification Formalisms of Distributed Real-Time Systems

作　　者：罗铁庚[1] 陈火旺[1] 齐治昌[1] 

机构地区：[1]国防科技大学计算机系,长沙410073

出　　处：《计算机科学》1995年第6期16-18,共3页Computer Science

摘　　要：1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。In order to describe the reliability of system, it is necessary to extend the formal specifi-cation with time and probability for describing the stochastic events. This paper introduces proba-bilistic specification and verification formalisms of discrete-time process, and probabilistic specifi-cation and verification formalisms of continuous-time process.

关 键 词：实时系统 概率规范 证明形式化 操作系统 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]