UML在嵌入式系统设计中的应用

介绍了UML及将UML应用于嵌入式系统设计中的作用和意义;分析了在嵌入式系统设计中应用UML的基本步骤和难点;结合车载GPS终端系统的设计,描述了一个UML的具体应用过程。     

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

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

UML在嵌入式系统开发中的研究与应用

UML是工业界建模的标准语言,适用于嵌入式系统的开发.工业现场总线通信协议栈是一个典型的嵌入式系统,通过研究现场总线通信协议的通用抽象模型,可为通信协议栈的开发与验证提供基本框架.对UML在嵌入式系统开发中的应用进行了研究,包括嵌入式系统的开发过程,如何在嵌入式系统中创建UML模型,以及一个基于UML的通信协议栈开发方法.     

UML嵌入式系统设计

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

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

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

UML建模的嵌入式系统开发方法研究

介绍了嵌入式系统的特点,总结了开发嵌入式系统所要解决的关键问题,论证了使用UML开发嵌入式系统的可行性,并给出了一个在Rhapsody开发环境下使用UML开发嵌入式系统的实例.实例证明,使用UML开发嵌入式系统能够缩短开发周期,提高软件质量,降低测试成本.     

UML嵌入式系统设计

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

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

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

基于UML的嵌入式指纹识别系统软件建模

标准建模语言UML是广泛使用的可视化面向对象系统的建模方法。该文介绍了使用UML对嵌入式指纹识别系统进行面向对象软件分析与建模设计的过程。论述了利用UML的各种标准符号进行需求分析、系统整体设计的整个过程。     

基于UML的嵌入式硬件系统模型研究

阐述了统一建模语言UML的基本语法结构和基本建模步骤,介绍了建模设计方法中的层次构架模式.参照基本建模过程,运用建模工具将UML.用于嵌入式硬件系统的建模,得到了该嵌入式硬件系统的需求分析模型和设计模型.     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

The Algebraic Framework for Object-Oriented Systems

Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object can be represented as an algebra. A collection of algebras with morphisms form a category if they satisfy some conditions. After a brief introduction of categorical concepts which are needed to formulate the framework for object-oriented systems, they are explicated in terms of objects. Then some system design methodologies such as SADT, JSD, MASCOT 3, OOD, HOOD, MOON, ADM 3, and Petri nets are examined in the categorical framework and classified into four groups: functional, process-based, object-oriented, and net-based. Combining theoretical and practical results, the interactive system design tool OBJ-NET is briefly introduced.     

接线图在嵌入式GUI中的综合运用

主要讨论了在嵌入式Linux装置中,如何利用后台计算机上的工具软件定制接线图,来满足复杂情况下嵌入式图形用户接口的需要。通过对嵌入式Linux装置功能的需求分析,在嵌入式Linux装置中采用了移植Microwindows作为其图形用户接口的解决方案。而后台计算机工具软件负责生成图形、图元文件并存入数据库中。装置与工具软件之间的数据交换采用SQLite数据库。经过对Microwindows系统体系结构的分析,SQLite数据库数据结构的设计,以及后台配置工具的设计分析,代码的移植和最终程序的编写,成功的实现了利用工具软件定制接线图以满足嵌入式GUI的具体应用。     

内嵌式矢量图编辑器的实现方法探讨

以材料科学中对相图的管理与编辑为实际应用背景,分析了Windows图片查看器的优缺点,提出了实现内嵌式矢量图编辑器的两种方法,实现了矢量图的浏览、缩放、旋转等功能.该编辑器可以嵌入到任意图片管理系统中,实现对矢量图的管理.     

UML辅助的信息系统三层数据处理的设计和实现

阐述了信息系统开发的复杂性、以及开发过程中所遇到的一些问题,提出了将统一建模语言应用于信息系统设计和开发的方法,并以实例阐述了信息系统中3层数据处理的设计和实现。     

一种基于故障扩展SysML活动图的安全性验证框架研究

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和SysML活动图两种模型语义描述的基础上,提出了一种基于故障扩展SysML活动图的安全性验证框架,包括:首先利用故障树最小割集提取故障信息并给出故障树逻辑门的转换规则;然后给出故障扩展SysML活动图的构建步骤;最后使用Promela对故障扩展SysML活动图进行建模,并使用模型检测工具SPIN对其进行分析验证。通过一个燃气灶控制系统验证了此方法的有效性。     

基于ARM和Linux的嵌入式平台的构建

首先介绍了嵌入式系统的概念,及相关硬件平台和软件版本。然后,主要介绍了嵌入式Linux的引导程序U-Boot的移植,以及开源、免费操作系统Linux2.6.32.2的移植。最后,构建了基于Nand Flash存储器的Yaffs2文件系统,利用BusyBox创建根文件系统。基于ARM和嵌入式Linux的嵌入式系统平台搭建基本完成,可以在此平台上添加更多驱动,以便更好地开发应用程序。     

基于多值决策图的动态故障树分析方法

针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用和优势。     

基于硬件构件的原理图绘制规则研究

在对目前基于构件的嵌入式系统开发方法分析的基础上,提出了硬件构件的概念、模型及分类方法,给出了以MCU为核心的嵌入式系统硬件构件的原理图绘制规则、命名规范及若干示例。基于硬件构件的原理图设计思想在提高硬件的可移植性和可复用性、减少系统开发时间、增强系统可维护性等方面具有重要的意义,同时也为编写底层驱动软件做好了准备。     

工业控制与嵌入式系统

从嵌入式处理器,嵌入式操作系统,嵌入式系统各类行业发展的介绍中,思考工业控制嵌入式系统发展的几个问题.