基于SDL/MSC的实时嵌入式系统概念级设计

概念级设计是实时嵌入式系统设计自动化的第一步 ,由于它的性能直接关系到整个系统的设计质量 ,所以也是非常重要的一步 .除了对所设计系统的功能进行描述、验证之外 ,概念级设计还应该对所设计系统的性能进行分析 .否则 ,如果将错误带到下一阶段 ,将会使整个设计付出沉重的代价 .在简单介绍了实时嵌入式系统的自动化设计原理 ,并分析了目前人们采用的三种概念级设计方法缺点之后 ,文章提出了基于 SDL / MSC描述与验证的 ,适用于单 FPGA或多 FPGA系统的概念级设计方法 .这种方法包括系统的 SDL/ MSC描述与验证、有向无环图 (DAG)的产生、DAG子图划分等几部分 .在文章的最后 ,还指出了这种设计方法存在的不足     

基于市场机制的嵌入式调度系统研究

随着嵌入式系统新应用业务不断涌现,应用业务的跨平台移植问题日益突出.为解决应用业务跨平台开发的问题,有必要设计通用嵌入式系统服务平台(GSSP).GSSP具有商用嵌入式系统的服务接口,可架构在多种操作系统之上,为应用业务开发提供服务.本文讨论了GSSP中二级调度体系的结构和原理,提出了一种基于市场机制的二级调度算法,并设计了二级调度模型的测试方法并对其性能进行了测试.     

基于DVS的实时多核嵌入式系统低功耗算法

动态电压调整（DVS）是低功耗设计方法中最基本的技术。然而,大部分的算法是基于单处理器平台的,并且仅考虑了相互独立的任务,这时使用DVS往往不能取得较好的效果。基于DVS提出了一种循环旋转调度技术来降低功耗,通过对程序中的循环进行重组,使得在满足时限的同时功耗最小,同时也考虑了电压转换所消耗的时间和功耗。     

基于力学描述的MEMS悬臂梁系统级动态模拟方法

提出基于受力分析与能量原理建立等效集总力学描述的思想,实现对机电耦合MEMS悬臂梁动态行为的系统级模拟.利用受控源的反馈作用实现耦合,所建立的等效电路可用于模拟静电驱动下悬臂梁的转移特性、瞬态响应与固有频率.与Saber模拟的数据进行对比,证实了该方法的有效性.     

基于.NET的程序自动测试系统的设计与实现

首先介绍程序自动测试系统的实现背景,提出了一种使用进程的输入输出重定向来实现程序自动测试的方案.详尽描述了系统模型、详细设计,重点介绍了实现的关键技术,并使用Visual C .NET实现了Windows平台上的自动测试程序.     

基于ARM9和Linux的嵌入式打印终端系统

本文首先描述了嵌入式打印终端的工作原理.接着介绍了三星公司基于ARM9核心的S3C2410处理器平台.着重阐述了在此平台上的外围电路连接设计、嵌入式Linux的打印机驱动程序开发和应用程序的开发,并给出了关键代码的分析.实现了一个嵌入式打印终端系统.最后进行了总结和改进.