基于时间触发模式的合作式调度器的实现

在许多嵌入式系统中采用事件触发模式,这在很大程度上会增加系统的复杂性、代码的长度与复杂性,不适合普通的开发人员构建,因此必须采用价格昂贵的商业操作系统,同时需要很大的操作系统开销.本文介绍的基于时间触发模式的合作式调度器的具体实现方法,可以满足多数嵌入式系统的需要,同时,它也是简单的、免费的.     

改进型时间触发嵌入式系统编程模式

对于成本敏感的嵌入式系统,通常因为资源有限而难以采用抢先式实时多任务操作系统。传统的基于超级循环的前后台编程方法和基于时间触发的合作式多任务编程方法对任务的划分需要较高的技巧。本文通过对基于时间触发合作式调度器的改进,建立了一种适用于小型嵌入式系统的通用编程模式,使这类系统的编程变得清晰、简单。     

基于时间触发模式的电子控制系统设计

电子控制系统运行的任务绝大多数是周期性任务,因此,采用时间触发模式进行设计具有合理性.本文详细介绍了时间触发合作式调度器的机制,并与抢占式设计调度器进行了比较;给出了一个使用时间触发模式开发太阳跟踪器的设计实例.     

基于耦合模式的主动实时并发控制算法

主动实时数据库中触发事务与被触发事务在执行上具有多种耦合模式，传统的并发控制无法对具有复杂耦合模式的事务进行有效调度。通过对不同耦合模式实时要求及事务间冲突关系的分析，提出了新的主动实时并发控制算法(ARTCC-CM)，采用时戳区间策略，在验证阶段检测冲突事务触发度及执行时间，动态调整串行化顺序。理论分析与实验证明，在保证可串行性同时减少了不必要的事务重启，提高了系统性能。     

双重触发的嵌入式系统内核安全访问控制

随着外部事件的不可预知性和实时任务复杂性的增加,传统的仅采用基于事件触发机制的嵌入式实时操作系统的设计变得更加困难,在很多情况下,该系统难以保证实时运行过程中的安全性与可靠性。本文针对μC/OS-II在设计之初并没有考虑时间触发以及安全访问控制机制的特性,结合OSEK时间触发标准,设计并实现一种符合OSEK标准的、基于时间/事件双重触发的内核任务调度机制,并在该调度机制中,提出通过采用通用访问控制框架（GFAC）和安全属性映射表的方法,保证了不同角色对系统访问的安全访问控制。实验结果表明,所设计的调度机制和访问控制方法不仅满足了时间和事件双重触发特征,而且加强了对内核的安全访问控制操作并具有良好的使用效能。     

基于LM3S811的时间触发多任务调度器设计

多任务调度是嵌入式系统的关键问题之一,时间触发具有实时性和时间可预见的特点。本文设计时间触发模式多任务调度器．提出一种包含时间进程和任务状态的时间表结构,以时间进程映射任务周期,以任务状态标识任务就绪,以状态传递函数来控制系统状态转移。结合LM3S811硬件平台,实现了接球游戏中的时间触发模式调度器设计。     

时间触发模式下的Protothreads设计应用

Protothreads是一种无需堆栈的极轻量级线程。本文旨在讨论Protothreads在时间触发模式系统中所能发挥的优势。以一个具体例子为依据,详细介绍了如何使用经过改进之后的Protothreads构建一个多任务调度器,并使之顺利应用于时间触发模式的系统中。     

下一代车载网络FlexRay及其应用研究

FlexRay是能够满足未来车内控制应用需求的通信系统。它采用了基于时间触发的数据传输技术,相对于当前在车内广泛采用的基于事件触发的通信总线（如CAN等）,其应用开发方法有很大不同。为了阐明基于FlexRay总线的应用开发过程,使用DecomSys公司的分布式系统开发工具Designer软件设计了基于FlexRay总线的线控节气门原形控制系统。介绍了系统的体系结构、任务模型的构建以及应用开发过程,并对FlexRay在该系统中的应用进行了分析。     

一种基于Event-B语言的时间触发系统建模方法

安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题，验证时耗少，适用于高并发系统。然而，常规的Event-B方法缺乏时间语义表达结构，特别是缺乏对可提高系统可预测性的时间触发属性的支持。首先，介绍支持时间触发系统的抽象建模框架TTEB,从系统行为和实现2个抽象层次对时间属性进行建模和精化。然后，通过有序事件链组成的时间触发转移描述行为层时间触发属性；通过全局时钟到分布式本地时钟的精化和分解实现行为模型到实现模型的转化；运用时间触发转移建模分布式时钟周期同步。最后，基于从车跟车系统建模与验证说明方法的可用性和有效性。     

一种时间触发的多任务调度器设计

复杂的嵌入式系统中,采用传统的前后台单任务控制机制已经不能满足要求。本文在详细分析了时间触发和事件触发模式的优缺点的基础上,设计了一种基于时间触发的多任务调度器;实现了调度器的消息处理机制,并给出了设置硬件定时器的示例代码和周期性任务的处理代码;使用NEC公司的V850平台实现了该调度器,并给出了将该调度器应用于车载音响系统中的模块划分方式和周期性任务的处理方式。