基于嵌入式的智能家居控制系统研究

近年来,科学和信息技术的不断进步,促使我国经济取得了极大的进展,同时,人们对于工作和生活环境质量的要求也越来越高,在这种情况下,智能家居控制系统得以研发并广泛应用。在该系统下,家庭中相关电器和设备能够有效同信息技术相连接,在该智能化系统当中有效接入嵌入式家庭网关,能够实现远程管理家庭事务并进行实时监控,促使内部电器同家庭外部环境始终保持和谐性。文章以ARM基础上的嵌入式系统为基础,对智能家居控制系统展开了研究。     

基于STM32F415RGT6的嵌入式实验教学平台

本嵌入式实验教学平台采用意法半导体公司最新的STM32F415RGT6芯片，紧跟市场的步伐，激发学生的学习兴趣；让学生亲自制图焊接，加深学生对硬件的认知和理解；采用积木式构架，充分利用资源，方便扩充系统；采取官方固件库开发，省去繁琐的寄存器内容，降低学生入门的难度；采用循序渐进的实验方式，提高学生的学习积极性，为普通高校提供了一套比较完整的嵌入式教学平台。     

基于单片机的机载千兆交换机系统设计与实现

针对机载千兆交换机系统配置与自测试(BIT)要求,设计了一种基于单片机的嵌入式交换机系统。针对软件的移植性、扩展性要求,采用基于UML的面向对象设计方法,建立了软件的静态模型,给出了软件运行流程图及设计。通过在单片机平台上实现,表明硬件功能正常,软件能实现交换机系统的配置与自测试。     

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

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

基于Cortex-M的嵌入式设备固件更新方法研究

本文提出了一种基于分散加载技术实现Boot程序和用户应用程序在同一个工程编写开发的固件更新方法 .通过编写分散加载规范文件在工程中实现代码存储区分区.为了保证固件更新的稳定性和可靠性,在固件下载过程中引入CRC校验、丢包错包重传等容错技术.实验结果 验证了方法的有效性和可靠性.     

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

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