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

TFSP:A Formalized Description Tool of Distributed Real-Time System

作　　者：叶俊民[1] 王振宇[1] 陈利[2] 赵恒 

机构地区：[1]哈尔滨工程大学计算机科学与技术学院,哈尔滨150001 [2]华中师范大学计算机科学系

出　　处：《计算机科学》2003年第9期155-157,共3页Computer Science

基　　金：国防科技预研基金(41350601);武汉大学软件工程国家重点实验室开放基金(SKL(4)020)

摘　　要：分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State Processes),即时间有限状态进程.TFSP扩展了Magee等人提出的FSP(Finite State Processes)[1].Distributed Real Time Systems (DRTS) have very broad applications in space navigation, nuclear reaction, military affairs and industry department where the security and reliability requirement of the DRTS is very high. Thus, how to develop correct DRTS application systems is of vital importance. In this paper, first a formalized notation system - Timed Finite State Processes (TFSP) is proposed to describe the complex dynamic behaviors of DRTS, then we describe a distributed real-time medical treatment system by Darwin Architecture language and TFSP.

关 键 词：软件体系结构 形式化描述工具 分布式实时系统 TFSP 软件工程 

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