基于VTEST的TMS320C3x指令集模拟器设计

TMS320C3x指令集模拟器主要由指令集、中断和外设模块3部分组成.根据TMS320C3x指令的寻址特点,提出了双线代码指令模拟技术,该技术既能降低开发模拟程序的工作量,又能保证模拟效率;通过对中断识别机制的研究,给出了模拟器中断响应过程;设计了基于VTEST的事件驱动定时模拟方法,可降低外设模拟时对模拟器性能的影响.在实验部分,对模拟器性能进行了验证,实验结果表明了该模拟器具有较快的模拟速度.     

基于变量访问序模式的中断数据竞争检测方法

在航天嵌入式软件等中断驱动型软件中,中断数据竞争问题十分突出.然而中断在并发语义、同步机制、调度机制等方面与线程（任务）有诸多不同,具有Ad-hoc特征,难以统一刻画,因此主流的数据竞争检测方法并不适用.以航天嵌入式软件数据竞争案例库为基础进行了系统分析,提出刻画有害中断数据竞争的7种缺陷模式.针对其中最常见且最难解决的单变量访问序模式,基于抽象解释提出一种支持过程间分析、中断并发分析的高效检测方法.设计并实现了相应的检测工具SpaceDRC.实验表明,SpaceDRC能够在145毫秒内检测出约21400行程序中的真实数据竞争.SpaceDRC已经在多个航天重点型号中进行了应用,使得中断数据竞争专项分析的效率提高了至少5倍,并且降低了问题遗漏率.     

航天常用微处理器的中断系统概述

中断系统是微处理器结构中的重要组成部分。对于嵌入式系统的应用十分关键。无论是开发人员还是测试人员，对于微处理器中断系统的原理都应该十分了解。本文介绍了几种航天常用微处理器的中断系统基本原理。重点介绍工作原理。而不着重于具体的硬件逻辑和时序。