| 用于航空电子系统升级的二进制翻译系统 |
| |
| 引用本文： | 钟珊,张旻,麦先根.用于航空电子系统升级的二进制翻译系统[J].航空计算技术,2006,36(4):9-12. |
| |
| 作者姓名： | 钟珊 张旻 麦先根 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西,西安,710068 |
| |
| 基金项目： | 解放军总装备部预研项目 |
| |
| 摘 要： | 针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP).该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行.采用了快速模拟、直接替换段等技术提高了系统的运行效率及适应性.开发的验证工具VERBT验证了系统的功能及效率.验证结果表明系统能对原有的环境进行正确的仿真(/模拟),代码的运行速率满足原系统的要求.
|
| 关 键 词： | 系统升级 二进制翻译 快速模拟 直接替换 |
| 文章编号： | 1671-654X(2006)04-0009-04 |
| 修稿时间： | 2006年1月16日 |
A Binary-Translation System for Avionics System Upgrade |
| |
| ZHONG Shan,ZHANG Min,MAI Xian-gen.A Binary-Translation System for Avionics System Upgrade[J].Aeronautical Computer Technique,2006,36(4):9-12. |
| |
| Authors: | ZHONG Shan ZHANG Min MAI Xian-gen |
| |
| Abstract: | To deal with the problem that old software which was verified cannot be used because of the upgraded hardware in avionics system,a Binary Translation System for Avionics System Upgrade(BTASUP) is introduced.Combining interpreter with dynamic translation,BTASUP can transparently executes the executable binary codes of 1750A on PPC.Several methods for example Jacket and Fast simulations enable the system to raise efficiency and applicability.VERBT is a Verifier tool that validates the function and performance of BTASUP.Testing results prove that BTASUP can emulate(simulate) the original system correctly in functions and efficiency. |
| |
| Keywords: | system upgrade binary translation fast simulation direct substitution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
