指挥控制系统的能力需求模型分析及验证方法研究

项目名称： 指挥控制系统的能力需求模型分析及验证方法研究

项目编号： No.61273210

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 王智学

作者单位： 中国人民解放军理工大学

项目金额： 78万元

中文摘要： 为了对指挥控制系统的概念策划、需求分析、项目论证和系统研制等过程进行有效管理，西方国家提出了企业体系结构框架和基于能力的系统规划等系统工程方法论，但在能力需求建模和验证等方法上相关研究尚显不足。本项目拟研究指控系统能力需求的形式化描述、效能概念推理分析和可执行模型仿真验证等方法和技术，解决指控系统能力概念难以精确描述、领域知识难以复用、需求建模与仿真验证相脱节等问题,使指控系统的体系结构分析与软件需求开发过程无缝连接。首先，对UML建模方法进行扩展，使其可以用于建模指控系统的能力概念；其次，采用模糊描述逻辑对指控能力和效能概念进行形式化描述，并研究基于描述逻辑的推理技术，通过描述逻辑系统推理引擎自动完成能力概念的一致性和完整性验证；最后，研究一种支持能力需求仿真验证的可执行UML模型方法，将指控系统的能力概念模型转换为可执行模型，通过执行仿真模型模拟指控系统的行为，验证系统的能力需求

中文关键词： 需求工程；指挥信息系统；能力需求；模型检验；模型仿真

英文摘要： To enable an effective acquisition proccess of conceptual planning, requirements analysis, program approvement and system integration for Command and Control systems, the Western countries recently suggest system engineering methodologies, such as enterprise achitecture frameworks and capability-based planning. But the issues of modeling and validating the C2 system capability requirements are poorly concerned and need to be intensively researched. This proposal focuses on formal specification of capability requirements of C2 systems, reseasoning through the effectiveness concepts and execuatable modeling and simulation techiques for C2 system requirements validation. The goal of the research is trying to solve the issues such as that the capability concepts of C2 systems cannot be articulated precisely and accurately, the domain knowledge is poorly reusable and the requirements modeling is disjioned with simulation and validation, and thus making the process of C2 system architecturing seamlessly integrated into software requirements development. First, the UML modeling constructs will be extended to be able to model the capability concepts of C2 systems. Then, the fuzzy description logic will be introduced to formally describe C2 system capability requirements and their effectiveness concepts. The reseasoning

英文关键词： requirements engineering；command information system；capability requirement；model verification；modeling and sumulation