基于嵌入式Linux步进电机驱动程序的设计

本文阐述了Linux驱动程序的基本概念,并结合S3C2410处理器,编写了步进电机的Linux驱动程序实例,总结了驱动程序的一般编写过程和方法。     

基于IPSec的嵌入式Linux VPN网关实现

因特网通信安全需求日益迫切,VPN安全网关逐渐得到推广应用。开源、稳定的Linux操作系统为高性价比VPN网关设计提供了可行的解决方案。本研究在S3C2410嵌入式开发板上设计了一种基于Linux和IPsec协议的VPN安全网关并详细阐述了IPsec协议、VPN关键技术以及VPN安全网关的实现过程。     

一种企业医疗保险接口解决方案及实现

针对当前各定点医院已有的医院管理系统与医疗保险系统之间存在着医疗信息传输数据格式和传输模式各不相同、不能通用等问题,提出在尽量减少修改原医疗管理系统软件设计和充分考虑统一联网后各定点医院管理数据信息安全性的基础上,利用嵌入连接与VPN技术来实现网络接口与布局,有效解决了医保系统与医院管理系统接口及其安全性问题,确保了医疗保险工作的顺利进行。     

基于嵌入式系统的应用功能重构

本文从软件平台和硬件平台两方面出发,详细的论述了一个基于uC/OS-II的嵌入式系统应用功能重构开发平台的设计思路和过程,设计了基于嵌入式系统的基本元功能模块,应用功能重构语言及其解释器。实现了一个基于嵌入式系统应用功能重构的系统原形。     

嵌入式Internet的几种接入方式比较

首先介绍嵌入式Internet技术的发展和广阔的应用前景以及嵌入式Internet技术的基本概念和原理，然后重点阐述了嵌入式系统接入Internet的几种方式，包括各种接入方式的工作原理，对TCP／IP的处理方法及所需的其他协议、软硬件等，并对它们各自的优缺点进行了比较，指出了新的发展方向。     

模板依赖和其它几种依赖之间的关系研究

本文分析了模板依赖分别和多值依赖、嵌入多值依赖、连接依赖之间的关系。在此基础上给出了后三种依赖均可表示成模板依赖的形式。     

Zigbee在家庭远程遥控管理系统中的应用

Zigbee(802.15.4标准)是一种低成本、低能耗、易组建的无线通信技术,主要应用于工业和家庭的自动控制和远程控制.介绍了Zigbee技术的主要特点,讨论在基于ARM的嵌入式系统控制下,通过Zigbee传感器网络连接家庭各种智能家电、监控设备以及求助报警设备,进而通过电话网/互联网实现家庭远程遥控管理.     

用Visual C++实现的嵌入式PLC梯形图编辑软件

提出一种用V isual C 实现的全屏幕的进行软PLC梯形图编辑的软件,编辑范围不受限制,编程时遵照普通PLC的规则即可,在编辑的同时,可随时修改、删除图形,并随时将图形及图形间的拓扑关系用类对象指针存储起来,以便进行后续的梯形图处理工作。     

基于Si2414及Si3015的嵌入式Modem设计

介绍一种基于硅实验室双芯片形式的嵌入式Modem芯片Si2414、Si3015以及TI公司的16位定点DSP芯片TMS320LF2407A的嵌入式Modem设计，重点说明了该Modem的硬件电路及软件的设计过程，并培出其在TTU设备通信中的应用实例以及相关硬件接口电路和C语言程序。     

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.