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

尤涛; 杜承烈; 王小伟; 郑炜

首页> 中文期刊> 《西北工业大学学报》 >基于高阶时间π演算的构件式实时软件研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.文中提出了一种有时间特性的高阶多型仃演算(THO π-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义.作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束.通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用.

著录项

来源
《西北工业大学学报》 |2009年第6期|906-911|共6页
作者
尤涛; 杜承烈; 王小伟; 郑炜;
展开▼
作者单位

西北工业大学计算机学院,陕西西安,710072;

西北工业大学计算机学院,陕西西安,710072;

西北工业大学计算机学院,陕西西安,710072;

西北工业大学计算机学院,陕西西安,710072;

展开▼
原文格式 PDF
正文语种 chi
中图分类形式语言理论;
关键词
实时系统; 语义; 构件式实时系统; 高阶时间π演算;

相似文献

中文文献
外文文献
专利

1. 基于构件的嵌入式实时软件组合时间分析研究 [J] . 林苗 ,戎玫 ,张广泉 . 计算机工程与应用 . 2009,第011期
2. 基于高阶π演算的构件演化行为研究 [J] . 何海洋 ,李强 ,余祥 . 计算机科学 . 2017,第003期
3. 基于高阶π演算的构件演化模型研究 [J] . 何海洋 ,李强 ,余祥 . 计算机应用研究 . 2017,第001期
4. 一种基于构件的嵌入式实时软件测试方法 [J] . 周小涵 ,丁晓明 . 科学技术与工程 . 2010,第013期
5. 基于构件的嵌入式实时软件建模与分析 [J] . 张广泉 ,林苗 ,戎玫 . 计算机工程与科学 . 2008,第012期
6. 基于构件的嵌入式实时软件建模与分析 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. 基于构件的嵌入式实时软件可靠性评估模型的研究与应用 [A] . 陈立宏 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅