Border Gateway Protocol (BGP) is the inter-domain routing protocol of choice across the Global Information Grid (GIG) as in the commercial Internet. There is a future need and motivation to extend BGP to connect the large-scale future military networks of the Army, Navy and Air Force to the GIG as i

The CECOM MOSAIC ATD encompasses an integrated set of diverse technologies to demonstrate rapidly deployable, secure, robust, assured-QoS communications among mobile ad hoc nodes. The assured IP QoS technology solution integrates DiffServ based QoS resource management with centralized admission control over a dynamic tactical network environment. We describe an outdoor demonstration of our QoS technology prototype over an on-the-move MANET running OLSR. This demonstration does not include IP mobility support, however provides an alternate route between the ad hoc nodes through the use of two distinct wireless networks. The demonstration exhibits route changes between single and multiple IP hops as the nodes drive, and shows handoff between wireless networks as they move out of range of one radio network to the other. We summarize our observations and empirical performance results for real-time traffic

The integrated networking technology prototype demonstrates the capability of several emerging networking technologies to operate together seamlessly to enhance network services targeted for dynamic mobile environments such as those found in the battlefield. The prototype consists of four technologies: (1) autoconfiguration technology supports autonomous and rapid network deployment and configuration; (2) self-managed virtual network (SMVN) technology provides virtual networking capabilities for networks which do not natively support these functions; (3) integrated mobility management technology supports session continuity in the presence of node mobility; (4) assured IP QoS technology supports guarantees for mission-critical applications. The prototype is capable of operating over the various types of equipment and protocols to be utilized in battlefield networks. The prototype is designed such that network services and functions are survivable and reconfigurable. In this paper, we describe the four technologies as well as the integrated prototype in the laboratory environment.

We present a novel technique called symbolic simulation, and its application to protocol modeling and validation. Whereas simulation produces a trace of the behavior of a system for certain fixed parameter values, symbolic simulation allows one to simulate the behavior of a system for entire ranges of parameter values. This in turn allows verification of certain properties of the system behavior for those ranges of values. This paper lays the theoretical foundation for symbolic simulation, and describes its application to proving safety and liveness properties of protocols. As an example, we have modeled a timer-based connection management protocol and validated one of its safety properties. We conclude that symbolic simulation is a useful means for modeling and validation of complex, real-time communication protocols.>