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

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

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

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

意法半导体携手微软利用STM32Cube生态系统推进智能物联网设备开发

意法半导体(STMicroelectronics,简称ST)与微软签署促进智能家电控制器和物联网设备 (IoT)开发的合作协议。使用STM32微控制器(MCU)的开发人员现在可以利用Microsoft Azure RTOS(实时操作系统)提供的即用型服务来管理应用程序。STM32Cube 开发生态系统整合开发工具和软件,全程支持客户项目开发,完全支持Microsoft Azure RTOS,实现无缝连接。在包括产品原型和量产商品在内的STM32微控制器上,合法部署的Microsoft Azure RTOS映像免许可使用费。     

基于Small RTOS51的旋转导向钻井工具主控制器设计

根据旋转导向钻井系统的需要,设计了一种基于嵌入式实时操作系统的主控制器模块.介绍了主控制器的具体功能,单片机的选型,硬件电路设计和实时操作系统的软件设计.在基于C51的单片机ADUC845上,移植了适合C51系统的嵌入式实时操作系统Small RTOS51,并通过精心设计进程任务和信号量实现了主控制器的全部功能,实时性也满足要求.经实验验证和现场作业,该主控制器在复杂恶劣的井下环境中,可以实现对旋转导向钻井工具稳定可靠的控制,展示出良好的应用前景.     

嵌入式标定平台控制系统设计

通过对交流伺服控制系统进行研究,成功将UC/OS-II实时多任务操作系统移植到STM32微控制器上,设计了一种基于STM32的实时控制系统,使得标定平台能够满足海流传感器检测性能要求。在伺服电机控制方面采用开环和闭环控制相结合的方式,不仅提高了平台的定位精度,还减轻了处理器的运算压力,提高了软件的实时性;上位机采用基于Lab VIEW的界面设计,直观监测标定平台的运行状态,并后台存储重要的数据信息。通过实验验证该控制系统满足标定平台速度稳定、定位精度高和低速运行的要求。     

某训练系统综合处理机的设计与实现

训练吊舱是现代战机进行作战训练时的必备外挂设备,本文从工程设计角度出发,介绍了训练吊舱综合处理机的功能、设计、模块硬件体系和软件结构等,还介绍了综合处理机的地面软硬件开发及测试环境。     

简化开发将催生物联网Wi-Fi应用的大爆发

正物联网的火热发展离不开Wi-Fi技术,在物与物的互联乃至接入互联网的过程中,Wi-Fi无线宽带技术正扮演着重要的角色,像家庭和楼宇自动化、智能能源、多媒体、保密和安全、工业机器间的通信等市场都是Wi-Fi的广阔应用空间。有分析报告称,未来十年里将有500亿个设备接入互联网。但是,     

嵌入式实时操作系统中优先级反转问题的研究

研究嵌入式实时操作系统中的优先级反转现象产生的原因和解决方法。在研究动态优先级实时系统中采用的优先级继承解决反转方案的基础上,提出一种可用于静态优先级实时系统的防止发生优先级反转的方案。     

基于新信号量策略的实时提升技术

介绍操作系统内核对实时性能的影响,结合NT技术,分析信号量机制下线程等待队列的排队策略,提出一种新排队策略,并在NT内核中实现该策略,最后对比几种策略的实验数据。     

基于ARM的打印机控制设计

基于ARM的打印机设计,可以将ARM内核处理器与嵌入式Linux相结合,通过LCD显示,构建打印机控制系统。此系统可以作为智能化、小型化打印机控制系统作为开发模型。利用Linux操作系统的基础,可以实现添加人机交互方式、图形化界面以及各种借口驱动,使平打印机台具有嵌入式系统的特性。