基于AADL的软件开发技术研究*

形式化方法对于软件的开发过程有着重要的作用。为了研究体系结构分析与设计语言（AADL）在软件开发中的作用及其技术现状,介绍了AADL的语言组成和相关特性,分析了AADL在软件开发过程中的作用,给出了一个相应AADL工具集的框架模型。在此基础上,对现有的AADL相关工具进行了综述比较,总结出该框架的技术现状,并指出了AADL相关工具开发与应用的趋势。     

软件体系结构讲座：（八）体系结构设计工具

本讲介绍几个软件体系结构设计的工具系统,它们是:UniCon(一个体系结构描述的语言和工具集),Ae-sop(一个构造特殊风格的体系结构设计环境)和WRIGHT(一个支持体系结构规格说明的语言)。     

指挥信息系统企业级体系结构描述方法研究

为了明确指挥信息系统企业级体系结构的概念和内涵,并规范企业级体系结构的描述,提出了一种指挥信息系统企业级体系结构描述方法.首先从定义、作用以及特点等角度研究了指挥信息系统企业级体系结构的基本概念;其次提出了一种指挥信息系统企业级体系结构的描述框架,研究了该框架的视角组成、视角之间的相互关系以及视角的产品组成;最后,提出了一种面向对象和描述逻辑相结合的企业级体系结构产品描述方法,并提供了相应的描述示例.     

外军军事信息系统体系结构框架技术概述

体系结构框架是一种用于指导信息系统体系结构开发、描述、集成的统一规则和指南,是提高军事信息系统之间互联、互通、互操作能力的关键。世界各国正相继推出适合本国国情的体系结构框架并将此作为开发、描述和理解军事信息系统的指导和准则。文章总结了军事信息系统体系结构框架的发展概况,详细论述了美军信息系统体系结构框架研究的最新进展,重点分析了美军国防部体系结构框架2．0版的新变化和特点、体系结构视角和描述模型,并简要介绍了其他国家体系结构框架的研究情况。最后在分析各国体系结构框架的基础上,针对我军自身的军事特点,提出了对我军体系结构建设的启示。     

DirectModel改进3-D交互特性

HP 推出的名为 DirectModel 的新型图形软件技术产品,可大大改进超大型3-D(三维)模型环境中的交互特性。这一新的 DirectModel 工具集软件既可并入多种 Unix 系统以及 Windows NT 环境,也可直接并入用户的各种 CAD 和分析应用产品之中。Microsoft已获得了这一新技术的使用许可证,并把它并入其DirectX 多媒体框架。作为交换,HP 又从 Microsoft公司那里获得了 DirectX 的使用许可证,并把它用于 HP-UX 操作系统。     

基于Dojo的Web组件框架

由于传统Web应用开发周期长成本高,业务人员和非技术人员希望能够通过简单的操作来构建自己的Web应用.以JavaScript工具集Dojo为基础,提出了一个以Web为平台的Web组件框架.最终用户可以使用该Web组件框架,通过选择和配置Web组件,敏捷地构建自己的Web应用.     

可配置数据处理引擎OptimoDE技术的研究

嵌入式设备竞争激烈的产品市场,要求能更快、更有效地进行数字处理器的设计。论文对ARM公司全新的OptimoDE设计技术进行了研究。OptimoDE设计技术是一种可配置的数据处理引擎和工具集,它采用VLIW(超长指令字)体系结构,用户可自主配置数字处理器的资源,通过在线仿真,生成高效的嵌入式专用处理器系统。文章分析了OptimoDE的实现原理,给出了设计与集成的方法,并对应用实例进行了性能分析。研究表明,OptimoDE技术是一种高效方便的设计方法,代表了目前嵌入式产品设计的发展趋势。     

基于UML的C4ISR体系结构设计过程

本文以C4ISR体系结构框架2.0为体系结构的描述规范,在分析C4ISR体系结构和我军军事信息系统体系结构的基础上,总结了体系结构设计的主要技术与方法,结合C4ISR体系结构的通用开发过程,提出了基于统一建模语言(UML)的C4ISR体系结构设计过程.并较深入地探讨了在C4ISR体系结构设计过程中用统一建模语言(UML)中的图表进行开发的详细步骤,以及体系结构产品的开发流程.     

机电产品数字化工业设计多目标评价关键技术

论文从工业设计的理念和方法出发,阐述了计算机辅助技术进行机电产品数字化工业设计多目标评价的理论和方法。并以专家系统技术为基本框架构建了支持产品数字化设计的计算机辅助设计评价原型系统,确定了评价目标树,评价目标树模版库,评价目标库以及评价工具集等四个系统功能模块,并详细讨论了这四个模块结构、内容的构建和实现过程。为面向机电产品的数字化工业设计多目标评价提供了新思路、新方法。最后,通过产品实例验证了该技术在设计中的应用。     

综合电子信息系统体系结构评估指标研究

结合最新的美国国防部体系结构框架和国防信息企业体系结构的研究进展,从综合电子信息系统体系结构评估着眼,分析了体系结构评估框架,并在此基础上深入开展了对体系结构评估指标的研究。从语法评估、逻辑评估及效用评估三个方面详细阐述了体系结构评估指标的选择及定义。     

一个基于CORBA的C4ISR安全体系结构实例

C^4ISR是一种类型的电子信息系统，安全可靠是它的生命线。通过分析CORBA及其安全服务，结合C^4ISR系统自身的特点，设计了一个基于CORBA的C^4ISR系统安全体系结构的实例，给出了实现CORBA安全服务以及将其应用到C^4ISR系统安全体系结构中的解决方案。     

支持C4ISR系统研究的一种集成建模方法

建模仿真技术是C4ISR体系结构研究、C4ISR系统分析与设计所采用的重要且有效的方法之一。该文介绍了一种应用于C4ISR系统研究的集成建模方法：应用IDEFO建模方法进行CAISR系统的顶层分析与设计研究，并实现IDEFO模型向OOPN模型的转换；然后实现OOPN模型的动态运行，并根据仿真结果，度量、评估顶层分析与设计成果或系统的性能。最后，本文给出集成IDEFO和OOPN的建模仿真方法的一个简单应用示例。     

基于UML的C^4ISR体系结构设计过程

本文以C^4ISR体系结构框架2．0为体系结构的描述规范，在分析C^4ISR体系结构和我军军事信息系统体系结构的基础上．总结了体系结构设计的主要技术与方法，结合C^4ISR体系结构的通用开发过程，提出了基于统一建模语言（UML）的C^4ISR体系结构设计过程。并较深入地探讨了在C^4ISR体系结构设计过程中用统一建模语言（UML）中的图表进行开发的详细步骤，以及体系结构产品的开发流程。     

C^4ISR体系结构全信息分析模型

C^4ISR体系结构是实现一体化的基础，体系结构直接影响到系统建设的成败。本文以C^4ISR体系结构框架为基础，建立了具有三层结构的体系结构全信息分析模型，并分别定义了语法层、语义层和语用层分析的含义和内容，以及各自采用的分析方法。体系结构全信息分析模型为C^4ISR体系结构设计提供技术支持。     

一种基于无线多媒体传感器网络的C4ISR视频侦察系统

C4ISR（指挥信息系统）在现代信息化作战中正显示出其强大的功能,而其中信息的获取又显得地位尤其突出。从指挥信息系统视频侦察系统的需求出发,利用WMSN（无线多媒体传感器网络）的自组织性、强壮性的特点,设计了一种基于无线多媒体传感器网络的C4ISR视频侦察系统,提出了其网络体系结构,给出了其节点和基站的设计方法和通信协议的实现。     

基于RUP的C4ISR体系结构设计

在C^4ISR体系结构的基础上，结合对三种体系结构视图功能、作用和相互关系的分析，从系统设计方法的角度出发，对结构化设计方法与面向对象设计方法进行了阐述和比较。提出了运用Rational统一过程（RUP）对C4ISR体系结构进行设计，通过把软件开发的生命周期划分成若干阶段和一系列的循环重复，采用渐增、螺旋上升的模式，使被开发的系统在一次次的循环重复中逐渐精化与完善，直至完成系统的开发。     

基于DOD体系结构框架的C4ISR系统耦合度度量方法研究

提出了一种用于度量C4ISR系统耦合度的方法。基于DoD体系结构框架对C4ISR系统体系结构的描述，通过系统之间数据交换的周期、速度、大小等信息计算出系统之间的信道占用率，然后通过信道占用率反映系统的耦合度。证明了该度量方法满足Briand提出的五条度量准则     

基于HLA的C4ISR系统仿真环境

C4ISR系统是一类复杂大系统，如何有效的分析，研究和评估C4ISR系统一直是C4ISR系统研究领域里的一个难点；基于HLA的分布式仿真技术的发展为这一问题的解决提出了一个新的途径。该文结合我们正在研究的课题，提出了一种基于HLA的，通用的C4ISR系统仿真环境框架，该框架的实现将大大促进C4ISR系统的研制开发和作战使用研究。     

基于UML的面向C4ISR能力需求分析的对象建模语言

军事电子信息系统是一种典型的大规模复杂系统,如何获取这种复杂系统的需求仍然是一个难题。提出了一种新的能力需求分析方法。该方法从领域概念化入手,构造了C4ISR能力概念化的元本体;利用UML元层扩展机制,提出了一种用于定义C4ISR能力概念的对象建模语言,并给出了该语言的抽象语法和详细语法,利用OWL DL定义了形式语义。最后以一个C4ISR体系结构仿真建模为案例,说明了该方法的有效性和可用性。