Abstract:To harmonize the individual architectures of the different commands, services, and agencies dealing with the development and procurement of Command, Control, Communications, Computing, Surveillance, Reconnaissance, and Intelligence (C4ISR) systems, the C4ISR Architecture Framework was developed based on existing and matured modeling techniques and methods. Within a short period, NATO adapted this method family as the NATO Consultation, Command, and Control (C3) System Architecture Framework to harmonize the efforts of the different nations. Based on these products, for every system to be fielded to be used in the US Armed Forces, a C4I Support Plan (C4ISP) has to be developed enabling the integration of the special system into the integrated C4I Architecture. The tool set proposed by these architecture frameworks connects operational views of the military user, system views of the developers, and the technical views for standards and integration methods needed to make the network centric system of systems work. The tools are therefore logically a valuable backbone for Verification, Validation, and Accreditation (VV&A). Their application is not limited to C4ISR systems; they can be used to define requirements and connected solutions and algorithms of Modeling and Simulation (M&S) systems as well. Especially for M&S systems to be used in connection with C4ISR system, the use of the C4ISR Architecture Framework would not only be a help, but can nearly be seen to be necessary to avoid double work and foster reuse and interoperability from the first stages of a project on. To enable the reader to build his own picture, the respective tools used and their application in the context of VV&A will be explained in form of an overview.

A Method of the C~4ISR Architecture Consistency Verification Based on CADM

Computer-Aided Dispatch System Family Architecture and Verification: an Integrated Formal Approach

CAD/CAE Integration Framework with Layered Software Architecture

A Consistency Checking Approach for System Architecture

Study on the Architecture of C~4ISR System

Model Checking Software Architecture Design

Based on Capability of C4ISR Architectural Modeling and Analysis

Using information activity and capability effect to bridge gaps between OV, CV and SV/SvcV

Component Substitutability Behavior Consistency Verification Based on Architecture-driven Development.

An Adl-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection

Using the C4ISR Architecture Framework as a Tool to Facilitate VV&A for Simulation Systems within the Military Application Domain

Direct Model Checking Matrix Algorithm

A Feature-Based, Parametric Modeling System For Cad/Capp/Cam Integrated System

Parallel Verification of Software Architecture Design

Architecture of a Post-Opc Silicon Verification Tool

Validation Environment of Software Architecture Based on OCL

Research on Reuse Modeling for C4ISR Simulation Verification System

Formal Co-verification for the Correctness and Timing Requirements of SoC Design

Unified Graphical Co-modelling, Analysis and Verification of Cyber-physical Systems by Combining AADL and Simulink/Stateflow

Consistency Assurance in Flattening Hierarchical Architectural Models

Formal co-verification for soc design with colored petri net