微型嵌入式系统故障诊断方法综述

随着物联网和大数据的高速发展,微型嵌入式系统已经广泛应用于外卖、共享单车、运输、快递和智能家居等行业之中,现有的故障诊断研究主要集中在传统嵌入式系统上,因此针对微型嵌入式系统故障诊断文献相对较少。针对上述问题和结合该系统的特点(有限计算能力和存储空间的),提出了一类适合微型嵌入式系统故障诊断方法分类方法,将其分为两大类,即本地故障诊断方法和远程故障诊断方法。接着讲述了微型嵌入式系统故障诊断方法核心思想,总结出了各方法在微型嵌入式系统上运用的优缺点和应该注意的问题,最后讨论了微型嵌入式系统故障诊断亟待解决的问题。     

基于eSuperMap的移动嵌入式地理信息系统研究

随着IT技术的迅速发展和社会需求的增大,传统GIS正与现今被广泛使用的嵌入式设备（pDA,Smartphone等）紧密结合,Embedded GIS概念及其相关技术不断延伸发展,应用也日益广泛。论文借助北京超图公司的eSuperMap二次开发工具包搭建基于Pocket PC的嵌入式地理信息系统开发平台,论述了移动嵌入式GIS系统结构,功能设计原理,开发方式所涉及到的相关技术。     

基于嵌入式GIS的电力巡检系统的研究

介绍了一种基于嵌入式GIS技术的电力移动巡检系统的设计与开发。系统硬件由掌上电脑和CF卡式GPS接收机组成，软件平台为WINCE，嵌入式GIS开发工具采用eSuperMap。所开发的系统支持配电网络电子地图导入和基本操作，可以基于GPS获取位置信息，实现杆塔快速定位，记录或查询缺陷信息。该系统利于提高农村配电网络的线路巡检效率，有实用性。     

基于eSuperMap的移动嵌入式地理信息系统研究

随着IT技术的迅速发展和社会需求的增大,传统GIS正与现今被广泛使用的嵌入式设备(PDA,Smartphone等)紧密结合,Embedded GIS概念及其相关技术不断延伸发展,应用也日益广泛。论文借助北京超图公司的eSuperMap二次开发工具包搭建基于PocketPC的嵌入式地理信息系统开发平台,论述了移动嵌入式GIS系统结构,功能设计原理,开发方式所涉及到的相关技术。     

基于TMS320F2812的微型实时内核的实现

随着微电子技术的飞速发展，现在的微处理的处理数据的能力越来越强。当然随着嵌入式系统设计的不断深入，这就要求开发嵌入式系统的周期要快，系统的可靠性、可调试性要强。要实现这个目的仅仅采用某种高级语言来开发嵌入式系统是远远不能达到目的的，更需要一个良好的、可靠的、实用的软件开发平台来实现自己的嵌入式产品。实时操作系统就是在这种情况下诞生的。通过对实时操作系统的具体分析，以及实现一个微型实时内核来具体介绍实时内核的实现方法.     

基于PDA的移动收费系统的设计与实现

后PC时代的到来,使人们开始越来越多地接触到嵌入式产品,嵌入式技术已成为一个研究热点和消费热点。收费系统在各行各业已经得到广泛的应用,由于应用范围的差异、设计模式不同等因素,嵌入式收费系统必将成为开发及应用的新热点。通过对嵌入式系统、Windows CE操作系统、嵌入式数据库等技术的研究,根据现实应用,在PDA平台下实现了一个移动收费系统,这一系统架构也为收费系统的发展开辟了新的应用前景。     

基于嵌入式GIS在智能小区信息系统的设计与实现

通过分析近年来信息技术及地理信息系统(GIS)的进展,探讨了在嵌入式技术迅速发展的今天,将GIS与嵌入式硬件相结合是一个新兴的应用领域,它是原有的GIS领域的分支与延伸,补充与发展.通过对建立智能小区管理信息系统的必要性,介绍嵌入式GIS在智能小区系统的开发原则、实现功能和方法.     

微型阀和微型泵的原理与应用

本文通过对其工作过程的具体描述,指出微型机械技术的出现将引起一场划时代的革命。另外,文中还介绍了微型阀和微型泵的结构、原理与应用。     

基于GIS的大型停车场智能管理软件的设计

提出基于GIS开发大型停车场智能管理系统的思想.在停车场管理系统软件中加入GIS内容,实现停车场电子地图的可视化操作及管理.系统基于开源GIS项目SharpMap+C#,以SQL Server数据库为支撑,结合停车场管理系统的项目要求,简化电子地图中空间实体的某些细节信息,实现了具有微型GIS的功能设计.     

嵌入式系统在工程地震仪中的应用研究

该文阐述了基于三星ARM处理器$3C2410A和嵌入式操作系统Windows CE．Net的某种微型工程地震仪的设计原理和实现方法。在现有工程地震仪的基础上,结合嵌入式技术构建了一种携带方便、功耗低、体积小的微型工程地震仪,它能够适应不同的工作场合,满足工程勘探的需要。     

Contributions of model checking and CoFI methodology to the development of space embedded software

The role of embedded software in the last space accidents highlights the importance of verification and validation techniques for the development of space embedded software. In this context, this work analyses the contribution of two verification techniques applied to the onboard data handling software of space products. The first technique is model checking. The system is modeled by a set of timed automata and the verification of safety and liveness properties is performed using UPPAAL model checker. The verified model is then used to generate the embedded software. The second technique analyzed in this work is model based approach for the generation of test cases. The Conformance and Fault Injection (CoFI) testing methodology is used to guide the development of a set of Finite State Machine (FSM) models from the software specification. The test suite is automatically generated from the FSM models. The contributions of the two methodologies are analyzed based on the results provided by an experiment. Two software products are used as case study, each one implementing two services of the Packet Utilization Standard (PUS). These services represent the functionalities offered by a satellite onboard data handling computer. One of the products is developed with the aid of model checking, while the other is developed according to the practices currently used at the Instituto Nacional de Pesquisas Espaciais (INPE). Both software products are tested by the CoFI methodology. The experiment highlights the advantages and vulnerable points of model checking. It also demonstrates that the main contribution of CoFI testing methodology is to highlight problems related to situations that have not been considered in the software specification, such as the occurrence of inopportune events. This analysis helps to understand how different techniques can be integrated in the design of critical embedded software.     

基于Tornado和Tilcon的嵌入式GIS图形编辑软件的开发

以VxWorks实时多任务操作系统为应用平台,结合与之配套的软件开发工具Tornado和Tilcon开发出一套嵌入式实时系统GIS图形编辑工具软件.该软件主要用于GIS图形的编辑、以及数据处理,具有移植性强,方便二次开发等优点.     

基于移动计算的地理信息系统的发展研究及应用前景

计算机与通信技术使得移动计算成为当今一种主流计算方法，基于移动计算的地理信息系统（称做移动GIS）就是在这种条件下产生的。可以预见，移动地理信息系统将会是GIS产业发展的下一个亮点。本用GIS发展的观点叙述了移动GIS发展的必然性，以及移动GIS发展过程中的变化和特点，并且讨论了移动GIS的关键技术及应用前景。     

从软件质量控制到软件质量保证

本文阐述了在嵌入式系统和在其他执行关键任务的软件中由传统的软件质量控制技术到前涉的质量保证方案的转化：软件在每一个产品和每一个组织中所发挥的作用日益重要。近年来,执行关键任务的应用系统的数量以指数速度增长。这些系统要么失败后损失巨大（空中交换管制系统和其他生命支持产品）。要么纠正费用高（便携式电话和其他用户产品）。为嵌入式系统设计的软件在更多的时候属于“执行关键任务”的范畴,而对嵌入式系统的需求也在继续升温,因此对前涉的质量保证的需求要高于以往任何时候。本文把质量控制到质量保证的转化分为两个阶段：1质量评估（第一阶段）：在开发周期的早期,即在软件到达用户之前,甚至在测试之前识别和排除软件故障,同时提供客观定量的质量评估。2质量保证（第二阶段）：在作更改的时候,通过精确的影响分析,采用强制执行编码标准和防止新错误出现的方法来防止错误进入代码基数。     

基于组件式GIS的广西农业气候区划应用系统

组件式GIS是一个基于组件对象的地理信息系统开发平台。它以一组具有标准通信接口的、可跨语言应用的组件提供GIS功能。与传统的GIS相比，组件式GIS具有系统集成性好、开发语言多样、可扩展性强、易于进行二次开发等特点，已经成为地理信息系统的一个发展趋势。该文介绍了利用组件式GIS开发的广西农业区划应用系统，包括系统的关键实现技术、总体结构、系统的主要功能等，并给出了系统应用的实例。     

基于COM组件技术的ArcPad功能扩展

分析了嵌入式GIS软件ArcPad的现有功能,以及该软件的定制和扩展方法,针对该软件二次开发功能有限的缺点,通过使用COM组件技术,找到扩展ArcPad软件功能、实现二次开发的一种新方法。     

软件能耗优化技术研究进展

为了设计高性能低能耗的系统,需要从硬件设计和软件设计两个方面进行考虑,以取得性能和能耗的最佳权衡.研究利用软件技术降低系统能耗的问题,主要探讨系统开发阶段的低能耗软件优化与评估技术.优化技术包括指令级优化、算法级优化与软件体系结构优化3类,阐述在各类优化技术研究中面临的问题和当前的研究工作进展;深入讨论了低能耗软件优化的关键支撑技术——软件能耗估算,指出并分析面向处理器和面向全系统的软件能耗估算面临的主要问题和研究进展;最后展望进一步研究的主要问题和发展趋势.     

嵌入式软件测试的数据获取技术

测试数据获取是嵌入式软件测试的关键技术,其准确性.实时性和可靠性对测试质量有决定性影响.嵌入式软件测试需要根据软件特性和测试要求对数据获取方法进行定制设计.针对侵入式的软件插桩测试技术,着重研究了硬件采集、硬件收发、纯软件方式的插桩实现过程.对非侵入式的边界扫描技术和虚拟仿真技术的数据获取原理进行了分析,并提出了嵌入式开发测试一体化集成应用和全生存周期嵌入式软件开发,测试与管理的思想,指出了嵌入式软件测试的新方向.