体系结构验证相关论文
近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于......
体系结构验证是指从不同角度对体系结构设计的质量进行检验,以确保体系结构设计满足需求。伴随着新技术的发展以及新形势的变化,军......
基于UML(uniform modeling language)和Petri网的不同特点,应用UML的不同视图来描述C^4ISR系统体系结构的相关产品。根据产品之间的关......
首先分析C4ISR体系结构数据完备性验证的概念和内容,在介绍CADM和IDEF1X相关概念的基础上,利用形式化的方式详细阐述如何根据CADM......
TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基......
C~4ISR系统体系结构是系统各部件的结构,它们之间的关系以及制约其设计和随时间演化的原则和指南。在C~4ISR系统的研制与开发过程......
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4IS......
在综合电子信息系统(command,control,communication,computer,intelligence,surveillance and reconnaissance,C4ISR)和航天维修......
作战体系结构验证是保障和提高作战体系结构质量的重要途径和有效手段,研究意义重大。通过分析常见方法在动态验证方面的不足,以及......
针对DoDAF体系结构的验证问题,提出了基于xUM开发可执行模型及应用可执行模型验证体系结构的方法。首先,为了开发DoDAF体系结构的可......