“汽车构造”课程教学的实践与探索

“汽车构造”本身是理论性和实践性都较强的课程,同时汽车技术的发展使得汽车的复杂性与科技含量不断增加,因此对“汽车构造”课程的教学提出了更高的要求。文章从“汽车构造”教学的各个环节探讨了提高其教学质量的途径,并通过实践取得了较好的效果。     

嵌入式Linux交叉开发环境

对嵌入式软件交叉开发技术进行探讨和研究。利用开源软件在W indows操作系统下,构建了一个嵌入式Linux的交叉开发环境,开发了busybox等应用程序,为“龙芯gs32 i”开发板搭建了一个嵌入式Linux的运行平台。     

UECNET分布式实时操作系统核心的实现

UECNET 是一个分市式实时操作系统原型,已在三台 PC/AT 连成的分布式系统上实现。本文主要叙述 UECNET 分布式实时核心的实现技术,UECNET 分布式实时核心建立在 PC—DOS 之上、实时核心包括多任务环境的建立,同步机制,实时调度,时钟管理等模块。通信核心提供了带时间信息的消息传递机制以及物理层通信的实现。核心支持动态重配置,提供了结点失效后的系统同步、动态重配置分析,动态系统恢复等功能。     

分布式实时嵌入式系统端到端性能确保

针对具有端到端截非周期任务模型的分布式实时系统,提出了一种ICA算法,构造了一个兼顾非周期实时任务个体性能和总体性能的分布式控制环。该算法能动态调整任务的QoS,从概率上确保了任务的端到端截止时间,并能通过确保CPU利用率来提高系统吞吐量。实验结果证明ICA能为具有端到端非周期任务模型的分布式实时嵌入式系统提供更好的性能确保。     

安全关键实时操作系统时间隔离保护机制的设计与实现

为了设计高可信的安全关键实时操作系统CRTOS2．0，在分析现有操作系统可信性保障机制的基础上，提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想．空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写，而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行．为实现时间隔离保护机制，在改进传统处理器能力预留机制的基础上，基于两级调度的思想，提出了新的实现方法．时空隔离保护机制的提出，可从本质上增强安全关键实时操作系统的可信性．     

一种基于构件的嵌入式实时软件框架

嵌入式实时软件面临着规模大、复杂性高而开发周期相对较短，必须具备可定制和演化的能力等挑战，因此一个重用性高、扩展性和维护性好的软件框架显得非常必要。本文提出了一种基于构件的实时软件框架CBRTSF，它在其实时构件模型RTC的接口中显式定义了构件需要的服务——输入方法，并将接口中的每个方法赋予优先级特性。在此基础上，利用方法连接来描述构件间的交互，采用基于方法连接的可抢占优先级调度算法，从而得到一个全构件化的实时软件框架。最后，我们举了CBRTSF的一个应用例子，并将CBRTSF与相关研究工作进行了比较分析，说明了CBRTSF在满足系统实时性、重用性、扩展性和维护性方面具有较大的优势。     

多安全策略集成性问题的分析与解决

解决多安全策略的集成性问题是安全操作系统支持多策略和动态策略的基础。本论文采用形式化的方法为安全系统建立了全局安全状态的迁移模型,以TE和RBAC策略为例分析了不同策略作用下安全关联行为对安全状态的影响,并根据T&R集成模型提出了解决多策略集成性和一致性问题的思想,为安全操作系统的实现奠定了基础。     

一种智能家电嵌入式软件源码构件的设计模式

通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码的研究,提出了一种家电嵌入式软件源码构件设计模型.该模型根据特定的构件规范,将成熟软件可重用源代码片段封装成不同级别的源码构件,插在同类家电程序框上,生成所需的嵌入式软件系统.详细介绍了源码构件层次模型和构件封装规范,并以空调控制器应用程序开发为实例,说明源码构件的设计、生成、应用过程.该构件设计方法,特别适合不用操作系统的家电控制程序的构件开发.     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

基于PC-104的运动控制器核心算法研究及实现

采用PC-104作为运动控制器,实现三轴转台的位置闭环控制,其中关节角的多项式插补算法和增量型积分分离PID控制算法是研究的重点.详细阐述算法思想,给出数学方程,制定程序控制流程,编写算法程序.在Matlab/Simulink搭建的永磁同步电机位置闭环控制程序框图中进行仿真并加以验证.仿真结果表明:三轴转台位置闭环控制系统在该算法调节下具有良好的伺服性能.