二进制翻译系统BATSUP中的动态翻译器的设计与实现

针对目前航电系统硬件的升级换代而导致老的软件的不可用的问题,提出了一个用于航电系统软件升级的二进制翻译系统(BTASUP系统)。该系统能把解释执行和动态翻译结合起来,在PowerPC处理器上实现对1750A处理器的二进制可执行代码的透明执行。介绍了系统的结构和工作原理,重点讨论了作为系统重要组成部分的动态翻译器的设计与实现。     

基于AADL的机载设备系统可靠性建模

AADL可以描述机栽设备系统的时序需求、任务状态等关键性能特性,已应用于航空、电子自动化、机器人控制等实时系统。提出基于AADL的机载设备系统可靠性建模方法,为该系统模型结构的设计和验证提供了理论依据。采用EMA子语言对AADL描述的机载设备系统进行可靠性建模,给出可靠性模型中的错误模型、错误传播和状态映射规则等子句属性的用法。最后通过一个基于AADL的机载设备可靠性建模实例,验证了所提建模方法的有效性。     

基于同步语言SIGNAL的一种系统设计方法

简要介绍同步语言SIGNAL,并讨论了一种在POLYCHRONY平台下的嵌入式系统设计方法,同时以有限LIFO堆栈为例进行说明。方法主要是利用SIGNAL进行组件建模,它强调把形式化技术放到验证、分析以及代码生成中。     

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

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