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

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

FDT与FDT工具及其研究

叙述形式化方法的基本概念，研讨了国际上标准的以及目前使用的应用于描述顺序软件、并发软件和基于图形的形式化描述，同时论述了支持形式化描述技术的工具的任务、作用和分类。