Modeling and verifying So S performance requirements of C4ISR systems

被引：0

作者：

Yudong Qi ^{[1
]}

Zhixue Wang ^{[2
]}

Qingchao Dong ^{[1
]}

Hongyue He ^{[2
]}

机构：

[1] Department of Weapon Science and Technology, Naval Aeronautical and Astronautical University

[2] Institute of Command Information System, PLA University of Science and Technology

来源：

Journal of Systems Engineering and Electronics | 2015年 / 26卷 / 04期

基金：

中国国家自然科学基金;

关键词：

performance requirements; efficiency evaluation function; description logic(DL); rationality;

D O I：

暂无

中图分类号：

E91 [军事技术基础科学];

学科分类号：

1105 ; 1108 ;

摘要：

System-of-systems(So S) engineering involves a complex process of refining high-level So S requirements into more detailed systems requirements and assessing the extent to which the performances of to-be systems may possibly satisfy So S capability objectives. The key issue is how to model such requirements to automate the process of analysis and assessment. This paper suggests a meta-model that defines both functional and nonfunctional features of So S requirements for command and control,communication, computer, intelligence, surveillance reconnaissance(C4ISR) systems. A domain-specific modeling language is defined by extending unified modeling language(UML) constructed of class and association with fuzzy theory in order to model the fuzzy concepts of performance requirements. An efficiency evaluation function is introduced, based on B ′ezier curves,to predict the effectiveness of systems. An algorithm is presented to transform domain models in fuzzy UML into a requirements ontology in description logic(DL) so that requirements verification can be automated with a popular DL reasoner such as Pellet.

引用

页码：754 / 763

页数：10

共 15 条

[1] Domain-specific modeling and verification for C4ISR capability requirements[J]. 董庆超,王智学,陈国友,蒋鑫,张婷婷.Journal of Central South University. 2012(05)
[2] Capability requirements modeling and verification based on fuzzy ontology[J]. Qingchao Dong * , Zhixue Wang, Weixing Zhu, and Hongyue He Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007, P. R. China.Journal of Systems Engineering and Electronics. 2012(01)
[3] A data-centric capability-focused approach for system-of-systems architecture modeling and analysis
Ge, Bingfeng
Hipel, Keith W.
Yang, Kewei
Chen, Yingwu
[J]. SYSTEMS ENGINEERING, 2013, 16 (03) : 363 - 377
[4] Representing and reasoning on fuzzy UML models: A description logic approach[J] . Z.M. Ma,Fu Zhang,Li Yan,Jingwei Cheng.Expert Systems With Applications . 2010 (3)
[5] A comprehensive engineering framework for guaranteeing component compatibility
Floch, J.
Carrez, C.
Cieslak, P.
Roj, M.
Sanders, R. T.
Shiaa, M. M.
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (10) : 1759 - 1779
[6] Alignment of Business Enterprise Architectures using fact-based ontologies[J] . Dongwoo Kang,Jeongsoo Lee,Kwangsoo Kim.Expert Systems With Applications . 2009 (4)
[7] The Unified Enterprise Modelling Language—Overview and further work[J] . Computers in Industry . 2009 (2)
[8] Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications[J] . Jeffrey J.P. Tsai,Alan Liu.The Journal of Systems & Software . 2009 (10)
[9] Fuzzy description logics under G?del semantics[J] . Fernando Bobillo,Miguel Delgado,Juan Gómez-Romero,Umberto Straccia.International Journal of Approximate Reasoning . 2008 (3)
[10] Verification, validation, qualification and certification of enterprise models: Statements and opportunities[J] . V. Chapurlat,C. Braesch.Computers in Industry . 2008 (7)

← 1 2 →