嵌入式系统软件体系结构动态建模及应用研究

应用π演算方法,结合Petri网中的面向对象Petri网和时间Petri网,建立了嵌入式系统软件体系结构抽象模型ESAM,研究了ESAM模型的动态演化、一致性和死锁。应用ESAM抽象模型,对车站信号联锁控制器进行了建模与分析。     

基于ARM的造纸机控制器设计

本文分析了中小型造纸机的特点和控制要求,根据造纸机的要求,设计了嵌入式控制器,实现对造纸机的电气系统的控制;设计了基于ARM的嵌入式控制器、反馈与速度控制和继电控制,并构建基于PowerLink总线的网络层次结构,实现纸机电气控制系统硬件设计;同时设计了基于嵌入式实时多任务操作系统的控制器软件系统,实现控制器的控制功能.     

嵌入式联锁控制器软件体系结构动态建模研究

首先应用π演算和Petri网的相关理论,建立了嵌入式联锁控制器软件体系结构抽象模型ISAM;然后对ISAM模型的动态演化、一致性和死锁进行了深入研究;最后应用ISAM抽象模型,对嵌入式联锁控制器软件系统进行分析。     

基于ARM的嵌入式站间自动闭塞控制器硬件设计

针对铁路信号的高可靠性要求,设计了嵌入式站问自动闭塞系统的体系结构、嵌入式闭塞控制器和控制锁.详细设计了具有冗余特性的控制器硬件、比较电路和安全锁.同时,对本控制器构成的自动站间闭塞系统进行Petri网建模及分析.     

MEC联合资源分配与计算卸载的效益

针对资源受限的移动边缘计算(MEC)卸载问题,提出一种基于遗传算法优化的卸载决策与计算资源分配方法(GAO).建立联合时延、能耗以及卸载费用的系统卸载效益模型,提出最小资源分配阈值;引入改进的遗传算法求解效益最大化问题,针对该问题提出一种两段式的染色体结构和遗传算子.进行仿真实验,对比分析随机卸载决策与平均计算资源分配...     

基于Hi2016的DVB-C机顶盒设计与实现

应用Hi2016芯片设计了DVB-C硬件架构,使用基于层次模型的数字电视机顶盒软件结构,设计了数字电视机顶盒各功能模块的层次结构.在软件实现方面,对各任务间通信方式进行了设计,并重点分析和设计了EPG流程.     

基于S3C44B0X的嵌入式医用灭菌控制器

应用Samsung公司的S3C4480X嵌入式芯片构建硬件平台，内嵌实时多任务操作系统——UC／0S—II，设计输液药品生产过程中的灭菌智能控制仪。按照输液药品的灭菌工艺流程要求和控制特点，介绍和论述控制仪的硬件结构、软件结构，重点介绍整个系统的软件设计，包括UC／OS—II移植到S3C4480X、设备驱动程序开发、应用程序开发。     

嵌入式实时控制系统软件可靠性建模与应用

嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。     

基于GA-BPSO算法的MEC卸载决策

针对移动智能设备(SMD)的算力、内存和能量等无法满足计算密集型需求的问题,提出一种应用任务卸载到高性能边缘服务器的计算卸载。根据任务计算、传输等情况下的能耗和时延,构建出卸载决策系统模型;根据SMD和边缘服务器的计算能力等情况,降低SMD能耗为目标,将任务卸载决策问题描述为一个非线性约束优化问题;为对约束优化问题求解提出GA-BPSO算法,算法中将静态学习因子改为动态学习因子,将最优个体引入交叉操作中,扩大算法在解空间中的探索能力。通过实验验证GA-BPSO算法能在较短时间内收敛,实现了SMD较低的能量消耗。