嵌入式微处理器的多层次可配置仿真工具

为了适应嵌入式定制微处理器的开发的需要 ,克服现有微处理器仿真工具的某些不足 ,文中介绍了微处理器的仿真验证工具———VCPU的设计和实现方法。同其它微处理器仿真工具相比 ,该工具具有多层次 ,可配置 ,功能全面的特点。利用该工具 ,设计者可在设计早期进行系统集成验证 ,缩短设计周期并减少设计错误。

Hades高可信架构中分区间信息流控制的研究

为保障Hades高可信嵌入式操作系统体系架构自身的可信性,必须对其不同安全等级分区之间的信息交互进行严格的控制。该文分析了现有采用分区机制的可信系统的信息流控制方法的不足,提出了一种信息流控制模型,建立了信息流控制机制,并通过实验原型进一步验证了该信息流控制技术的正确性和有效性。

八位微处理器系统级设计中的多时钟实现方法

文章介绍了一种采用多时钟定量系统设计八位复杂指令集微处理器的方法。复杂指令的分解与技巧、指令与步长计数器联合译码算法、子操作步骤的多时钟实现方法给予了详细说明；多时钟实现方法在项目管理与其它类别微处理器系统级设计中的运用给予了拓展性描述。

大型地区电网安全运行多层次综合决策支持系统的设计

在分析了现有调度自动化系统应用现状的基础上,结合智能电网的发展趋势,设计了大型地区电网安全运行多层次综合决策支持系统的体系架构、功能框架和应用模式,研究了相关关键技术,阐述了系统的"嵌入式"实现模式及其应用情况。该系统首先按照电网运行状态的变化过程,将电网运行状态划为正常运行期、故障发生前的告警征兆期、故障发生后的诊断辨识期和故障恢复期等4个阶段,并针对不同阶段设计了相应决策子系统;然后根据研究目标电网结构的不同,将系统分为实时态、研究态、规划态和培训态4种应用模式,实现电网安全运行的多层次综合决策支持,以保障电网的安全稳定运行。

基于分区的航电系统调度分析工具实现

针对仅含纯周期任务集合、符合ARINC653多分区构架航电系统两级调度模型的可调度性判定问题,提出一种基于分区的航电系统调度分析工具。通过设定时钟变量模拟航电系统各分区中任务集调度过程,依据纯周期任务集及分区航电系统时间片分派特性确定仿真区间,设计优化的调度分析算法,判定航电系统分区级时间片分派的正确性及各分区中任务集的可调度性。测试及实例分析结果表明,该工具能自动、准确、快速地判定航电系统分区以及任务级调度模型的可调度性,并能以甘特图的方式绘制系统调度过程,较现有工具更为直观、高效。