摘要:
In one embodiment, a method resolves cliques formed in a network comprising a plurality of nodes that are communicatively coupled to one another over at least a first channel. The method comprises, at each node, wherein that node is a member of a current clique: listening asynchronously for data on the first channel from a first neighbor's neighbor node of that node. The method further comprises, at that node, when a first valid frame is received on the first channel from the first neighbor's neighbor node of that node, listening asynchronously for a second valid frame on the first channel from a first neighbor node of that node. The method further comprises, at that node, when the second valid frame is received on the first channel, checking if the first valid frame and the second valid frame are both from the same other clique, and, if the first valid frame and the second valid frame are both from the same the same other clique, determining if that node should defect from the current clique towards the other clique.
摘要:
A multi-channel TDMA network having priority based is provided. A network includes a plurality of channels, and a plurality of nodes adapted to transmit and received data. Through each channel, every node is coupled to communicate data with every other node. Within each channel, each node is assigned a unique priority rank. Only the node with the highest priority rank is permitted to transmit data during a time slot. For each channel of the multi-channel network, the plurality of nodes are ranked in a different priority direction.
摘要:
A method for verifying operation of a first component in a single fault tolerant system is provided. The method includes monitoring for an expected action of the system that indirectly identifies the operating condition of the first component to a second component of the system, when the monitored expected action indicates a faulty operating condition, isolating the first component's errant behavior, and when the monitored expected action indicates a proper operating condition, proceeding with normal operation of the system.
摘要:
In one embodiment, a node comprises an interface to communicatively couple the node to a channel. The channel communicatively couples the node to a first neighbor node and a first neighbor's neighbor node in a first direction. When the node relays relayed data along the channel, the node compares data received from the first neighbor node with data received from the first neighbor's neighbor node. The relayed data comprises: at least one of: the data received from the first neighbor node and the data received from the first neighbor's neighbor node; and information indicative of the results of the comparison.
摘要:
In one embodiment, one or more self checking pairs are implemented at the application layer in a network that supports the qualified propagation of data at the transport layer (for example, in a network having a braided ring topology).
摘要:
A method of verifying the accuracy of blocks of data. In one embodiment, a method of verifying the accuracy of data in a message that includes a checking mechanism with hidden data is provided. The method comprises observing two or more initial messages. Comparing the residual error of each of the observed initial messages. If the residual errors of at least two of the initial messages match each other, storing the matched residual error. For subsequent messages, comparing residual errors of the subsequent messages with the stored matched residual error.
摘要:
A method for controlling start-up of a network is provided. The method includes receiving a message from one node of a plurality of nodes at a hub while the network is in an unsynchronized state, relaying the message to the other nodes of the plurality of nodes of the network independent of the content of the message, and blocking all messages from the one node of the plurality of nodes until a relaying condition is met.
摘要:
In one embodiment, a node comprises a first network interface and a second network interface. The node further comprises a first bus guardian that asserts a first bus guardian signal when the second network interface is allowed to transmit and a second bus guardian that asserts a second bus guardian signal when the first network interface is allowed to transmit. The first network interface is not allowed to transmit unless the second bus guardian asserts the second bus guardian signal. The second network interface is not allowed to transmit unless the first bus guardian asserts the first bus guardian signal.
摘要:
A parasitic time synchronization network is provided including a plurality of nodes, one or more hubs, each hub having communication links with the plurality of nodes and one or more guardians. Each node is adapted to transmit and receive data and communicate with every other node through the one or more hubs. The communication links between any one hub and the plurality of nodes defines a communication channel. Each guardian is associated with one communication channel. Each node is assigned a time slot in which it is permitted to transmit data through an associated hub of the one or more hubs. A guardian of an associated channel blocks propagation of data transmissions between the plurality of nodes through the associated hub allows only data transmissions from one of the plurality of nodes, wherein the guardian periodically receives a cluster of beacons generated by a plurality of the plurality of nodes.
摘要:
A verification of fault coverage tool for testing digital logic electronic components. In one embodiment, a method of testing a device under test (DUT) having an input and a plurality of redundant outputs is provided. The method comprises defining a logic test grid of test sample points that generally define an indeterminate logic range over a period of time. Generating a plurality of pseudo random test waveforms that are designed to pass though each test sample point and every sequential combination of test sample points. Coupling the plurality of pseudo random test waveforms to the input of the DUT. Reading the plurality of redundant outputs of the DUT for each of the plurality of pseudo random test waveforms coupled to the input of the DUT and determining the proof of coverage of the DUT in the indeterminate logic range based on the observing of the plurality of redundant outputs of the DUT.