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

摘要

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 nota-tion system -Timed Finite State Processes (TFSP) is proposed to describe the complex dynamic behaviors of DRTS,then we describe a distributed real-time medirAl treatment system by Darwin Architecture language and TFSP.