嵌入式软件仿真测试平台实时数据处理研究

实时数据处理在嵌入式软件仿真测试平台中起着要目标和实时数据处理的要求,提出了一种实时数据处理体系的逻辑模型,并对实时数据管理、事务调度、实时接口映射机制等关键技术进行了深入探讨.     

基于WCET分析的实时系统轨迹获取技术

时序约束是判断实时系统运行是否正确的重要规约.为了减小测试时由于对系统进行插装而产生的对实时系统行为的影响,提出了一种混合式监控方法.它对系统的时间干扰比纯软件方式小,并支持对系统的完全测试.此外,还提出一种基于WCET(worst-case execution time)分析技术的目标系统时间补偿方法,在精确地计算插入断言对目标系统的时间影响基础上,给出时间补偿.     

基于面向方面的实时系统建模方法

分布式实时系统的实时特性可以利用面向方面软件设计方法来建模，把时间方面细分为确定的时间子方面、不确定的时间子方面和模糊时间子方面。根据面向方面技术，不同的时间子方面分别利用随机实时时序逻辑（SQTL）和模糊时间Petri网（FTN）来表示，并且每个不同形式化语言表示的子方面模型能够通过转化为时间自动机织入系统，实现系统的实时特性。     

弹丸注入器的实时测量控制系统

介绍了一种新型的弹丸注入器实时测量控制系统。该测控系统主要由两套DSP和两台计算机组成。DSP和计算机之间通过局域网传输图片文件而利用RS422总线传送一些现场的实时数据。它与已有的弹丸注入器控制系统相比:控制更灵活、测得的数据更精确、信息量更丰富。它能测量飞行弹丸的图像、速度等信息而且实现了远程控制。     

基于嵌入式RTOS的闭环反馈调度算法的研究

分析了常见调度算法的特点，提出一种基于嵌入式实时操作系统的闭环反馈控制调度策略。针对任务的特点．从任务的周期与非周期性、I／O消耗和处理器消耗型两个方面对任务进行相应的反馈控制，使调度器具有一定程度上的自适应功能。并对实时操作系统μC／OS-Ⅱ的内核调度算法进行改进，同时与EDF算法进行对比测试，可以看出改进后的调度算法在系统负载较重或系统过载的情况下表现良好。     

基于CAN和μC/OS-Ⅱ的数字化车用仪表盘系统设计

简述了实时操作系统μC/OS-II在PIC18F458单片机上的移植方法,并以此为基础,设计了一种基于CAN和μC/OS-II的车用仪表盘控制系统,此系统中的仪表指针采用步进电机驱动,所需的数据来源于CAN网络,最后描述了此系统的软硬件结构。     

嵌入式实时操作系统wJLinux的设计与实现

为了研发具有自主知识产权的基于Linux的嵌入式实时操作系统,需要分析实时系统的任务管理,中断处理和存储管理.在改造Linux内核基础上,对任务管理,中断处理和存储管理进行精心设计,实现一个全新的实时核心.由此,使用此新实时内核开发出了一个具有优良实时性能以及自主知识产权的嵌入式实时操作系统--wJLinux.     

信息安全风险管理系统的设计与实现

嵌入式设备随着应用领域的扩展呈现出多样性以及复杂性,而嵌入式实时系统普遍不具有良好的设备驱动体系结构,造成驱动开发困难、可移植性差.该文给出了一种嵌入式实时操作系统下的驱动框架,支持各种设备及总线接口,设计了一种快速的设备中断机制,符合嵌入式实时系统的强实时、高可靠的特点,能够满足开发各种嵌入式系统.     

分布式实时任务分配算法的设计与实现

针对分布式实时任务的多机执行的特点,为了满足任务的合理分配及系统的负载平衡,研究了将任务分配到结点的调度方法,提出了基于加权轮转的任务分配机制,可以合理分配任务并使任务得到尽快处理,也解决了结点处理能力不同而造成的负载压力的问题.     

嵌入式实时系统优先级翻转问题的研究

本文介绍了实时系统解决优先级翻转问题的几种策略。通过对嵌入式实时系统μc/os-Ⅱ内核的研究，分析μc/os-Ⅱ如何利用原始优先级上限协议解决优先级翻转问题，进一步讨论了采用该协议处理优先级翻转时存在的问题，给出了一种采用立即优先级上限协议来解决优先级翻转问题的方法。