http://rdf.ncbi.nlm.nih.gov/pubchem/patent/CA-2035844-C
Outgoing Links
Predicate | Object |
---|---|
assignee | http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_c8e6a13e4ae501eb40decf5732cf09c6 |
classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F30-30 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F30-3323 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F15-00 |
classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G05B19-02 http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F17-50 |
filingDate | 1991-02-06-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
grantDate | 1995-05-16-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
inventor | http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_6072aad3fdc4bade2339764e63ccd1d6 http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_0d52f2a1a8739f2586e083cb54bbd394 |
publicationDate | 1995-05-16-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
publicationNumber | CA-2035844-C |
titleOfInvention | Analytical development and verification of control-intensive systems |
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 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. |
priorityDate | 1990-03-06-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 44.