钟珊
- 作品数：5 被引量：7H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国航空科学基金中国人民解放军总装备部预研基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 二进制翻译系统BATSUP中的动态翻译器的设计与实现被引量：2
- 2005年
- 针对目前航电系统硬件的升级换代而导致老的软件的不可用的问题,提出了一个用于航电系统软件升级的二进制翻译系统(BTASUP系统)。该系统能把解释执行和动态翻译结合起来,在PowerPC处理器上实现对1750A处理器的二进制可执行代码的透明执行。介绍了系统的结构和工作原理,重点讨论了作为系统重要组成部分的动态翻译器的设计与实现。
- 黄英兰杨晋兴钟珊
- 关键词：动态翻译
- 基于AADL的机载设备系统可靠性建模被引量：5
- 2009年
- AADL可以描述机载设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。
- 刘建军钟珊叶宏
- 用于航空电子系统升级的二进制翻译系统
- 2006年
- 针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP)。该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行。采用了快速模拟、直接替换段等技术提高了系统的运行效率及适应性。开发的验证工具VERBT验证了系统的功能及效率。验证结果表明系统能对原有的环境进行正确的仿真(/模拟),代码的运行速率满足原系统的要求。
- 钟珊张旻麦先根
- 关键词：二进制翻译
- 分布式调试中动态向量时钟存储空间分配方法
- 2010年
- 为了解决不同进程之间异步通信时向量时钟存储问题,结合现有事件监测的方法,以及分布式软件系统调试盒监测特征,并针对向量时钟静态存储技术的不足,提出了一种动态更新存储空间的方法.实验结果表明,对监测工具的改进方案能够减轻用户调试时的负担,较大地提高分布式程序调试的效率.
- 郑少华李青山严体华叶宏钟珊
- 关键词：分布式调试
- 基于同步语言SIGNAL的一种系统设计方法
- 2009年
- 简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中。
- 齐晓斌钟珊
- 关键词：系统设计PDS堆栈
