Analytical development and verification of control-intensive sys

Details Analytical development and verification of control-intensive sys Analytical development and verification of control-intensive sys

1990-03-06

1992-11-10

Black, Thomas G.

Boots, shoes, and leggings

395500, G06F 1520

Patent

active

051630168

ABSTRACT:
Designs are created through a high-level to low-level transformation in the form of a formal top-down development procedure based upon successive refinement. Starting with a high-level (abstract) model, such as a formal abstraction of a protocol standard, successively more detailed models are created through successive refinement, in a fashion which guarantees that properties verified at one level of abstraction hold in all successive levels of abstraction. The successive refinements end with a low-level "model" which forms the ultimate implementation of the protocol. In one embodiment of this invention, the analysis/development apparatus creates a unique C language code representation of the specified system that is guaranteed to carry out the tasks specified when executed in a stored program controlled machine. In another embodiment, the code is used to create a "net list" for manufacturing the specified system.

REFERENCES:
patent: 4587625 (1986-05-01), Marino, Jr. et al.
patent: 4694411 (1987-09-01), Burrows
patent: 4862347 (1988-08-01), Rudy
patent: 4907180 (1990-03-01), Smith
patent: 4965758 (1990-10-01), Sherman
R. P. Kurshan in Reducibility on Analysis of Coordination, published in Lecture Notes in Computer Science (LNICS) 103 titled Discreet Event Systems: Models and Applications, Springer-Verlag, pp. 19-39 (1987).
K. G. Larsen et al., in Lecture Notes in Computer Science, Springer-Verlag, 14th International Colloquium Karlsruhe, Fed. Rep. of Germ. Jul. 13-17, 1987.
J. E. Hopcroft in An n log n Algorithm for Minimizing the States in a Finite Automaton, Theory of Machines and Computations (Kohavi, Paz, eds.) Academic Press, pp. 189-196.
Van Nostrand; "Sequential Machines"; 1983.
Dowsing; "Simulating hardware Structure in OCCAM"; Software and Microsystems vol. 4, No. 4 Aug. 1985.

Affiliated with

Also associated with

Rating

Analytical development and verification of control-intensive sys does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Analytical development and verification of control-intensive sys, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analytical development and verification of control-intensive sys will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2299733