| TFSP：一种分布式实时系统的形式化描述工具 |
| |
| 引用本文： | 叶俊民,王振宇,陈利,赵恒.TFSP：一种分布式实时系统的形式化描述工具[J].计算机科学,2003,30(9):155-157. |
| |
| 作者姓名： | 叶俊民 王振宇 陈利 赵恒 |
| |
| 作者单位： | 1. 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;华中师范大学计算机科学系,武汉,430079;武汉大学软件工程国家重点实验室,武汉,430072
2. 哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001;武汉大学软件工程国家重点实验室,武汉,430072
3. 华中师范大学计算机科学系,武汉,430079;武汉大学软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 本课题得到国防科技预研基金(41350601)和武汉大学软件工程国家重点实验室开放基金(SKL(4)020)资助. |
| |
| 摘 要： | 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.
|
| 关 键 词： | 软件体系结构 形式化描述工具 分布式实时系统 TFSP 软件工程 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
