中国航空科学基金(2007ZD53)
- 作品数:3 被引量:5H指数:1
- 相关作者:杜承烈王小伟尤涛郑炜宋青更多>>
- 相关机构:西北工业大学更多>>
- 发文基金:中国航空科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于方面重组的实时软件传感器研究
- 2008年
- 对于日趋庞大的航电软件,其状态监控工作难以有效进行,这其中一个难点是状态监控中软件传感器的植入。由于软件传感器检测内容多为系统的行为特征,在对航电软件系统对象横切关注点的确定和方面的分离的基础上,通过软件传感器植入完成对方面的重组,最后传感器伴随着方面的织入嵌入到软件系统中。以某航电惯导系统为例详细阐述了该方法。实际应用表明,该方法对传感器植入的位置和时机的确定有指导意义。
- 杜承烈王小伟尤涛吴凡
- 关键词:航电软件软件传感器
- 基于高阶时间π演算的构件式实时软件研究被引量:4
- 2009年
- 在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。
- 尤涛杜承烈王小伟郑炜
- 关键词:实时系统语义
- 基于VSM的分布仿真软件适配器研究被引量:1
- 2008年
- 为满足针对航空、航天领域的大规模虚拟实验的要求,在认真研究适配器技术和基于以太网的VSM(虚拟共享内存)中间件的基础上,提出构造一种基于VSM机制的分布式仿真软件适配器和实时网VSM中间件来扩展已有的以太网VSM中间件的技术。根据松耦合系统与紧耦合系统的不同仿真需求,采用松耦合适配器和紧耦合适配器两种适配器对以太网VSM中间件进行浅层和深层两个层次的扩充。其中松耦合适配器已经在实际中得到应用,并取得了良好的效果。
- 宋青杜承烈
- 关键词:适配器虚拟共享内存