钟珊

作品数：5被引量：5H指数：1
导出分析报告
供职机构：西安航空计算技术研究所更多>>
发文主题：AADL机载动态翻译PDS分布式调试更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《航空计算技术》《西安石油大学学报（自然科学版）》更多>>
所获基金：中国航空科学基金中国人民解放军总装备部预研基金国防科技技术预先研究基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
分布式调试中动态向量时钟存储空间分配方法
《西安石油大学学报（自然科学版）》2010年第2期81-83,87,共4页郑少华 李青山 严体华 叶宏 钟珊 
国家"十一五"国防预研基金项目(编号:513060401);航空科学基金(编号:20081981010;20080531005)
为了解决不同进程之间异步通信时向量时钟存储问题,结合现有事件监测的方法,以及分布式软件系统调试盒监测特征,并针对向量时钟静态存储技术的不足,提出了一种动态更新存储空间的方法.实验结果表明,对监测工具的改进方案能够减轻用户调...
关键词：分布式调试 系统监测 向量时钟 动态存储 
基于同步语言SIGNAL的一种系统设计方法
《航空计算技术》2009年第5期76-79,共4页齐晓斌 钟珊 
简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中。
关键词：SIGNALl POLYCHRONY 系统设计 PDS 堆栈 
基于AADL的机载设备系统可靠性建模被引量：5
《航空计算技术》2009年第2期90-94,共5页刘建军 钟珊 叶宏 
航空科学基金项目(2006ZC31001)
AADL可以描述机载设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述...
关键词：结构分析与设计语言 错误模型 可靠性建模 错误传播 状态映射 
用于航空电子系统升级的二进制翻译系统
《航空计算技术》2006年第4期9-12,共4页钟珊 张旻 麦先根 
"十五"总装预研项目基金资助(413160601)
针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP)。该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行。...
关键词：系统升级 二进制翻译 快速模拟 直接替换 
二进制翻译系统BATSUP中的动态翻译器的设计与实现
《航空计算技术》2005年第3期50-53,58,共5页黄英兰 杨晋兴 钟珊 
"十五"总装预研项目基金资助413160601
针对目前航电系统硬件的升级换代而导致老的软件的不可用的问题,提出了一个用于航电系统软件升级的二进制翻译系统(BTASUP系统)。该系统能把解释执行和动态翻译结合起来,在PowerPC处理器上实现对1750A处理器的二进制可执行代码的透明执...
关键词：二进制翻译系统 解释执行 动态翻译 动态翻译器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部