嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

基于raw-os多任务实时操作系统控制的研究

为了对嵌入式实时操作系统的实时性能做实际应用的测试,需要有较为先进的测试平台和测试方法。为此一个开源的操作系统被引入。在此基础上详细阐述了嵌入式实时操作系统测试的硬件环境、测试案例设计等。接着通过测试实际的运行效果和日志报告以及调用相应的实时性值,就能很直观地了解到当前嵌入式实时操作系统实时性能指标,并对结果进行比较分析。最后提出了该课题今后的研究方向为如何更好地使嵌入式实时操作系统在实时性方面和多任务的控制上有所提升。     

基于多任务目标检测的条形码倾斜矫正算法研究

条形码识别技术在日常工作中发挥着巨大作用,尤其是在智能物流包裹分拣领域。该技术主要分为三个部分:条形码检测、矫正和译码。目前条形码检测和译码技术较为成熟,而在条形码倾斜矫正技术上研究效果一般。为提升条形码矫正效果,设计一种矫正算法。先对条形码倾斜程度进行分类,再进行角度回归,有效降低条形码矫正任务难度;并将该算法与单阶段检测器融合构成多任务目标检测算法,协同促进发挥检测和矫正的作用。实验表明:余弦距离角度损失函数更加适合角度回归任务,针对条形码倾斜程度分类有助于提升条形码矫正效果。与其他相关算法对比,该算法在矫正准确率、实际译码率和速度上均取得最优的效果。     

基于UC/OS-Ⅱ的网络控制系统通讯接口设计

基于UC／OS—Ⅱ实时操作系统的网络控制系统，通过以太网将服务器和各地控制器联结，可控制多个电机协调运动．服务器采用工业级计算机，客户端(控制器)采用集成网卡接口的嵌入式系统，通过交换机进行数据交换．系统根据IP地址将命令送给各控制器，同时将客户端状态返回，并通过检验校验字符的方式减少联网过程的握手次数．其通讯的最基本函数用标准C语言编写，生成静态库文件，可直接通过工程方式使用．其通讯接口包括联网初始化、服务器和客户端网络联接、以及控制、并常处理和维护等程序。     

有线电视网络中使用的数字机顶盒技术

有线电视网络正在向数字化、网络化、产业化方向发展，有线电视网络提供综合信息业务的关键设备之一是用户终端设备数字机顶盒(STB)。本文从机顶盒的基本概念、有线电视数字机顶盒、有线电视数字机顶盒的基本原理、有线电视数字机顶盒的关键技术几方面，介绍了目前有线电视数字机顶盒的技术。     

微机控制系统的实时多任务调度

本文概述了微机实时控制中多任务调度的基本概念及一般用法，并介绍了一种实用的多任务调度方法。     

中西文环境下的多任务切换

本文介绍了在单用户，单任务的ＤＯＳ下使用多任务切换的方法，文中给出优化了的系统配置和清除ＴＳＲ的最简方法，这些方法的应用，可方便地在中西文环境下进行多任务切换。     

中小型广播台站数码音频多任务工作站

向暂未配备专业型数码音频多任务工作站成套设备的中、小型广播台、站介绍一种由普通多媒体电脑和相关软件组成的技术结构简单、功能实用方便、性能安全可靠、性价比高，且不影响原广播系统功能的数码音频多任务工作站，并就其组成结构、功能特点等方面给予较详细的阐述。     

嵌入式实时操作系统μC/OS-Ⅱ在C8051F020上的移植

通过对嵌入式实时操作系统应用背景的分析，论述了在嵌入式控制系统中采用嵌入式实时操作系统的必要性.简略介绍了源代码开放的嵌入式实时操作系统μC/OS-Ⅱ及微控制器C8051F020的特点，重点阐述了μC/OS-Ⅱ在以微控制器C8051F020为运行平台的移植.对μC/OS-Ⅱ的移植条件及各个组成模块进行说明，讨论了移植过程中遇到的问题，并对需要编写的底层硬件的相关函数进行了深入细致的分析，提出了相应的示意性代码.在此基础上，根据实际系统的要求优化改进了原有的任务堆栈结构.     

多任务编程方法在智能控制中的应用研究

根据智能控制的特点，采用多任务统编程方法，研究了智能控制的计算机实现方法，建立了一种实时多任务管理系统，并进行了实例应用。