Multirate real time control system code generator

• US 4,796,179 A
• Filed: 08/20/1986
• Issued: 01/03/1989
• Est. Priority Date: 08/20/1986
• Status: Expired due to Term

• Current Assignee: The MathWorks, Inc.
• Original Assignee: Integrated Systems Incorporated
• Inventors: Lehman, Larry L., Varvell, David B., Shah, Sunil C.
• Primary Examiner(s): Zache, Raulfe B.
• Application Number:
  US06/899,031
• Time in Patent Office: 867 Days
• Field of Search: 364/200 MS File, 364/900 MS File, 364/300
• US Class Current: 700/86
• CPC Class Codes: G06F 8/30 Creation or generation of source code
• CPC Class Codes: G06F 9/46 Multiprogramming arrangements
• CPC Class Codes: G06F 9/4887 involving deadlines, e.g. rate based, periodic

Abstract

An automatic computer software code generator for multirate real time control systems uses a functional library to define a multiplicity of functional blocks for building a functional description of a control system. For each functional block there is a software template for generating a set of software statements for performing one or more computations each time the software associated with that functional block is executed. A functional description of the control system software to be generated is provided in the form of a catalog database, and the computational relationships to be implemented by the software generated by the invention are defined by specified combinations of the functional blocks in the functional library. A linking software module organizes the catalog database into a plurality of separate subsystems, each subsystem including all the specified functional blocks with a given repetition rate and skew. Finally, a code generation software module generates software for use in the specified control system. The software routines generated generally include: a subsystem software routine for each subsystem, a scheduler program for initiating the execution of the subsystem software routines in accordance with the repetition rate and skew specified for each corresponding subsystem; and a software interface for holding input, output and temporary data values.

Claims

1. An automatic computer software code generator for multirate real time control systems, comprising:

(a) functional library means for defining a multiplicity of functional blocks, including means for defining for each functional block a software template for generating a set of software statements for performing one or more logical and/or mathematical computations each time the software associated with said functional block is executed, and parametric variables to be used in said computations;

(b) catalog means coupled to said functional library means, for describing a specified multirate real time control system having specified external input signals and specified external output signals, including a first database for representing computational relationships between said external input signals and said external output signals of said specified multirate real time control system;

said computational relationships being defined by specified combinations of said functional blocks, specified parametric values for said specified functional blocks, and specified computation initiation conditions;

said computation initiation conditions including computational trigger conditions for asynchronous computations, and computational repetition rates and computational skew periods for periodic computations;

(c) linking means coupled to said catalog means for organizing said first database into a plurality of separate subsystems, each said subsystem including all the specified functional blocks with a given specified computation initiation condition, a separate subsystem being used for each unique specified computation initiation condition; and

(d) code generation means coupled to said catalog means for generating software for use in said specified control system, including means for generating;

a subsystem software routine for each said subsystem for performing computations corresponding to said computational relationships specified in said first database for said subsystem;

a scheduler program for initiating execution of said subsystem software routines in accordance with the specified computation initiation condition for each corresponding subsystem; and

software interface means for holding input, output and temporary data values for said specified multirate real time control system, including

zero order hold means for each said subsystem, for holding output values generated by said subsystem during each execution of said subsystem for use as input signals to other ones of said subsystems; and

sample and hold means for each said subsystem, including a sample and hold buffer and sampling means for copying into said sample and hold buffer specified input data signals to said subsystem from other ones of said subsystems and specified ones of said specified external input data signals.

2. An automatic computer software code generator as set forth in claim 1, wherein

said zero order hold means includes for each subsystem,

two equal size buffers, each for holding output signals and internal state values of said subsystem during any one execution of the corresponding subsystem software routine;

and

busflag means for storing a value indicating which of said two equal size buffers is to be used during each execution of said corresponding subsystem software routine; and

said scheduler program includes

busflag updating means for changing the value stored by said busflag means when execution of the corresponding subsystem software routine is initiated.

3. An automatic computer software code generator as set forth in claim 1, wherein

said specified control system includes a digital central processing unit with a multitasking operating system that supports preemptive priority based execution of tasks;

and

each said subsystem software routine is defined as a separate task and is assigned a fixed priority in accordance with said specified computation initiation condition for the functional blocks in the corresponding subsystem, so that said subsystem software routines with the highest computational repetition rates are assigned the highest priorities.

4. An atuomatic computer software code generator as set forth in claim 3, wherein

subsystem software routines for subsystems with computation initiation conditions having equal repetition rates are assigned priorities in accordance with said skew periods, so that said routines for subsystems with smaller skew periods are assigned higher priority than those with larger skew periods.

5. An automatic computer software code generator as set forth in claim 1, wherein

said software interface includes

an output buffer for storing signal values and means for storing said specified external output signals in said output buffer by copying into said output buffer signal values from specified locations in said zero order hold means for at least one of said subsystems;

and

an input buffer for receiving said specified external input signals; and

said scheduler program includes means for periodically initiating execution of predefined external input and external output signal programs for depositing external input signals into said input buffer and for transmitting said signal values stored in said output buffer to a system being controlled by said specified multirate real time control system.

6. An automatic computer software code generator as set forth in claim 1, wherein

said specified control system includes

clock means for generating an interrupt signal at a specified periodic rate;

a digital central processing unit coupled to said clock means with an interrupt handling mechanism for interrupting, when said clock means generates each said interrupt signal, a task running in said central processing unit and then initiating execution of said scheduler program;

each said subsystem software routine is defined as a subroutine which can be called by said scheduler program;

each said subsystem software routine is assigned a priority in accordance with said computation initiation condition specified for the functional blocks in the corresponding subsystem; and

said scheduler program includes

timer means for determining, in accordance with said specified computation initiation condition for the functional blocks in each said subsystem, when each said subsystem software routine is scheduled to begin execution;

sampling control means for initiating the operation of said sampling means for each said subsystem when said subsystem software routine is scheduled to begin execution; and

subsystem calling means for calling each software routine scheduled to begin execution after said sampling means has completed its operation, including means for calling said software routines in an order corresponding to said assigned priorities.

7. An automatic computer software code generator as set forth in claim 1, wherein

said linking means includes

OBIV (order Block Index Vector) means for generating a second database including for each said subsystem an OBIV vector for storing a list of all the functional blocks specified for said subsystem,

computational order determining means for ordering said list of functional blocks stored in said OBIV vector so that, to the extent possible, the functional blocks whose computations generate intermediate values used in the computations of other functional blocks in the same subsystem are listed before said other functional blocks;

and

said code generation means generates each said subsystem software routine with the specified computations for said subsystem ordered in the same order as said list of corresponding functional blocks stored in said OBIV vector for said subsystem in said second database.

8. An automatic computer software code generator as set forth in claim 7, wherein

said computational order determining means includes means for dividing said functional blocks in said OBIV vector for each said subsystem into three ordered lists, Imp_-- Dyn_-- List, Exp_-- Dyn_-- List and Alg_-- Out_-- List, in that order, wherein the blocks in said OBIV vector are allocated to said lists as follows:

first, selected blocks from said OBIV vector are sequentially added to the beginning of said Alg_-- Out_-- List, wherein each selected block is a block whose computations include no internal state variables and whose outputs affect, either directly or indirectly, only blocks in other subsystems and/or blocks previously selected for inclusion in said Alg_-- Out_-- List;

second, selected blocks from said OBIV vector are sequentially added to the end of said Exp_-- Dyn_-- List, by sequentially selecting from the blocks not already in Imp_-- Dyn_-- List, Exp_-- Dyn_-- List and Alg_-- Out_-- List, blocks whose computations produce outputs which can be generated using only the block'"'"'s internal state variables and inputs which come either from other subsystems or blocks which have already been added to the Imp_-- Dyn_-- List or Exp_-- Dyn_-- List; and

third, if said second selection step fails to allocate all the blocks not in Alg_-- Out_-- List to Exp_-- Dyn_-- List,

(a) a selected block from said OBIV vector is added to the end of said Imp_-- Dyn_-- List, by selecting from the blocks not already in Imp_-- Dyn_-- List, Exp_-- Dyn_-- List and Alg_-- Out_-- List, wherein

(1) said selected block is selected by selecting from among the blocks, if any, which if added to the Imp_-- Dyn_-- List would allow the addition of at least one other block to Exp_-- Dyn_-- List; and

(2) if the selection in (a)(1) results in a multiplicity of selected blocks which if added to the Imp_-- Dyn_-- List would allow the addition of at least one other block to the Exp_-- Dyn_-- List, the block selected is the block with the fewest output signals, and, if there are two of more blocks with said fewest number of output signals, the block with the most input signals;

or

(3) if the selection in (a)(1) does not result in the selection of a block, said selected block is selected in accordance another predefined selection criteria; and

(b) then the selection of blocks for addition to Exp_-- Dyn_-- List resumes, and said selections continue until each of said blocks is included in one of said ordered lists.