基于UML的嵌入式系统模型验证机制的研究

随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个开发过程的模型系统及建模方法变得越来越重要。UML(UnifiedModelingLanguage,统一建模语言)作为面向对象的分析与设计技术的代表,已经获得了广泛的承认,并在多个领域中有成功的应用。然而,UML是一种符号化语言系统,其语义采用自然语言描述,没有完全形式化,无法精确和严格地描述模型的行为从而实现模型的验证。为了解决这个问题,文章提出了一种用于嵌入式系统UML模型验证的方法,其核心是可执行(Executable)UML,它是UML的增强性子集,采用与UML相同的符号表示法,并集成了状态图(StateChart)所用的形式化语义定义。嵌入式系统的UML模型经过语义分析能够很方便地生成可执行UML模型,并实现系统模型的验证。     

UNIX中的文件链接机制

ＵＮＩＸ操作系统设计上有很多特色，本文分析了其中文件系统中硬链接和符号链接的实现技术，并加以评价，对当前操作系统的设计和改造有一定的指导作用。     

增加UNIX系统调用的实现技术

本文讨论了在ＵＮＩＸ上增加系统调用的实现技术，探讨了ＵＮＩＸ汇编的格式，从而提出了增强用户的编程环境及改造ＵＮＩＸ的有用方法。     

UNIX系统调用的实现技术

ＵＮＩＸ操作系统是目前较为广泛使用的操作系统，本文详细分析了ＵＮＩＸ系统调用的实现技术，提出了拦截和增加ＵＮＩＸ系统调用的方法，为改造ＵＮＩＸ操作系统提供了有效途径。     

嵌入式JavaScript对象实现技术研究

给出了自主设计和开发的嵌入式浏览器JLBmwser的JavaScript解释系统模块结构图，讨论了JavaScript解释系统中实现对象的几个关键技术。在传统算符优先归约算法的基础上，提出了扩展的、基于对象的算符优先算法。     

嵌入式浏览器图像处理技术研究

分析了嵌入式浏览器图像处理的关键问题，设计并实现了嵌入式浏览器Jlbrowser的图像处理技术。该技术对图像采用多线程传输、分块解码、缓存和重排，提高了网页的显示速度。     

嵌入式浏览器的设计与实现

本文介绍了我们自行设计并实现的嵌入式浏览器JIBrowser的总体结构，详细描述了J1-Browser浏览器核心模块主要功能的实现技术，阐述了JlBrowser的特点。     

基于arm的嵌入式Linux内核调试技术

嵌入式Linux的开发和应用越来越广泛,其中一个重要环节就是Linux内核的调试.Kgdb是一种插桩式、纯软件的嵌入式Linux的内核调试工具,主要应用于i386体系结构中.分析了kgdb的原理和它的实现过程,并在目前使用比较广泛的arm板上对kgdb进行了移植,主要包括串口驱动,陷阱处理和调试命令的移植3个部分.     

突发性故障模式下实时任务的优先级分配策略

在容错实时系统中,可调度性分析是确保实时任务在限定时间内完成的重要手段。分析了突发性故障模式的可调度性问题,针对该故障模式下已有策略的不足,设计了优先级分配策略,并根据策略的性质实现了容错优先级变迁因子的搜索算法。深入的分析和实验证明,这种策略能够有效地提高系统的容错能力。     

嵌入式多功能芯片管理模块的研究与实现

本文对基于AC’97规范的多功能芯片进行了研究,并合理安排了各功能模块,最后利用Linux心多种机制实现了芯片的管理。