Analytical development and verification of control-intensive...

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

G - Physics

06

F

354/230

G06F 9/00 (2006.01) G06F 17/50 (2006.01)

Patent

CA 2035844

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 implementationof 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.

Affiliated with

Also associated with

Rating

Analytical development and verification of control-intensive... 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..., 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... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1592929