TFSP:一种分布式实时系统的形式化描述工具

摘要：

@@ 分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State Processes),即时间有限状态进程.TFSP扩展了Magee等人提出的FSP(Finite State Processes)[1].

机标关键词：分布式、实时系统、形式化、描述工具、有限状态进程、实时应用系统、可靠性要求、核反应、安全性、宇航、扩展、开发、军事、建模、工业

所属期刊栏目：30

分类号：TP316(计算技术、计算机技术)

资助基金：国防科技预研基金41350601;国家重点实验室基金4020

在线出版日期：2003-12-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：155-157