The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Majority of research in wireless ad-hoc networks is based on software tools simulating network environment under strictly controlled conditions, mainly due to its extreme cost, difficulty of adapting real-time topological changes in the environment and complexity of implementing a realistic testbed. In this paper, we present a testbed with real wireless task-oriented autonomous MANET based on VxWorks...
Detection of multiple timing faults is a challenging task because these faults, although may be detectable individually, can mask each other’s faulty behavior, making a faulty implementation under test (IUT) indistinguishable from a non-faulty one during testing. This phenomenon, called fault masking, is formally defined in this paper. It is proven that graph augmentation algorithms proposed for timed...
Sustaining a complete and accurate information about MANET nodes is often impractical due to dynamic topology, lack of centralized authority, decentralized architecture and heterogeneous nodes in MANETs. Main concerns for MANET performance are power consumption, topology control, spectrum sharing, and localization, all of which are intensified by node mobility. Another inherent characteristic of mobile...
Increasing efficient use of resources, such as network bandwidth, battery life and processing power, is one of the most important challenges in multicast group design for mission-critical networks. In this paper, we present an efficient technique for multicast group planning in a mission-critical network. Our technique increases the number of transmission links shared by any two users in a shortest-path...
In multicast group planning in tactical networks (TNs), one of the most important challenges is to maximize the efficient use of network and end-user resources. Hence, multicast groups should be planned cleverly such that the total shared link capacity in a multicast distribution tree is increased and the reception of unwanted traffic at receiver nodes is reduced to a maximum extent. In this paper,...
There has been increased research interest in providing uniform distribution of autonomous mobile nodes controlled by active running software agents over an unknown geographical area in mobile ad-hoc networks (MANETs). This problem becomes more challenging under the harsh and bandwidth limited conditions imposed by military applications. In this framework, the software agent running at the application...
In this paper, considering user vicinity information, maximum tolerable unwanted traffic, and routing overhead, we introduce a new two-stage multicast group planning technique which has many applications in tacticalnetworks (TN) used in the futurebattlefieldnetworks (FBN). We formally define channelizationproblem with respect to nofalseexclusion and minimumfalseinclusionrequirements. We address:...
A set of graph augmentation algorithms is introduced to model a class of timing faults in timed-EFSM models. It is shown that the test sequences generated based on our models can detect 1 -clock and n-clock timing faults and incorrect timer setting faults in an implementation under test (IUT). It is proven that the size of the augmented graph resulting from our augmentation algorithms is on the same...
Dynamic survivable resource pooling (DSRP) is a new mechanism to improve the survivability and reliability in distributed wireless mobile robotics systems. DSRP is based on a virtual backbone, which is a highly distributed, scalable, and survivable network, formed and maintained through one-hop beacons among mobile robots. We implement the DSRP mechanism in our FPGA-based distributed robotics testbed...
An implementation under test (IUT) can be formally described using finite-state machines (FSMs). Due to the presence of inherent timing constraints and variables in a communication protocol, an IUT is modeled more accurately by using extended finite-state machines (EFSMs). However, infeasible paths due to the conflicts among timing condition and action variables of EFSMs can complicate the test generation...
Multiple streams in an SCTP association provide an aggregation mechanism to accommodate heterogeneous objects, which belong to the same application but may require different types of QoS from the network. However, the current SCTP specification lacks an internal mechanism to support the preferential treatment among its streams. Our work introduced the concept of grouping SCTP streams into subflows...
We present a probabilistic model of the stability of a virtual backbone in ad hoc networks. The model allows the computation of several metrics characterizing the dynamics of a node's random movement: (1) average time for the number of link changes of the node (i.e., instances of link creation and failure) or just failures to either drop below or exceed a given threshold, and, analogously, (2) average...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.