基于SystemC系统级的语音识别系统的建模及性能分析

针对复杂嵌入式系统, 提出了基于SystemC的系统级设计流程和建模方法, 该方法主要包括层次化建模方法、面向对象建模技术以及“Top-Down”建模方法, 为系统级建模人员提供了指导.采用提出的系统级建模方法成功地对语音识别系统进行了建模, 并对语音识别系统的性能进行了评估分析, 分析的性能指标对语音识别算法的进一步完善提供了参考依据.     

基于SystemC的可重构阵列处理器模型

基于可重构技术以及SystemC的体系结构建模特点,构建一种基于SystemC的可重构阵列处理器模型。采用模块化的SystemC系统模型分别对指令传输模块、处理元模块以及邻接互连模块建模,构成32×32的可重构阵列处理器。通过指令传输模块实现局部和非局部两种单指令多数据模式的快速切换,使用邻接互连模块完成处理元间的通信。对建立的模型进行仿真验证,同时将高效视频编解码标准中视频算法映射到该模型上。仿真结果表明,该模型搭建正确,能够实现视频编解码标准中视频算法的并行化映射。     

嵌入式并行软件的集成开发环境研究

致力于嵌入式并行软件开发工具的研究,重点是将并行软件开发技术与嵌入式系统设计技术有机地结合在一起,研究系统仿真中的多任务并发调度问题,探索用于并行程序调试和性能分析的目标监控模式,并用系统集成技术将已实现的软件工具予以集成,以形成支持嵌入式并行软件开发的工具集。它的应用将缩短嵌入式并行应用软件的开发周期,加快高性能嵌入式系统的研制速度。     

基于软件复用的嵌入式操作系统的定制

嵌入式系统的专用和资源约束等特性要求嵌入式操作系统必须是可定制的。以软件模块化复用设计为基础的操作系统剪裁配置技术为应用开发者定制系统提供了有力的支持。为了降低配置方式与工具的多样性所导致的定制操作系统的难度,该文基于模块的抽象关系提出了一种统一的定制过程模型,并在此基础上实现了一个嵌入式Linux的配置剪裁器。     

利用嵌入式系统实现BACnet与Internet集成

基于嵌入式系统开发BACnet应用,进而开发出嵌入式的BACnet/IP核心模块芯片,实现BACnet与Internet的直接互连是智能建筑研究的前沿领域.本文分析了BACnet与Internet互联时所遇到的主要问题,并给出借助于嵌入式系统解决这些问题的思路和方法.     

嵌入式Linux内核调试技术的研究与实现

为解决嵌入式Linux内核及驱动程序调试困难、方法单一等问题,运用插桩方案初步实现了一个具有基本调试功能灵活、可移植的插桩模块.该模块遵循GDB远程串行协议与宿主机调试器GDB进行交互,配合GDB的客户端功能,为嵌入式Linux内核调试提供了一个便捷、廉价的解决方案.     

基于DLL的嵌入式系统中的软件组件化

COMtCOBA组件技术较完善，但它们用于嵌入式系统却有很多局限——接口复杂，资源浪费等．分析了组件技术应用于嵌入式系统的问题，提出了一个系统框架，给出了基于DLL设计与实现软件组件的方法．     

基于MSP430单片机的软件代码快速开发

为实现高效的代码编写和方便的系统维护,在前期研究工作的基础上,利用Matlab 7．x的Stateflow工具箱,实现了基于MSP430单片机的嵌入式系统软件开发首先,对嵌入式系统进行基于事件驱动的建模与仿真．然后,在状态图代码生成器（Stateflow Coder）中把状态图（State chart）翻译成高效的C语言代码．最后,用基于MSP430单片机的目标系统底层驱动函数与翻译的C语言空函数进行简单替换,实现了嵌入式系统软件代码的快速生成．对比实验表明,用本文方法生成的软件代码,在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面均优于手工编写的代码．     

基于嵌入式系统的软件注入技术研究

嵌入式系统软件注入是指将嵌入式系统中的软件模块使用在线可编程存储器存储,可在需要时通过外部设备注入的技术。它十分有利于机电一体化产品等需要严密封装的嵌入式系统的软件升级和完善。     

基于精益型集成制造系统的软件集成研究

目的 研究开发用于精益型集成制造系统的软件集成。方法 在精益型集成制造系统基础上用Visual Basic6.0软件开发进行设计，并介绍了开发过程中的关键技术如文件传输、客户机/服务器。结果 实现了对精益型集成制造系统的软件集成功能。结论 该软件的开发满足了LIMS系统的软件集成需要。达到了预期目的。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

嵌入式软件的应用与发展浅析

嵌入式软件发展迅速,已成为软件体系的重要组成部分.文章介绍了嵌入式软件的现状、发展趋势以及影响嵌入式软件发展的因素.     

一种基于元模型的软件构建方法

本文在分析现有软件构建方法的基础上，提出了一种基于元模型的软件构建方法；其基本思想是将每一个程序单元(元模型)划分为运行和维护两个有机的部分，使得采用该方法所构建的软件系统具有一定的自学习和自组织的特性，适合目前软件的可修改性和可升级性的要求．     

基于虚拟机的嵌入式软件仿真测试环境

为了提高嵌入式软件的质量和可靠性,提出了一种基于虚拟机的嵌入式软件仿真测试环境.将虚拟机技术引入到嵌入式软件仿真测试领域中,介绍了嵌入式软件仿真测试环境的构成原理,并对虚拟机技术进行了分析,提出一种基于程序移植虚拟机模型扩展的嵌入式软件仿真测试虚拟机（ESSTVM）,给出了内存管理和指令系统的设计方案.将ESSTVM应用到航电嵌入式软件系统测试环境AESSTE设计中,研究了该测试环境的体系结构,阐述了测试开发系统及测试执行系统的设计与实现,并对AESSTE的可移植性进行了分析.分析结果表明,该方法能有效提高嵌入式软件测试环境的通用性、可移植性和可维护性.     

Tailoring of onboard system software

Tailoring of an operating system and an in embedded real-time operating system in particular is essential for both, kernel and operation. But many of current embedded real-time operating systems provide some basic tailoring at the cost of depleting the flexibility of hardware, which causes the lack of flexibility, and degrades their tailors. A layered modular tailoring model has been proposed together with some tailoring operations to improve the flexibility of the systems, and algorithms have been proposed for verification of tailoring operations with the current operating system.     

基于IPO功能分解的嵌入式软件故障树分层构建方法

针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.     

Linux平台下嵌入式地理信息系统的设计和开发

Linux正在嵌入式系统中得到越来越多的使用,基于嵌入式Linux的应用也不断被推出.嵌入式地理信息系统(GIS)是其中很重要的一个方向.首先讨论了嵌入式GIS技术的架构、发展动态及相关技术背景.然后,在搭建相应的开发环境的基础上,给出了基于PXA250硬件平台和嵌入式Linux的嵌入式GIS软件的整体架构.最后探讨了在嵌入式GIS开发中的一些相关技术.     

基于模型的嵌入式软件在汽车电子节气门上的应用

提出一种基于模型的方法来设计实时嵌入式控制软件.这种方法的原理是编译器将上层控制器模型作为源代码而不仅仅是仿真模型,在不需要人为的情况下,自动产生可执行代码,并编写源代码.实时嵌入式控制系统软件的主要部分包括:有限状态机、作业任务、程序调度和控制流与数据流.汽车电子节气门控制系统是典型的实时嵌入式软件应用系统,既有严格的成本限制,又要满足高安全性和高可靠性的要求,适合采用模型驱动架构的软件设计方法.     

嵌入式软件的测试方法研究

嵌入式软件是世界上重要应用软件的核心,但在软件生命周期的每个阶段都不可避免地会产生差错,会造成一些严重的后果,甚至会造成人员的伤亡,所以,确保它的稳定和可靠是极为重要的任务。嵌入式软件测试非常复杂且困难,全靠人力测试很难实现。纯软件测试方法和纯硬件测试方法都有其一定的局限性,不能完全满足测试要求,软硬结合的测试方法在一定程度上克服了以上两种方法的缺点,继承了两者的优点,是一种切实可行的嵌入式软件测试方法。