System means for synthesizing, generating and checking software for a computer

• US 5,101,491 A
• Filed: 01/21/1988
• Issued: 03/31/1992
• Est. Priority Date: 08/19/1983
• Status: Expired due to Fees

• Current Assignee: Kurt Katzeff
• Original Assignee: Kurt Katzeff
• Inventors: Katzeff, Kurt
• Primary Examiner(s): Lee, Thomas C.
• Assistant Examiner(s): MOHAMED, AYNI Y
• Application Number:
  US07/146,672
• Time in Patent Office: 1,531 Days
• Field of Search: 364/200 MS File, 364/900 MS File
• US Class Current: 703/22
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 8/41 Compilation

Abstract

A synthesizer means for generating software for a computer which is programmed for controlling a physical system. The software generated by the synthesizer represents a new function to be incorporated in the existing system. The synthesizer includes a device for receiving a formal description representative of the new function in a specification language and for translating the specification into a base document. The base document is further processed by document processing devices for handling the static, interface and dynamic parts of the description to produce an error-free base document. The complete base document is translated by an information processing device into an internal code document which is used by a check device and a simulation device. A compiling device translates the internal code document into an intermediate code document suitable for input to said computer.

Claims

1. Apparatus for generating software suitable for input to a computer which is programmed to control switchings in and operations of a system, the software implementing a new or amended function in the system, comprising:

a) database means for storage operations and including at least one memory area for global information and at least one memory area for information relating to the specific system only;

b) information generator means for transforming a formal description representative of the new or amended function in a specification language into a base document, and for sending said base document to the database means;

c) static description means for extracting parts of the base document to generate a specific static description, the extracted parts of the base document being replaced by references to the static description, and for sending the base document as amended to the database means;

d) interface description means for extracting parts of the base document to generate an interface description, the extracted parts of the base document being replaced by references to the interface description, and for sending the base document as amended to the data base means;

e) dynamic description means for extracting parts of the base document to generate a dynamic description, the extracted parts of the base document being replaced by references to the dynamic description, and for sending the base document as amended to the database means;

f) information processing means for processing the base document as amended by the static, interface, and dynamic description means, respectively, to generate an internal code document containing information needed to generate the software, and for sending the internal code document to the database means;

g) compiling means for translating the internal code document into a desired language, thereby generating an intermediate code document constituting said software for input to said computer; and

h) documentation means for generating information on the contents of the data base means in the specified format.

3. Apparatus according to claim 1 or claim 2, further comprising a simulation means for simulating the system using the internal code document generated by the information processing means, whereby errors are noted and reported and the internal code document is updated.

4. Apparatus according to claim 2 or claim 1, wherein the documentation means provides information suitable for creation of hardware.

5. Apparatus as recited in claim 1 further comprising check means for verifying the internal code document in a semantic and syntactical sense.

2. Apparatus for generating software suitable for input to a computer which is programmed to control switchings in and operations of a system, the software implementing a new or amended function in the system, comprising:

a) database means for storage operations and including at least one memory area for global information and at least one memory area for information relating to the specific system only;

b) information generator means for transforming a formal description representative of the new or amended function in a specification language into a base document, and for sending said base document to the database means;

c) static description means for extracting parts of the base document to generate a specific static description, the extracted parts of the base document being replaced by references to the static description, and for sending the base document as amended to the database means;

d) interface description means for extracting parts of the base document to generate an interface description, the extracted parts of the base document being replaced by references to the interface description, and for sending the base document as amended to the data base means;

e) dynamic description means for extracting parts of the base document to generate a dynamic description, the extracted parts of the base document being replaced by references to the dynamic description, and for sending the base document as amended to the database means;

f) information processing means for processing the base document as amended by the static, interface, and dynamic description means, respectively, to generate an internal code document containing information needed to generate the software, and for sending the internal code document to the database means;

g) compiling means for translating the internal code document into a desired language, thereby generating an intermediate code document constituting said software for input to said computer; and

h) check means for verifying the internal code document in a semantic and syntactical sense.

6. Apparatus according to claim 2, further comprising a documentation means for generating information on the contents of the database means in a specified format.