嵌入式实时软件建模方法研究

随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式实时软件变得越来越复杂.为了提高系统的安全性和可靠性,将基于UML的建模方法与形式化建模方法相结合,可以为嵌入式实时软件建模和验证提供一种良好的解决方案.采用UML扩展机制,在UML2.0顺序图中加入嵌入式实时软件建模所需的时间特性,并提出一种由UML2.0顺序图构造出时间自动机的方法,为下一步验证奠定理论基础.     

UML扩展机制在嵌入式实时建模中的应用

在嵌入式实时系统建模中,针对UML没有专门的图来描述实时性,对时间约束的建模能力不强的情况,提出了一种使用UML扩展机制进行嵌入式实时系统建模的方法,并介绍了该方法的一个应用实例。     

UML/OCL在公路票务系统建模中的应用

精确的软件需求说明书是确保软件质量的基础,本文以公路票务系统为开发背景,探讨了OCL在构建精确软件需求过程中的应用方法,以Rose作为建模工具构建了系统的需求模型、对象结构模型、动态行为模型、实现模型.     

UML在自来水厂排污实时监控系统中的应用

尝试采用面向对象的统一建模语言(UML)进行系统结构建模,开发出一套科学、完善的“自来水厂排污实时监控系统”,成功地运用于自来水厂的生产中,并极大地提高了自来水厂的自动化水平。     

UML在实时系统测试环境建模中的应用

针对实时软件测试中测试环境和数据的模拟问题,采用基于UML的实时系统软件测试程序设计方法,使测试程序模拟的环境和数据更逼真、可靠,以保证软件测试的有效性．并以ATC（空中交通管制系统）实时软件测试为例,分析了实时软件测试的特点和存在的问题．以及UML语言的应用特点,利用UML（统一建模语言）提供的面向对象建模机制建立雷达数据模拟的模型,并在此模型基础上设计和开发了雷达数据模拟程序、生成可靠的模拟雷达测试数据．该雷达数据模拟程序已在作者参与的ATC实时软件测试中得到了很好的应用．     

基于UML和RUP软件建模方法的探讨

在系统开发过程中,建模是最核心的工作。建模的过程可以对系统进行可视化的控制,其目的是为了更好的理解、分析、设计和实现所构造的系统。本文介绍了UML的内容,阐述了RUP的主要内容并探讨了一种面向对象建模方法     

RUP和UML在软件体系结构建模中的应用研究

把UML与RUP作为软件体系结构建模的支持,以某公司销售管理系统为例,根据UML与RUP的通用建模过程逐步构建了销售管理系统的需求模型、用例动态模型、对象结构模型和实现模型。     

Ada并行实时编程

Ada是唯一的ISO标准面向对象并行实时编程语言。作者给出了怎样使用Ada任务分派模型来构建一个应用范围很广的并行实时系统的全面及自含的说明。在对并行编程的主要动机作介绍，并且说明了实时系统的主要特点之后，本书仔细地研究了并行编程的特征、进程间通讯的固有困难，     

嵌入式Linux实时性研究

针对Linux 2.6内核,分析了其在进程调度、中断处理、内核锁机制和虚拟内存等方面对实时性能的负面影响,提出一个旨在提高嵌入式Linux实时性能的解决方案.在该方案中包含了一种新的中断线程化方法,并将其在i386平台上实现.开发了专用的测试模块,并使用Linux内核保留的中断号测试中断线程化效果.测试结果表明,该方案...     

基于UML和Petri网的系统服务获取流程建模

在流程建模中,UML技术和Petri网技术各自发挥着十分重要的作用.分析了UML技术和Petri网技术各自的优缺点及在流程建模中的应用,提出了一种基于UML技术和Petri网技术相结合建立系统流程模型的方法,并给出了相应的技术路线.在此基础上,以兵团空间信息系统服务获取流程建模为例,对所提出的方法和技术路线进行了验证.     

面向对象的UML建模过程

介绍了统一建模语言(UML)的语义和表示法,及其建模机制,并以一个简单的例子描述了用统一建模语言的建模过程。     

UML在储值卡收银管理信息系统建模中的应用与研究

面向对象的特点之一是抽象,通过提升抽象级别能够构造更强大、更复杂的系统。而采用UML建模能够把复杂的系统用可视化的语言直观地描述出来,使得用户更易理解,后期更易维护。以储值卡收银管理信息系统的开发为背景,探讨了UML在系统中的建模过程。实践表明统一建模语言能极大地提高系统的开发效率和成功率。     

UML的应用研究

文章探讨了UML1的应用,首先简单阐述了UML的基本概念及其建模机制,最后结合图书管理系统介绍了UML的应用.     

基于UML的锅炉水处理检测系统分析与设计

统一建模语言UML（Unified Modeling Language）是一种通用的、功能强大的面向对象的可视化建模语言,首先介绍UML的基础,接着以东莞市锅炉水处理检测系统的分析与设计为例,运用Visio 2003绘图,详细介绍了UML的实际建模过程.     

UML建模技术在智能故障诊断系统中的应用

智能故障诊断系统是电站仿真系统中的重要部分,它根据采集到的数据或经转换过的参数进行推理、判断出发生故障的设备.推理诊断采用专家系统和不确定性推理的技术.本文以UML(统一建模语言)为工具,对智能故障诊断系统进行面向对象分析、设计和建模.     

基于UML的工作流建模的研究

指出目前大部分工作流建模过程无法对工作流本质特征进行描述,而UML是一种可视化的建模语言.在分析了工作流执行系统和UML的基础上,提出了一种基于UML的工作流建模的建模方法,通过一个具体的实例描述了建模过程,并对模型的执行做了分析.结果表明,UML成功地改进了一些传统工作流建模过程的缺点,能够比较完整、准确地描述工作流建模过程,加速开发进程.     

基于UML-RT模型的实时软件规模测量方法

COSMIC—FFP是可用于实时系统的第2代功能规模测量方法．本文着重探讨COSMIC—FFP模型方法,并将其应用于实时UML需求分析模型中．     

在嵌入式应用中增强Linux实时性的方法研究

在分析Linux实时性的同时,指出了将其应用于实时系统时所存在的不足,提出了一种提高Linux实时性的思想及实现方法．该方法将进入系统的所有任务按实时性要求不同分成硬实时任务、软实时任务和非实时任务三种,依次用task_struct结构中policy属性的取值SCHED_FIFO,SCHED_RR和SCHED_OTHER作为标识,把原Linux的单运行队列改为双运行队列．为严格保证硬实时任务的实时性,将其单独放在一个队列中,由指针数组的元素run_queue[0]指向,采用FIFO调度算法;软实时任务和非实时任务放在一个队列中,由指针数组的元素rurl—queue[1]指向,采用RR调度算法,通过抢占方式保证软实时任务优先于非实时任务．修改sched()函数的调度流程,使有实时性要求的任务尽可能多的得到调度机会;同时修改中断处理流程,实现可抢占式改造．达到硬实时任务可抢占软实时和非实时任务．软实时任务可抢占非实时任务的目的．