Working in monotonous environment often causes lack of concentration or fatigue in an operator and many times such non-vigilance leads to accidents. Therefore early detection of fatigued state has become essential in monotonous working environments like driving vehicle, operating machines etc. Such fatigued state often gets developed gradually and can be identified by certain symptoms. Differen...

We present a protocol for general state machine replication – a method that provides strong consistency – that has high performance in a wide-area network. In particular, our protocol Mencius has high throughput under high client load and low latency under low client load even under changing wide-area network environment and client load. We develop our protocol as a derivation from the well-kno...

We present a technique, termed event-flow, for selecting system level test cases using a hierarchical state machine model of the system. The strategy is to require test cases which stress the interactions between related events rather than to simply exercise each transition in the model. Event-flow selects test cases which are functionally meaningful to the system level tester.

We have formalized deterministic finite state machines closely following the textbook [10], pp. 88–119 up to the minimization theorem. In places, we have changed the approach presented in the book as it turned out to be too specific and inconvenient. Our work also revealed several minor mistakes in the book. After defining a structure for an outputless finite state machine, we have derived the ...

We study the possibility of developing far-from-equilibrium computational systems, in analogy with corresponding self-organizing physical systems. We review the computational models developed in analogy with physical systems converging towards equilibrium and the research related to the self-organization of far-from-equilibrium physical systems. Based on this review, we define several nonequili...

A stoppable state machine is one whose execution can be terminated by a special stopping command. Stoppable state machines can be used to implement reconfiguration in a replicated state machine; a reconfigurable state machine is implemented by a sequence of stoppable state machines, each running in a fixed configuration. Stoppable Paxos, a variant of the ordinary Paxos algorithm, implements a r...

Within the framework of the hierarchical hybrid control theory presented in 3], one may pose the following hybrid modelling problem: for a given nite state machine M, nd a state space X, a state space partition , and a controlled ODE system S on X such that the associated hierarchical hybrid partition machine M based upon S is a hybrid in-block controllable (HIBC) machine satisfying M = M. In t...

To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called “synch states”. Synch states insure that one region leaves a particular state or states before another region can enter a particular state or states. For some application areas, it is beneficial to synchronize not only regions but also state machines. For example, in data ...

The paper formalizes the OR refinement of finite state machines and develops an efficient method to integrate the test sets of the component machines in order to test the flattened machine. The approach supports componentsoftware development since it constructs test sets for an assembly of systems from readily available test sets of the prefabricated parts.

This paper proposes a new technique to detect equivalent state variables for finite state machine verification. The technique can easily be integrated with existing verification methods and significantly extends the ability of these methods to handle finite state machines (FSMs) with similar state encodings. This is of practical importance as it enlarges the class of FSMs for which verification...