UML嵌入式系统设计

UML是当今最流行的标准建模语言,嵌入式系统是以应用为中心、以计算机技术为基础的专用计算机系统,是软件和硬件的综合体;而嵌入式系统设计的好坏是数字商品成功荫关键。本文重点讨论UML建模中重要的概念,以及如何在嵌入式系统设计中使用UML OOD建模技术,并结合实例“微波炉小灯”演示采用UML的嵌入式系统设计过程。     

UML嵌入式系统设计

UML是当今最流行的标准建模语言,嵌入式系统是以应用为中心、以计算机技术为基础的专用计算机系统,是软件和硬件的综合体;而嵌入式系统设计的好坏是数字商品成功的关键。本文重点讨论UML建模中重要的概念,以及如何在嵌入式系统设计中使用UMLOOD建模技术,并结合实例微波炉小灯演示采用UML的嵌入式系统设计过程。     

基于UML和平台的嵌入式系统设计方法研究

针对嵌入式系统设计和开发的特点和需求的不断提高导致设计开发的复杂性,研究了将UML和平台结合进行嵌入式系统设计的一种方法,使用UML描述平台细节和所提供的功能;利用UML的扩展特性建立了一种UML平台profile,包含建立新的构造类、构造关系、标签值和约束;并将这种UML和平台相结合的设计方法应用在嵌入式系统实例上,选择了组成嵌入式系统实例的硬件和软件平台,针对实例平台不同的服务层次建立了面向应用建模服务的相应实例平台模型,使用了静态图和动态图表示了这种平台模型,并且描述了实例平台模型的一种应用.     

基于UML的嵌入式系统设计

阐述了嵌入式系统和标准建模语言UML的概念;指出了传统的嵌入式系统开发过程中存在的问题,同时提出了基于UML的嵌入式系统设计方法;并介绍了使用UML对嵌入式系统——无线接入点(Access Point)作面向对象分析与设计的过程。     

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

统一建模语言UML在嵌入式系统设计建模中已经获得了广泛的认可,并有很多成功的应用,但UML存在时间约束描述能力不强和所建模型形式化复杂、验证难的问题。针对上述问题,本文提出了使用UML扩展机制对UML状态图进行时间扩展,建立系统状态一约束一事件矩阵来对模型进行形式化描述的方法。该方法解决了UML在嵌入式系统建模时存在的问题。应用实例和实验结果验证了该方法的可行性和有效性。     

使用UML对μC/OS-II建模与分析

使用统一建模语言（UML）对嵌入式实时操作系统C/OS-II做静态建模和动态建模,进而利用UML的可视化模型来描述和分析C/OS-II的系统结构和工作机理。通过UML静态建模,为基于C/OS-II的嵌入式系统设计,提供了一个运用面向对象技术的框架;通过UML动态建模,详细分析了嵌入式实时操作系统（ERTOS）的关键方面,包括实时内核的调度机理、优先级反转问题及其解决办法等。     

使用UML对μC/OS-Ⅱ建模与分析

使用统一建模语言(UML)对嵌入式实时操作系统μC/OS-Ⅱ做静态建模和动态建模,进而利用UML的可视化模型来描述和分析μC/OS-Ⅱ的系统结构和工作机理.通过UML静态建模,为基于μC/OS-Ⅱ的嵌入式系统设计,提供了一个运用面向对象技术的框架;通过UML动态建模,详细分析了嵌入式实时操作系统(ERTOS)的关键方面,包括实时内核的调度机理、优先级反转问题及其解决办法等.     

将扩展UML与Petri网应用在嵌入式系统设计中的研究

随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.本文研究了一种将时间约束Petri网和扩展UML相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.     

基于UML与Petri网的嵌入式系统设计与验证

提出了一种基于UML与Petri网的嵌入式系统设计与验证的方法,详细讨论了该方法的主要应用流程,并给出了一个应用实例。     

扩展UML与Petri网应用在嵌入式系统设计中的研究

随着嵌入式系统的不断发展,传统的嵌入式开发已经远远不能适应新的要求,需要借助UML强大的系统设计能力来解决效率低下的问题,但是标准UML,在多系统级任务并发,任务之间同步、系统仿真以及实时性方面没有提供足够的支持,很难直接应用到嵌入式系统的设计中.文章研究一种将时间约束Petri网和扩展UML,相结合的方法,通过利用Petri描述异步性和并发性的能力来扩展UML,的构造型和流程图,通过将UML转化为Petri图,进而可以利用Petri强大的理论体系来验证UML的正确性.     

基于UML-RT的复杂嵌入式系统建模方法及其应用

分析了UML在实时系统设计中的优点和需要解决的主要问题,论述了基于UML RT的实时嵌入式系统设计方法,并且对其进行扩展以支持数据流计算模型的建模,最后以汽车巡航系统为例加以说明。     

基于UML和μC/OS-Ⅱ的嵌入式系统设计

将UML用于μC／OS-Ⅱ的结构描述，进而用于以μC／OS-Ⅱ为实时操作平台的嵌入式系统设计。文中首先建立了μC／OS-Ⅱ的UMI。静态模型，并给出其类图描述的详细分析；然后，以嵌入式文件系统设计为实例，详细分析了利用UML开发基于μC／OS-Ⅱ嵌入式系统的整个过程。实验结果表明：采用UML对于以RTOS为操作平台的32位嵌入式系统复杂设计，是一种构造清晰，易于修改的有效途径。     

基于UML的嵌入式系统设计①

嵌入式系统复杂度的不断提高,对传统的系统设计方法提出了挑战。在阐述了嵌入式系统、统一建模语言(UML)及其扩展(HRM和UML-RT)的概念后,探讨一种新的嵌入式系统设计流程(UHU),并结合实际工程——基于CPCI的任意波形发生器予以解释。     

一种嵌入式系统设计的建模方法研究

针对在嵌入式系统设计中,目前常用的VHDL建模方法方法存在不易理解、模型描述困难、工作量大的问题,UML建模方法存在模型需形式化、验证难等问题,提出了一种基于SpecCharts语言的嵌入式系统建模方法--使用SpecCharts语言语法、文字和图形相结合来描述嵌入式系统,能满足嵌入式系统设计的描述要求,建模效率是VHDL方法的2.82倍,是UML方法的1.25倍,并且具有容易理解、容易描述、能利用VHDL的支撑工具直接进行模拟验证、建模工作量小等优点,较好地解决了嵌入式系统设计建模中存在的上述问题,有较高的实用价值.     

基于UML的嵌入式建模方法改进策略研究

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.     

论5视图方法在嵌入式系统架构设计中的应用

传统的嵌入式系统设计,大多倾向系统流程的分析,并采取软件和硬件分开设计的方式,从而忽视了软硬件的整体性及硬件快速更新的特性.针对上述问题,从方法学的角度出发,提出5视图方法,以架构驱动的模式促进软硬件整合设计.然后,引用一个多用户多任务的软实时嵌入式系统为实例,阐述5视图方法在嵌入式系统架构设计中的应用,并结合UML从不同的视角描述软硬件的整体架构.提出的思维方法对嵌入式系统设计有一定的指导意义.     

UML在实时系统中的应用研究

UML是最广泛使用的面向对象建模语言,是可视化面向对象系统的建模方法.针对嵌入式系统设计和开发的特点,文中描述了一种将时间组件融入到UML建模中的方法,把时间特性从系统中分离出来.用UML对嵌入式实时系统进行面向对象分析与设计,并以冰箱温度平衡器系统为例,建立了需求分析、静态结构模型和动态行为模型,该方法能够有效地提高开发效率、改善设计质量.     

UML在实时系统中的应用研究

UML是最广泛使用的面向对象建模语言,是可视化面向对象系统的建模方法。针对嵌入式系统设计和开发的特点,文中描述了一种将时间组件融入到UML建模中的方法,把时间特性从系统中分离出来。用UML对嵌入式实时系统进行面向对象分析与设计,并以冰箱温度平衡器系统为例,建立了需求分析、静态结构模型和动态行为模型,该方法能够有效地捷高开发效率、改善设计质量。     

安全门系统的设计

嵌入式系统的设计必须解决计算资源的划分问题，以避免负担过重或空闲。本文将安全门系统设计成一个嵌入式系统，将计算和控制任务分配到各个控制器。我们用UML工具实现了这个设计。     

基于UML的软硬件协同设计的模型分析方法

详细分析了Chonlameth Arpnikanondt提出的基于UML约束的嵌入式系统的软、硬件协同设计方法(CBC/UML),并指出了它运用于复杂的嵌入式系统设计时的不足.针对这些不足,扩展了约束的概念,提出了一套相应的改善方法.并利用中国科学院软件研究所研制智能电话机的例子具体阐述了该解决方法.