摘要： 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 appl

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