一个分布式嵌入系统的系统级模型

在分析CDM的基础上提出了一个适合干对分布式嵌入式系统进行分布式模拟的软硬件协同设计模型。该模型可描述分布式嵌入系统的实时性、同步，也可对其进行参数化修正。     

CDM通信模型

CDM是一个嵌入式系统软硬一体化设计的计算模型,论文在CDM的基础上提出并定义了CDM的通信模型。     

在Linux中避免进程的无效唤醒

在操作系统中，正在执行的进程在某些条件不满足的情况下需要进入睡眠状态从而让其他进程可以使用处理器资源。Linux是一个支持对称多处理器的操作系统，由于进程的并发能力，Linux中的进程有时可能会遇到无效唤醒的问题。本文展示了Linux中进程无效唤醒问题的发生．提出了相应的解决方案，最后以Linux内核源代码为例进行说明。     

USB／IrDA桥控制芯片STIr4200S

从功能方块图、引脚说明、帧格式、寄存器及其控制指令等几个方面详细介绍SigmaTel公司开发的一款专用于USB与IrDA间桥接控制的新型ASIC:STIr4200S。     

基于Ext+Spring+Hibernate的Web系统开发架构的研究与应用

介绍了当前开源框架Spring、Hibernate和新型Ext开源框架,并针对新一代Web应用程序开发的问题,采取基于Ext＋Spring＋Hibernate的Web系统开发架构设计开发。该架构具有高效复用快速特点。本文还举例阐述了如何利用该架构进行Web应用程序开发。     

基于SystemC的组件设计及行为级代码的自动生成

如何高效、正确地将高度抽象的形态设计,自动变化成设计的低层实现形态是软硬件协同设计（Hardware／software Co—design）的一大难题。对此该文给出了一个如何将设计从高层模型（CDM模型）自动映射到SystemC组件的设计方法及其相应的行为级代码的自动生成算法。     

一种新型Petri Net:双层变迁定时Petri Net

嵌入式系统的设计尤其是复杂嵌入式系统的设计，需要对系统的稳定性、可靠性等进行分析，进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析，该文在深入分析现有Petri Net的基础上，构建了一种适合于嵌入式系统建模的新型Petri Net。     

USB/IrDA桥控制芯片STIr4200S

从功能方块图、引脚说明、帧格式、寄存器及其控制指令等几个方面详细介绍SigmaTcl公司开发的一款专用于USB与IrDA间桥接控制的新型ASIC:STIr4200S.     

双层变迁定时Petri Net抽象化

该文对双层变迁定时PetriNet进行了抽象化，抽象化的双层变迁定时PetriNet可用于嵌入式系统设计过程的中间态模拟。     

混合实时嵌入式系统软硬件协同综合算法及其组件设计

给出一个混合实时嵌入式系统软硬件协同综合算法COSMT及其组件的设计方法,从而能够生成混合实时嵌入式系统的系统结构,并且能够在SystemC仿真环境下进行软件与硬件的协同设计与调试。