实时嵌入式系统协调设计的行为验证模型

嵌入式系统协调设计中,通常采用协同验证方法检验系统设计的正确性,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟．指令集模拟从底层时序关系模拟CPU功能,通过建立与硬件模拟器连结关系来验证软硬件接口．指令集模拟的主要特点是模拟精度高,但模拟速度慢,对于不同的CPU结构需要构造不同的指令集模拟器．文中研究一种基于RTOS实时嵌入式系统行为验证模型,通过扩展RTOS功能,建立RTOS软件模拟器,实现RTOS模拟器和VHDL／VerilogHDL协同模拟交互．RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开,实现嵌入式软件设计与硬件平台的弱相关,从更高层次验证系统功能。     

模拟器在嵌入式软件开发中的应用实现

嵌入式系统在电子产品中的应用,加快了电子产品更新换代的速度,要想在技术竞争中立于不败之地,唯有加快应用软件开发进程,缩短产品开发周期.模拟器在嵌入式系统应用软件开发中的使用,大大简化了软件调试过程.本文基于μ C/OS-II嵌入式实时操作系统,研究开发出一款利用模拟器进行应用软件开发的多媒体播放器智能菜单,具有很大的实际应用价值,加快了产品的开发速度,增加了产品的核心竞争力.     

嵌入式系统软硬件协调设计环境构造与实现方法

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法,使嵌入式系统在设计初期,通过协同模拟手段验证系统的设计正确性,避免设计反复,降低开发成本,缩短开发周期     

嵌入式软件模拟器通信性能分析

利用System V的IPC机制实现嵌入式系统模拟器的进程通信,分析了通信性能对模拟器的影响.分别对中断控制器、外部设备、GDB调试工具和模拟器间所用的通信方式进行了比较,简要给出实现模拟器模块间的方法.通过实例对两个软件模拟器进行验证,表明了CkSim比Coldfire模拟器具有较好的通信效率和可靠性,为嵌入式系统模拟器的通信方法设计提供了经验.     

嵌入式系统软硬件协同验证中软件验证方法

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中,该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.     

RTOS的必备特性

随着信息家电的普及,智能化、网络化将会无所不在,所有这些都离不开嵌入式软件,而在嵌入式软件之中最核心的莫过于RTOS(Real Time Operating System．实时操作系统)。我们都非常熟悉Windows这样的操作系统,但却不一定熟悉嵌入式系统中常用的RTOS。如今,微软已经推出了Windows的嵌入式版本——Windows     

基于RTOS的GUI软件框架的研究

在对嵌入式系统GUI软件开发研究的基础上，提出了一种基于嵌入式系统RTOS上GUI的软件框架。理论上，该GUI软件框架通过采用层次化软件构件技术，提高了嵌入式系统GUI软件构件的组织管理效率；同时，该软件框架降低了GUI软件系统与RTOS的耦合性，提高了嵌入式GUI软件的可维护性、可理解性和可扩展性。最终的目标是将该GUI软件框架能应用于某个专业领域。     

面向敏捷硬件设计的符号模拟器设计与实现

敏捷硬件设计方法中,RTL建模常使用自定义的描述语言,并将设计转换为某种中间格式,为设计验证带来了新挑战。符号模拟技术是(限界)模型检验、等价性检查和测试生成等验证技术的基础,为构建敏捷硬件设计方法验证技术基础,针对PyRTL语言及其中间格式,设计并实现了一个符号模拟器。介绍了符号模拟器的设计原理、转换规则等关键技术。实验结果表明了所实现的符号模拟器的正确性。     

嵌入式系统协调设计与协同模拟技术

随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计(Co-Design)已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通过划分手段把整个系统划分为适合软件和硬件实现两部分,使系统设计并行进行。软硬件设计完成后利用协同模拟手段验证系统设计正确性,验证通过后,系统设计进入进行软硬件综合和系统集成测试阶段。该文研究嵌入式系统协调设计环境和软硬件系统模拟方法,通过构造软件和硬件模拟器,在系统设计初期实现嵌入式系统的软硬件功能及软硬件接口设计的快速验证,达到优化系统设计、降低系统开发成本、缩短设计周期的目的。     

基于RTOS的GUI软件框架的研究

在对嵌入式系统GUI软件开发研究的基础上,提出了一种基于嵌入式系统RTOS上GUI的软件框架.理论上,该GUI软件框架通过采用层次化软件构件技术,提高了嵌入式系统GUI软件构件的组织管理效率;同时,该软件框架降低了GUI软件系统与RTOS的耦合性,提高了嵌入式GUI软件的可维护性、可理解性和可扩展性.最终的目标是将该GUI软件框架能应用于某个专业领域.     

嵌入式实时操作系统在航天器软件中的应用研究

随着航天任务的日益复杂化,航天器软件中嵌入式实时操作系统的应用已经成为大势所趋。本文分析嵌入式实时操作系统应用的必要性,总结我国航天器软件中嵌入式实时操作系统的应用特点,并对以后发展趋势进行展望。     

VxWorks操作系统板级支持包的设计与实现

用于工业过程控制、通信和航天器上的嵌入式计算机对软、硬件的可靠性要求极高，对于软件较为复杂的嵌入式计算机系统，必须采用高可靠的实时多任务操作系统，处于操作系统和硬件之间的板级支持（BSP Board Support Packge)的设计是一个复杂的过程，该文介绍了基于VxWorks操作系统的板级支持包以及板级支持包设计、调试中的问题。     

基于RTOS开发嵌入式系统初探

本文主要讨论基于RTOS开发嵌入式系统。文章首先介绍了嵌入式系统的基本特点，然后分析了RTOS在嵌入式系统开发中的作用．以及系统设计人员如何为嵌入式系统选择合适的RTOS。最后论述了嵌入式系统的发展前景。     

基于RTOS开发嵌入式系统初探

本文主要讨论基于RTOS开发嵌入式系统。文章首先介绍了嵌入式系统的基本特点,然后分析了RTOS在嵌入式系统开发中的作用,以及系统设计人员如何为嵌入式系统选择合适的RTOS。最后论述了嵌入式系统的发展前景。     

某雷达信号环境模拟器主控软件的设计与实现

主控软件是雷达信号环境模拟器的重要组成部分,主控软件设计编写的优劣直接影响到设备的工作性能。在借鉴其它模拟器主控软件设计经验的基础上,针对某雷达信号环境模拟器主控软件的功能需求,该文提出了一种主控软件的总体设计方法。分别就软件中用户界面、雷达信号描述数据生成、数据及命令网络传输等部分的设计和实现进行了详细介绍,并对各部分在设计编写时要注意的难点问题进行了重点讨论。本软件已成功地在该模拟器上使用,取得了较好效果。     

嵌入式实时操作系统VxWorks内核调度机制分析

本文简要介绍了多任务内核,重点分析了嵌入式实时操作系统VxWorks的内核调度机制——优先级抢占调度和时间片轮转调度算法。     

嵌入式系统软硬件功能分配的研究

首先简要介绍了嵌入式系统及其传统的顺序设计方法和协同设计方法，然后论述了软硬件划分问题的由来、软硬件划分在协同设计中的地位、发展过程、主要问题及技术难点。     

嵌入式系统软件内存泄漏监测的算法和实现

阐述了嵌入式软件系统中内存泄漏监测的必要性,提供了一种通过使用单循环队列来实现内存泄漏监测的算法。该算法可以有效监测嵌入式系统的内存泄漏,并且可以避免引入内存泄漏监测而导致的系统资源使用急剧变化的问题,最大程度保证系统工作的平稳性。可适用于不同规模的嵌入式系统。     

基于RTOS的软硬件协同验证方法

根据处理器芯片的特点,提出了一种基于RTOS的软硬件协同验证方法,该方法在RTOS的基础上建立了一个可移植的协同验证环境,在处理器芯片设计阶段,通过建立一个与芯片相近的硬件平台,在其上利用协同验证环境先验证软件设计的正确性,然后把这些正确的软件放入由处理器芯片构成的协同验证环境中验证设计的芯片。采用这种方法,不仅可以验证处理器芯片设计的正确性,减少错误存在的可能性,而且缩短了芯片验证的时间。     

基于QNX操作系统的高可用性应用软件框架

针对QNX操作系统高度模块化的应用软件体系可能因部分模块故障而导致应用程序失去响应的情况,提出了一种高可用性应用软件设计框架.该应用软件设计框架利用了资源管理器的名字空间技术,赋予了应用程序自主发现模块故障并进行自我恢复的能力.