嵌入式系统概述

本文介绍了嵌入式的基本概念,论述了嵌入式系统的发展阶段,详细阐述了嵌入式系统的发展现状,最后展望了嵌入式系统的发展趋势。     

浅谈嵌入式处理器及其发展趋势

嵌入式系统作为计算机应用的一个重要领域,已经深入到社会生活的各个方面。作为嵌入式系统的核心,嵌入式处理器的重要性毋庸置疑。文章介绍了嵌入式处理器的分类,以及常见嵌入式处理器的体系结构,并对嵌入式处理器的发展趋势进行了讨论。     

嵌入式系统及其实时软件的开发

阐述了嵌入式系统的概念、特点及应用 ,并对其软硬件系统、实时软件开发技术进行了详细叙述 ,对嵌入式CPU各种类型及代表产片的进行了比较说明 ;提出了嵌入式系统的模型、嵌入式实时软件的开发过程和方法 ;针对目前嵌入式系统的发展现状 ,论述了嵌入式系统的发展动向。     

学科服务的走向——嵌入式服务模式——以厦门大学图书馆为例

以厦门大学图书馆为例,从嵌入式的学科服务实践出发,阐述了嵌入式学科服务的特点,探讨了嵌入式学科服务的＂渠道＂,讨论了嵌入式服务模式的具体内涵和一般方式,指出了嵌入式服务模式的服务效果。     

关于图书馆嵌入式服务的研究与实践

随着信息技术的快速发展,嵌入式服务将成为高校图书馆未来的发展趋势。介绍了嵌入式服务的特点,阐述了嵌入式服务方式的分类,探讨了嵌入式服务的具体方法,分析了嵌入式服务存在的问题并提出了相应的解决途径。     

高校图书馆嵌入式信息服务的实践分析

嵌入式信息服务已成为图书馆界的研究热点之一。阐述了陕西中医学院图书馆嵌入式服务的实践概况,分析了嵌入式服务实践中存在的问题,参照国内外嵌入式服务案例,构建出适合我国高校图书馆嵌入式服务的实践模式,包括设置嵌入式馆员、构建协调与评估机制、建立交流平台以及采用嵌入式服务方式等。     

基于嵌入式环境的Honeyd研究

嵌入式系统应用已渗入到工业、军事、日常生活等各个邻域。随着嵌入式系统应用的普遍化和网络技术的不断发展,嵌入式网络应用将成为嵌入式系统应用发展的趋势。嵌入式网络的存在,必须要考虑嵌入式网络安全方面的问题。嵌入式系统本身资源有限,无法存储和运行大型的安全工具等。提出了在嵌入式系统上使用蜜罐Honeyd的安全防御措施。介绍了嵌入式系统安全特点并对Honeyd简单介绍,然后分析Honeyd的体系结构及配置,最后实现在嵌入式设备上对Honeyd的移植并进行测试分析。     

嵌入式系统开发与应用

本文从嵌入式系统的基本概念其及发展过程出发,阐述了嵌入式系统的特点、嵌入式系统开发的过程以及广泛的应用。首先,分析嵌入式系统与一般计算机系统不一样的特点,然后从各个方面分析了开发嵌入式系统的步骤与方法。最后文章介绍了嵌入式系统在各个方面的广泛应用。     

嵌入式系统实验教学的探讨及评价体系的建立

介绍了嵌入式系统技术发展的现状和趋势,阐述了建立嵌入式系统实验教学的重要性,在分析嵌入式系统实验教学的基础上,建立嵌入式系统实验教学的评价体系,保证了实验教学质量。     

基于pSOS的嵌入式浏览器设计

随着消费电子、计算机、通信 (3C)一体化趋势越来越明显 ,嵌入式技术成为研究热点 ,而机顶盒、信息家电的新的交互应用功能使嵌入式浏览器的开发越来越重要。本文首先给出了嵌入式浏览器的定义 ,论述了嵌入式浏览器的发展历程与现状 ,比较了嵌入式浏览器与桌面浏览器的区别 ,并给出国内外厂商研制的几个嵌入式浏览器的例子。接着介绍了pSOS嵌入式操作系统的系统结构及各部分的功能和特点 ,然后针对这些特点 ,分析了嵌入式浏览器的各个功能模块 ,提出了基于 pSOS的嵌入式浏览器的软件结构流程     

基于组件化可扩展嵌入式文件系统设计

随着嵌入式应用的日趋深入,嵌入式实时操作系统及其相关组件的设计技术也受到日益广泛的关注.本文首先研究了嵌入式实时操作系统的设计模式,随后提出了可扩展嵌入式系统组件的设计模型,最后依据该模型设计并实现了一种面向嵌入式应用、具有较高扩展性的文件系统.     

"三层传输模型"在嵌入式系统与PC间通信中的实现

针对嵌入式系统与PC间通信的特点,基于tcp/ip通讯模型的思想,提出适合嵌入式系统与PC间通讯的"三层传输模型",把嵌入式系统的通信过程设计为数据传输层、数据控制层、数据应用层,每层利用下层提供的功能为上层服务,解决嵌入式系统与PC间数据传输的高效性、可靠性的问题,并通过实验得出相关数据进行分析说明.本模型的思想具备一定的通用性,适用串口,蓝牙,红外等各种接口或同类嵌入式系统与PC进行通信的问题.     

跨平台嵌入式GIS系统设计关键技术研究

着重研究各种嵌入式平台下GIS系统的公共模型中的地图缩放、地图坐标分类及相互间的转换这两种嵌入式GIS系统设计所必须的视图显示技术以及路网模型、数据模型这两种具有很强设备无关性的模型设计问题,为构建一个可进行跨平台二次开发的嵌入式GIS系统提供了理论依据。     

嵌入式系统轻量级GUI的设计与实现

嵌入武图形用户界面（Embedded GUI）是嵌入武计算机系统的核心技术之一。提出了一种组件型的GUI模型。该模型放弃了常见嵌入武GUI的窗口管理机制,以消息驱动为核心,采用了面向对象的方法。利用该模型成功地实现了一个高效、简洁并便于移植和定制的最小GUI系统。     

嵌入式软件系统测试模型的研究与实现

指出嵌入式软件系统测试目前还存在测试需求没有规范化、测试用例执行效率低、测试平台不统一等问题.针对这些不足,通过对嵌入式软件测试技术的研究,以形式化的需求描述、基于数据域的测试用例生成等方法为基础,以系统测试环境为平台,建立了适合嵌入式软件系统测试的模型框架.然后针对模型的各个部分,提出了具体的实现方案.最终将该方案应用于某型号嵌入式软件的系统测试中,保证了测试用例设计的完整性、测试覆盖的全面性、测试度量的准确性,并且大大提高了测试的效率.帮助用户达到软件测试效率提高、成本降低、风险小、所开发的软件产品质量高的目的.     

面向对象的嵌入式TCP/IP协议栈设计

分析了标准TCP/IP协议的基本原理,从OSI网络体系参考模型出发,给出一个具有较好可扩展性和可维护性的嵌入式TCP/IP协议栈设计模型.通过嵌入式仿真软件SkyEye验证了采用面向对象方法设计嵌入式TCP/IP协议栈的可行性,并对协议栈的设计质量进行了评估.结果表明设计的嵌入式TCP/IP协议栈能够在嵌入式系统中正常工作,具有较好的可扩展性和可维护性.     

嵌入式语音交互系统

介绍了适应人机自然交互环境的嵌入式语音交互系统。提出了一种嵌入式数字信号处理平台的工作模型。深入讨论了我们开发的嵌入式计算平台,以及在该嵌入式计算平台中实现特定３人控制信念词语音识别功能的方法。     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

恒压供水装置嵌入式控制MBD方法

变频恒压供水装置目前在新型舰船上获得广泛应用,普遍采用进口PLC作为其控制器.为了研制拥有自主知识产权的嵌入式控制系统,本文提出一种基于模型设计(MBD)的变频恒压供水装置嵌入式控制系统快速开发方法.首先通过实验辨识建立与真实变频机组特性基本一致的数学模型;其次在Simulink统一仿真环境下根据模型设计开发模糊自适应...