用于航空电子系统升级的二进制翻译系统  

A Binary-Translation System for Avionics System Upgrade

作　　者：钟珊[1] 张旻[1] 麦先根[1] 

机构地区：[1]中国航空计算技术研究所,陕西西安710068

出　　处：《航空计算技术》2006年第4期9-12,共4页Aeronautical Computing Technique

基　　金："十五"总装预研项目基金资助(413160601)

摘　　要：针对目前航电系统硬件平台的升级而导致的原有的经过验证的软件资源不可用的问题,提出了一个用于航空电子系统升级的二进制翻译系统(BTASUP)。该系统将解释和动态二进制翻译结合起来,在PPC上实现了对1750A二进制可执行代码的透明执行。采用了快速模拟、直接替换段等技术提高了系统的运行效率及适应性。开发的验证工具VERBT验证了系统的功能及效率。验证结果表明系统能对原有的环境进行正确的仿真(/模拟),代码的运行速率满足原系统的要求。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 PPCo Several methods for example Jacket and Fast simulations enable the system to raise efficiency and applicabilityo 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.

关 键 词：系统升级 二进制翻译 快速模拟 直接替换 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]