一种基于μC/OS-Ⅱ的高可靠实时系统内核设计

来源 :计算机科学 | 被引量 : 0次 | 上传用户:lxj364199013
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于μC/OS-II,设计并实现了一个高可靠的分区嵌入式操作系统内核。为了保证高关键级别分区的执行时间,提高系统可靠性,提出了一种新的周期执行时间可变的分区调度算法,其能在保障高安全关键级别分区优先执行的同时提供较高的资源利用率和任务可调度性。采用了一种基于位运算的访问控制算法,其可保证系统的信息安全,提高系统的可靠性。最后,通过算法分析和实验结果验证了所提算法的有效性和实时性以及系统的可靠性。
其他文献
从硬件与软件两方面阐述VXI总线C尺寸双通道通过式功率计的设计方法。对如何提高功率计的精度采取了一定的措施。
从应用的角度出发,总结了数字信号传输过程中由传输线路的特性引起的主要畸变,分析了产生的原因,并给出了相应的抑制措施。这对数字系统的设计与实践都具有指导意义。
介绍了一个控制系统中的前端图像数据采集系统,以及CPLD(复杂可编程逻辑器件)在系统中的应用,这种应用技术可以用于绝大多数图像采集、存储系统中的数据采样密度的控制,同时可以起
讨论一种可以不间断进行数据采集、处理,并具有12位分辨率的高速(3MSPS)数据采集卡的设计原理和组成部分的特点。
提出了五种产生脉冲的方法.分析讨论了各种方法的时效性及出现时间误差的原因.并介绍了用LabVIEW编程语言、DOS编程语言编写脉冲产生程序和通过定时器硬件中断产生脉冲信号等
属性约简是指将信息表中不影响决策或者分类的多余属性去掉,是粗糙集理论研究中的一个核心内容。现已证明寻找信息表的最小约简是一个NP-hard问题。目前提出的启发式算法一般
可重构网络测量系统中,工作流测量构件间迁移的过程是否与规约描述一致,是检验测量构件一致性测试的重要内容。建立了一种基于工作流的构件变迁模型MCTM(Measurement Componen
为了更准确有效地提取人眼观察视频的显著性区域,提出一种基于视觉运动特性的视频时空显著性区域提取方法。该方法首先通过分析视频每帧的频域对数谱得到空域显著图,利用全局运动估计和块匹配得到时域显著图,再结合人眼观察视频时的视觉特性,根据对不同运动特性视频的主观感知,动态融合时空显著图。实验分析从主客观两个方面衡量。视觉观测和量化指标均表明,与其他经典方法相比,所提方法提取的显著性区域能够更准确地反映人眼
现阶段对变量的识别通常采用基于特定编译习惯及内存访问地址模式匹配的方法,或基于内存模型和抽象解释的分析方法。前者针对性太强,不具备普适性;后者通常采用损失算法精度
在电子数据取证和鉴定中,固定与保全是确认电子数据合法性和完整性的重要程序与措施,对于维护电子数据取证的合法性、严谨性,实现电子数据司法鉴定的保障功能等,均具有十分重要的意义.然而,在理论和实务中存在着固定与保全混淆使用的问题.混乱的用语方式客观上影响了取证和鉴定工作的规范性、法律性、科学性.从基本含义、法律性质、实施主体、技术方法、规则流程等方面对电子数据固定与保全的概念以及两者之间的区别和联系进