嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

交互图在Rose和Together中实现的比较

交互图是面向对象分析设计中一种对系统动态方面进行建模的图,顺序图是交互图中的一种,主要用于强调对象间消息的时间顺序,而且它能够容易地转换为协作图,它在不同的工具软件中实现有所差异.从它具体的实现可以看出工具体现的思想,Rose体现和开拓RUP、UML的思想,而Together是执行.     

统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

民用飞机飞行控制软件开发方法探讨

通过对民用飞机飞控软件的重要性及复杂性的分析,结合目前机载软件开发的现状,对软件开发过程中的一些问题进行了论述,特别是对民用飞机多通道飞控软件的开发方法进行了探讨,提出了应用UML建模语言对飞控需求进行描述以消除不同开发组对需求理解的歧义,采用中间件以提高程序的开发质量与效率的软件开发方法,为有关人员提供了参考.     

工作流执行逻辑的实现

介绍了工作流技术及对象管理组织(ObjectManagementGroup,OMG)工作流管理设施的模型,采用统一建模语言(U nifiedModelingLanguage,UML)的静态类图分析了工作流执行中各个对象的联系和对应关系。在这个基础上,探讨了工作流的执行逻辑的实现,并给出UML的顺序图描述。     

分布式三层结构应用系统的设计与实现

结合实例介绍了一个逻辑上三层、基于组件的分布式信息管理系统的实现过程 ,分析了系统开发的设计思想 ,给出了在UML模型下 ,应用系统的设计过程。结合分布式体系结构设计的可扩展、可重用、易维护等优点 ,讨论了应用系统的功能特点。     

UML在空天反导作战概念建模及仿真中的应用

针对空天信息直接支持反导作战问题,着重描述了统一建模语言UML在反导作战军事概念建模中的应用;详细建立了空天信息直接支持反导作战的用例图,顺序图,状态图等.最后结合空天反导作战系统给出其具体的仿真过程,证明提出建模方法的高效性.     

MDA在海航对海作战仿真中的应用

海军航空兵对敌海上舰船的进攻战斗(对海突击作战),是海军进攻作战的主要样式之一．本文通过分析航空兵对海突击作战的特点,依照模型驱动体系结构(MDA)的思想,使用统一建模语言(UML)描述了对海突击作战所涉及的红蓝双方的兵力构成模型、兵力部署模型等,提出了该系统的平台独立模型(PIM);基于这些模型,讨论了如何使用MDA来构建对海突击作战的仿真软件系统。最后,使用MDA方法,构建了对海突击仿真系统。该系统现已投入实际使用。     

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。