self-stabilizing

Consider a fully-connected synchronous distributed system consisting of n nodes, where up to f nodes may be faulty and every node starts in an arbitrary initial state. In the synchronous C-counting problem, all nodes need to eventually agree on a counter that is increased by one modulo C in each round for given C>1. In the self-stabilising firing squad problem, the task is to eventually guarantee that all non-faulty nodes have simultaneous responses to external inputs: if a subset of the correct nodes receive an external “go” signal as input, then all correct nodes should agree on a round (in the not-too-distant future) in which to jointly output a “fire” signal. Moreover, no node should generate a “fire” signal without some correct node having previously received a “go” signal as input. We present a framework reducing both tasks to binary consensus at very small cost. For example, we obtain a deterministic algorithm for self-stabilising Byzantine firing squads with optimal resilience f<n/3, asymptotically optimal stabilisation and response time O(f), and message size O(log f). As our framework does not restrict the type of consensus routines used, we also obtain efficient randomised solutions

Distributed algorithms for hard real-time systems

viii+124hlm.;24c

Achieving consensus in fault-tolerant distributed computer systems : protocols, lower bounds, and simulations

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.Vita.Bibliography: p. 145-149.by Brian A. Coan.Ph.D

Bio-Inspired Synchronization of Pulse-Coupled Oscillators and its Application to Wireless Sensor Networks

Precise synchronization among networked agents is responsible for phenomena as diverse as coral spawning and consistency in stock market transactions. The importance of synchronization in biological and engineering systems has triggered an avalanche of studies analyzing the emergence of a synchronized behavior within a network of, possibly heterogeneous, agents. In particular, synchronization of networks of coupled oscillators has received great attention since limit cycle oscillators are a natural abstraction for systems where periodicity is a distinctive property. Examples of such systems include circadian rhythms and alternate-current power generators. This work deals with synchronization of pulse-coupled limit cycle oscillators (PCOs). A reverse engineering approach is taken with the objective of obtaining an abstraction for PCO networks able to capture the key properties observed in the classical biological PCO model, to finally implement it in an en gineering system. To this end, we first reformulate the PCO model as a hybrid system, able to integrate in a smooth manner the continuous-time dynamics of the individual oscillators and the impulsive effect of the coupling. Using our new model, we analyze the existence and stability of synchronization in a variety of PCO network topologies, starting from the simplest all-to-all network where global synchronization is proven to exist, to end giving synchronization conditions in the general strongly connected network case. Inspired by the strong synchronization properties of PCO networks we design a PCO-inspired time synchronization protocol for wireless sensor networks that enjoys all the advantages of our optimized PCO setup. A pilot implementation is presented going from a simulation stage to a hardware implementation in Gumstix development boards and industrial acoustic sensors. To test the potential of the protocol in a real application, we implement the PCO-based time synchronization protocol in a distributed acoustic event detection system, where a sensor network combines local measurements over an infrastructure-free wireless network to find the source of an acoustic event. An evaluation by simulation is given to illustrate the advantages of using the pulse-coupled synchronization strategy.The contributions of this thesis range from the theoretical synchronization conditions for a variety of PCO networks to the design and implementation of a synchronization strategy for wireless sensor networks that seems to be the natural choice when using an infrastructure-free wireless network due to its simple formulation and natural scalability

Mathematics in Software Reliability and Quality Assurance

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment

Proceedings, MSVSCC 2016

Proceedings of the 10th Annual Modeling, Simulation & Visualization Student Capstone Conference held on April 14, 2016 at VMASC in Suffolk, Virginia

Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

Contains fulltext : 228326pre.pdf (preprint version ) (Open Access) Contains fulltext : 228326pub.pdf (publisher's version ) (Open Access)BNAIC/BeneLearn 202

A technique for determining viable military logistics support alternatives

A look at today's US military will see them operating much beyond the scope of protecting and defending the United States. These operations now consist of, but are not limited to humanitarian aid, disaster relief, and conflict resolution. This broad spectrum of operational environments has necessitated a transformation of the individual military services into a hybrid force that can leverage the inherent and emerging capabilities from the strengths of those under the umbrella of the Department of Defense (DOD), this concept has been coined Joint Operations. Supporting Joint Operations requires a new approach to determining a viable military logistics support system. The logistics architecture for these operations has to accommodate scale, time, varied mission objectives, and imperfect information. Compounding the problem is the human in the loop (HITL) decision maker (DM) who is a necessary component for quickly assessing and planning logistics support activities. Past outcomes are not necessarily good indicators of future results, but they can provide a reasonable starting point for planning and prediction of specific needs for future requirements. Adequately forecasting the necessary logistical support structure and commodities needed for any resource intensive environment has progressed well beyond stable demand assumptions to one in which dynamic and nonlinear environments can be captured with some degree of fidelity and accuracy. While these advances are important, a holistic approach that allows exploration of the operational environment or design space does not exist to guide the military logistician in a methodical way to support military forecasting activities. To bridge this capability gap, a method called A Technique for Logistics Architecture Selection (ATLAS) has been developed. This thesis describes and applies the ATLAS method to a notional military scenario that involves the Navy concept of Seabasing and the Marine Corps concept of Distributed Operations applied to a platoon sized element. This work uses modeling and simulation to incorporate expert opinion and knowledge of military operations, dynamic reasoning methods, and certainty analysis to create a decisions support system (DSS) that can be used to provide the DM an enhanced view of the logistics environment and variables that impact specific measures of effectiveness.Ph.D.Committee Chair: Mavris, Dimitri; Committee Member: Fahringer, Philip; Committee Member: Nixon, Janel; Committee Member: Schrage, Daniel; Committee Member: Soban, Danielle; Committee Member: Vachtsevanos, Georg