基于高阶时间π演算的构件式实时软件研究  

A New Component-Based Real-Time System Based on Timed High-Order(THO) π Calculus

作　　者：尤涛[1] 杜承烈[1] 王小伟[1] 郑炜[1] 

机构地区：[1]西北工业大学计算机学院,陕西西安710072

出　　处：《西北工业大学学报》2009年第6期906-911,共6页Journal of Northwestern Polytechnical University

基　　金：航空科学基金(2007ZD53)资助

摘　　要：在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。Aim.In our opinion,the real-time systems based on π calculus in Refs.4 and 6 can not be accurately described because there are three shortcomings in these two references discussed by us in the introduction of this paper.The new component-based real-time system based on THO π calculus proposed by us can,we believe,overcome these three shortcomings and therefore accurately describe such a real-time system.The first two sections of the full paper explain in some detail our new component-based real-time system ...

关 键 词：实时系统 语义 构件式实时系统 高阶时间π演算 

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