Simulation of a process of a concurrent system

Details Simulation of a process of a concurrent system Simulation of a process of a concurrent system

1997-03-31

1999-08-10

Teska, Kevin J.

Boots, shoes, and leggings

395670, 395702, 395709, 364578, 36446805, G06F 922, G06F 945

Patent

active

059371811

ABSTRACT:
The simulation of sequences of the visible operations of a process in a concurrent system is performed by synthesizing the finite-state machine for the process from a projected tree. The synthesis procedure includes a parameter that can be adjusted to obtain machines that represent the desired behavior with varying degrees of approximation. An "on-the-fly" version of the invention provides intermediate results while the state space of the system continues to be explored. The finite-state machines may be abstracted to reduce the magnitude of visible operations to be considered to a more manageable level.

REFERENCES:
patent: 5163016 (1992-11-01), Har'El et al.
patent: 5331568 (1994-07-01), Pixley
patent: 5461573 (1995-10-01), Chakradhar et al.
patent: 5465216 (1995-11-01), Rotem et al.
patent: 5542070 (1996-07-01), LeBlanc et al.
patent: 5594656 (1997-01-01), Tamisier
patent: 5691925 (1997-11-01), Hardin et al.
patent: 5740084 (1998-04-01), Hardin et al.
Ashar et al., "A Unified Approach to the Decomposition and Re-decomposition of Sequential Machines", IEEE, 1990, pp. 601-606.
Cabodi et al., Exploiting cofactoring for efficient FSM symbolic traversal based on the transition relation, IEEE, 1993, pp. 299-303.
Avedillo et al., "State Merging and State Splitting via State Assignment: A New FSM Synthesis Algorithm", IEEE, 1994, pp. 229-237.

Affiliated with

Also associated with

Rating

Simulation of a process of a concurrent system does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Simulation of a process of a concurrent system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simulation of a process of a concurrent system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1128821